Derive a boolean first-order query, Mathematics

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

Posted Date: 3/1/2013 12:29:43 AM | Location : United States







Related Discussions:- Derive a boolean first-order query, Assignment Help, Ask Question on Derive a boolean first-order query, Get Answer, Expert's Help, Derive a boolean first-order query Discussions

Write discussion on Derive a boolean first-order query
Your posts are moderated
Related Questions
If i worked 7 1/3 hours and planted 11 trees how many hours did it take to plant each tree?

If 4x^4+9x^4=64 then the maximum value of x^2+y^2 is solution) From the eq. finding the value of x^2 and putting it in x^2 + y^2.we get 2nd eq. differentiating that and putting

Let E; F be 2 points in the plane, EF has length 1, and let N be a continuous curve from E to F. A chord of N is a straight line joining 2 points on N. Prove if 0 and N has no cho

Anne, Betty and Carol went to their local produce store to buy some fruit. Anne bought one pound of apples and two pounds of bananas and paid $2.11. Betty bought two pounds of appl

Estimation of population proportions This form of estimation applies at the times while information cannot be described as a mean or as a measure but only as a percentage or fr

Evaluate: 30 - 12÷3×2 =

Use Newton's Method to find out an approximation to the solution to cos x = x which lies in the interval [0,2].  Determine the approximation to six decimal places. Solution

Linear Equations We'll begin the solving portion of this chapter by solving linear equations. Standard form of a linear equation: A linear equation is any equation whi

Divide 6.8 × 10 5 by 2.0 × 10 2 . Write your answer in scientific notation? To divide numbers written in scienti?c notation and divide the ?rst numbers (6.8 ÷ 2.0 = 3.4); the

what is the difference between North America''s part of the total population and Africa''s part