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

Introduction , what states and marketing tasks?

what states and marketing tasks?

Percentage, 7 is what percent of 105?.

7 is what percent of 105?.

The multiplication algorithm, THE MULTIPLICATION ALGORITHM :  Some Class 3...

THE MULTIPLICATION ALGORITHM :  Some Class 3 children in a nearby school had been taught the standard multiplication. Algorithm, and had even done reasonably well in the tests bas

Logic, INSTRUCTIONS: Construct a regular proof to derive the conclusion of ...

INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument: 1. H v (~T > R) 2. Hv (E > F) 3. ~T v E 4. ~H & D / R v F INSTRUCTIONS: Con

Pigeonhole principle, By pigeonhole principle, show that if any five number...

By pigeonhole principle, show that if any five numbers from 1 to 8 are chosen, then two of them will add upto 9.    Answer: Let make four groups of two numbers from 1 to 8 like

Compound interest, A juicer is available for 3500 cash but was sold under i...

A juicer is available for 3500 cash but was sold under installment plan where the purchaser agreed to pay 1500 cash down and 3 equal quarterly installments. If the dealer charges i

Laws of logarithms, express each logariths in terms of log3 P and log3 Q. 1...

express each logariths in terms of log3 P and log3 Q. 1. log3 P^2 Q^3

Function notation, Function notation: Next we have to take a rapid look at...

Function notation: Next we have to take a rapid look at function notation. Function notation is nothing more than way of writing the y in a function which will let to simplify not

How many more cm are required to reach the average monthly, Thomas is remai...

Thomas is remaining track of the rainfall in the month of May for his science project. The first day, 2.6 cm of rain fell. On the second day, 3.4 cm fell. On the third day, 2.1 cm

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