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

Example of decimal to fraction conversion, Example of Decimal to Fraction C...

Example of Decimal to Fraction Conversion: Example: Convert 18.82 to a mixed number. Solution: Step 1:            18.82 is 18 and 82 hundredths. 18.82 = 18(8

Find no. of non negative integral solutions, Find no. of non negative integ...

Find no. of non negative integral solutions x 1 +x 2 +x 3 +4x 4 =20 Solution)  140. Break them into prime factors . Put 4 = 2^2 and every variable will have factors in 2,3,5 with

Fundamental theorem of integral facts formulasproperties, Fundamental Theor...

Fundamental Theorem of Calculus, Part I If f(x) is continuous on [a,b] so, g(x) = a ∫ x f(t) dt is continuous on [a,b] and this is differentiable on (a, b) and as,

Finding the LCM, what is the LCM of 18, 56 and 104 show working

what is the LCM of 18, 56 and 104 show working

Permatuation and combination problem, A student is allowed to select at mos...

A student is allowed to select at most n-blocks from a collection of (2n + 1) books. If the total number of ways in which he can select a book is 63, find the value of n. Solution

Positive exponents, Simplify following and write the answers with only posi...

Simplify following and write the answers with only positive exponents.   (-10 z 2 y -4 ) 2 ( z 3 y ) -5 Solution    (-10 z 2 y -4 ) 2 ( z 3 y ) -5

Application of statistics-human resource management, Human resource managem...

Human resource management Statistics may be utilized in efficient employ of human resources for example we may provide questionnaires to workers to find out where the manageme

how much error, For a population with a mean of μ=70 and a standard deviat...

For a population with a mean of μ=70 and a standard deviation of o=20, how much error, on average, would you expect between the sample mean (M) and the population mean for each of

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