Derive a boolean first-order query, Mathematics

Assignment Help:

Consider a database whose universe is a finite set of vertices V and whose unique relation .E is binary and encodes the edges of an undirected (resp., directed) graph G: (V, E). Each undirected edge between the nodes o and u (resp., directed edge from the node v to the node u) is encoded by the two atoms E (v, u) and E (u, v) (resp., by the single atom E (v, u)).

Consider the pairs of stucture (undirected (resp., directed) graphs) shown in Fig. 1. Suppose that the graphs are encoded in a database as explained above. For each pair, answer the following questions:

1. What is the smallest quantifier rank k for which the spoiler wins the k-move Ehrenfeucht-Fraisse game on the pair of structure?

2. Derive a Boolean first-order query from your winning strategy that is true on one structure but not on the other (you can use the equality relation between vertices).

2382_Derive a Boolean First-Order Query.png


Related Discussions:- Derive a boolean first-order query

Potency of a drug , An experiment designed to test the potency of a drug on...

An experiment designed to test the potency of a drug on 20 rats. Last animal studies have shown that a 10 mg dose of the drug is lethal 5% of the time within the first 4 hours; of

Explain mixed numbers with examples, Explain Mixed Numbers with examples? ...

Explain Mixed Numbers with examples? Everybody loves a bargain, right? But sometimes these "special deals" aren't what they seem to be. For example, pretend you were at a

Build a fine automaton which accept all words, Build a Fine Automaton which...

Build a Fine Automaton which accept all words which have different first and last letters (that is if the word starts with an "a" to be accepted it should end with "b" and vice ver

The larger angle 15 find the measure of the smaller angle, Two angles are c...

Two angles are complementary. The larger angle is 15° more than twice the smaller. Find out the measure of the smaller angle. Let x = the number of degrees in the smaller angle

What is unreducing fractions, Q, Did you know that you can unreduce a fract...

Q, Did you know that you can unreduce a fraction? Ans. Remember, you reduce a fraction by dividing the numerator and denominator by the same numbers. Here we divide

Duality., advanteges of duality

advanteges of duality

Surface area with parametric equations, Surface Area with Parametric Equati...

Surface Area with Parametric Equations In this final section of looking at calculus applications with parametric equations we will take a look at determining the surface area o

Find the value a2 + ß2 and (a - ß)2, If  α,β are the zeros of the polynom...

If  α,β are the zeros of the polynomial 2x 2 - 4x + 5 find the value of a) α 2 + β 2   b) (α - β) 2 . Ans : p (x) = 2 x 2 - 4 x + 5           (Ans: a) -1 , b) -6) α + β =

Determines the angles of depression, A pilot is flying over a straight leng...

A pilot is flying over a straight length of road. He determines the angles of depression of two mileposts, 5 miles apart, to be 32° and 48°. a) Find the distance of the plane f

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd