Determine the properties and query are definable in datalog, Mathematics

Assignment Help:

We now focus on the use of Datalog for defining properties and queries m graphs.

(a) Suppose that P is some property of graphs definable in Datalog. Show drat P is preserved under extensions and homomorphisms. That is, if G is a graph satisfying P, then every supergraph of G (i.e., graph extending G) satisfies P, and if h is a graph homomorphism, then h (G) satisfies P.

Which of the following properties and queries on graphs are definable in Datalog?

b) The number of vertices is even.

(c) There is a simple path (i.e., a path without repeated vertices) of even length between two specified vertices.

(d) The binary relation T containing all pairs of vertices (a, D) for which there is a path of even length from o to b. Provide either a Datalog program defining the property or query or an argument why the property or query is not definable in Datalog.

 


Related Discussions:- Determine the properties and query are definable in datalog

Solve the inequality |x - 1| + |x - 2|, Solve the inequality |x - 1| + |x -...

Solve the inequality |x - 1| + |x - 2|≤ 3. Working Rule:    First of all measure the expression to zero whose modulus happens in the given inequation and from this search the va

Example to understand means to count, Place ten pebbles (or any other such ...

Place ten pebbles (or any other such objects) in front of a child who can recite number names upto ten in the correct sequence. Ask him/her to count them aloud while touching the p

Use the definition of the right- and left-handed limits, Use the definition...

Use the definition of the limit to prove the given limit. Solution Let ε> 0 is any number then we have to find a number δ > 0 so that the following will be true. |

External division of section formula, give me the derivation of external di...

give me the derivation of external division of sectional formula using vectors

Rational Number Application, in the horizontal bar event the u.s.a scored 2...

in the horizontal bar event the u.s.a scored 28.636,gremany scroed 28.7,romnia scored 27.962,and chain scored 28.537 points.which list shows these scored in descending order

NUMERABILITY, AFIGURE THIS OUT(3) (14) (17) (20) (25)= 8 WHAT ARE THE PROC...

AFIGURE THIS OUT(3) (14) (17) (20) (25)= 8 WHAT ARE THE PROCEDURES (-)(+)(x)(div) BETWEEN EACH NUMBER TO COME UP WITH 8 ?

Linear programming, what is the advantage of dual linear problem programmin...

what is the advantage of dual linear problem programming when we maximize profit then what is need to minimize cost of the same problem

Find the value of x of eagle , A fox and an eagle lived at the top of a cli...

A fox and an eagle lived at the top of a cliff of height 6m, whose base was at a distance of 10m from a point A on the ground. The fox descends the cliff and went straight to the p

Minimum value of the function, How the property AM>or = GM used to get min...

How the property AM>or = GM used to get minimum value of the function......e,g for what condition of a and b does minimum value of a tan^2 x + b cot^2 x equals maximum value of a

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