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

Lines- common polar coordinate graphs, Lines- Common Polar Coordinate Graph...

Lines- Common Polar Coordinate Graphs A few lines have quite simple equations in polar coordinates. 1.  θ = β We are able to see that this is a line by converting to Car

Numbers, use the distributive law to write each multiplication in a differe...

use the distributive law to write each multiplication in a different way. the find the answer. 12x14 16x13 14x18 9x108 12x136 20x147

Find the sum of series r/(r+1)(r+2)(r+3)from 1 upto infinity, Apply the con...

Apply the concept of partial fraction and add the corresponding terms. The terms will get cut automatically leaving the first and last term

Calculus with matrices, Calculus with Matrices There actually isn't a ...

Calculus with Matrices There actually isn't a whole lot to it other than to just ensure that we can deal along with calculus with matrices. Firstly, to this point we've onl

#titlefunction.., provide a real-world example or scenario that can be expr...

provide a real-world example or scenario that can be express as a relation that is not a function

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