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

Vector addition, Is it possible to add two vectors of unequal magnitude and...

Is it possible to add two vectors of unequal magnitude and get a resultant of zero?Please explain also. Ans) no it is not possible as .. if the magnitude is diffrent then they c

Marketing management, successful marketing research relies on accurate iden...

successful marketing research relies on accurate identification of the research objectives. Critically discuss when setting relevant research objectives, drawing on marketing theor

Example of inverse matrix, Determine the inverse of the following matrix, i...

Determine the inverse of the following matrix, if it exists. We first form the new matrix through tacking onto the 3 x 3 identity matrix to this matrix.  It is, We

Physics of medical imaging, A radiograph is made of an object with a width ...

A radiograph is made of an object with a width of 3 mm using an x-ray tube with a 2 mm focal spot at a source-to-film distance of 100 cm. The object being imaged is 15 cm from the

Example of integrals involving quadratics, Evaluate the following integral....

Evaluate the following integral. ∫√(x 2 +4x+5) dx Solution: Remind from the Trig Substitution section that to do a trig substitution here we first required to complete t

Methods of sampling, a.      Random or probability sampling methods they in...

a.      Random or probability sampling methods they involve: Simple random sampling Systematic sampling Stratified sampling Multi stage sampling   b.

Compute the probability, From past experience a machine is termed to be set...

From past experience a machine is termed to be set up correctly on 90 percent of occasions.  If the machine is set up correctly then 95 percent of good parts are expected however i

Describe real numbers, Q. Describe Real numbers? Ans. There are a ...

Q. Describe Real numbers? Ans. There are a few different ways to describe real numbers. Without going into any of the very technical definitions used by mathematicians, I'

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