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

Describe multiplication and division equations, Describe Multiplication and...

Describe Multiplication and Division Equations? Multiplication Equations :  To solve multiplication equations, divide both sides of the equation by the number being multiplie

Bernoulli differential equations, In this case we are going to consider dif...

In this case we are going to consider differential equations in the form, y ′ +  p   ( x ) y =  q   ( x ) y n Here p(x) and q(x) are continuous functions in the

Probability., an insurance salesman sells policies to 5 men, all of identic...

an insurance salesman sells policies to 5 men, all of identical age in good health. the probability that a man of this particular age will be alive 30 years hence is 2/3.Find the p

Determine the permutation, There are 6 contestants for the post of chairman...

There are 6 contestants for the post of chairman secretary and treasurer. These positions can be filled by any of the 6. Find the possible no. of ways whether the 3 positions may b

Determine the line parallel or perpendicular, Determine if the line that pa...

Determine if the line that passes through the points ( -2, -10) and (6, -1) is parallel, perpendicular or neither to the line specified  by 7 y - 9 x = 15 . Solution Togive

Prove intercept of a tangent between two parallel, Prove that the intercept...

Prove that the intercept of a tangent between two parallel tangents to a circle subtends a right angle at the centre. Since Δ ADF ≅ Δ DFC ∠ADF = ∠CDF ∴ ∠ADC = 2 ∠CDF

Determine the differential y = t 3 - 4t 2 + 7t, Determine the differentia...

Determine the differential for following.                                      y = t 3 - 4t 2 + 7t Solution Before working any of these we have to first discuss just

Continuity, Continuity : In the last few sections we've been using the te...

Continuity : In the last few sections we've been using the term "nice enough" to describe those functions which we could evaluate limits by just evaluating the function at the po

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