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

Calculate frequencies for two modes of vibration, A partially loaded passen...

A partially loaded passenger car has a mass of 1600 kg.  It has fully independent suspension in which each front spring has a stiffness of 19.0 kNm -1 and each rear spring has a s

Second order differential equations, In the earlier section we looked at fi...

In the earlier section we looked at first order differential equations. In this section we will move on to second order differential equations. Just as we did in the previous secti

Example on discrete mathematics, Suppose that at some future time every tel...

Suppose that at some future time every telephone in the world is assigned a number that contains a country code, 1 to 3 digits long, that is, of the form X, XX , XXX or followed

Absolute convergence - sequences and series, Absolute Convergence Whil...

Absolute Convergence While we first talked about series convergence we in brief mentioned a stronger type of convergence but did not do anything with it as we didn't have any

PROBABILITY.., Urn A contains 1 white,2 black and 3 red balls;Urn B contain...

Urn A contains 1 white,2 black and 3 red balls;Urn B contains 2 white,1 black and 1 red balls;and Urn C contains 4 white,5 black and 3 red balls.One urn is chosen at random and two

Common graphs, Common Graphs : In this section we introduce common graph o...

Common Graphs : In this section we introduce common graph of many of the basic functions. They all are given below as a form of example Example   Graph y = - 2/5 x + 3 .

Integration, Integration We have, so far, seen that differential ...

Integration We have, so far, seen that differential calculus measures the rate of change of functions. Differentiation is the process of finding the derivative

Radius of rhim, how long is the radius of car tyre?

how long is the radius of car tyre?

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