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

What is the probability of choosing a red ball, Q. What is the probability ...

Q. What is the probability of choosing a red ball? Ans. A box contains a red, blue and white ball. Two are drawn with replacement. (This means that one ball is selected, i

Differentiate exponential functions, Differentiate following functions. ...

Differentiate following functions. (a)    R ( w) = 4 w - 5 log 9 w (b)   f ( x ) = 3e x + 10x 3 ln x Solution :  (a) It will be the only example which doesn't includ

Find their present ages of son and father, When the son will be as old as t...

When the son will be as old as the father today their ages will add up to 126 years. When the father was old as the son is today, their ages add upto 38 years.  Find their present

Fibonacci number, 1. Suppose n ≡ 7 (mod 8). Show that n ≠ x 2 + y 2 + z 2...

1. Suppose n ≡ 7 (mod 8). Show that n ≠ x 2 + y 2 + z 2 for any x, y, z ε Z. 2. Prove ∀n ε Z, that n is divisible by 9 if and only if the sum of its digits is divisible by 9.

Prove that if x is a real number then [2x] = [x] + [x + ½ ], Prove that if...

Prove that if x is a real number then [2x] = [x] + [x + ½ ] Ans: Let us consider x be any real number. It comprises two parts: integer and fraction. With no loss of

Algebra, how do you work out algebra

how do you work out algebra

Math project , Topic 1: Statistical Studies Find two different news storie...

Topic 1: Statistical Studies Find two different news stories in a mainstream media source (CNN, FoxNews, Newsweek, etc.), that cite data from a recognized poling agency. Locate th

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