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

Find out that vector are linearly dependent, Find out if the following set ...

Find out if the following set of vectors are linearly independent or linearly dependent. If they are linearly dependent get the relationship among them. Solution : Ther

Vectors, |a.x|=1 where x = i-2j+2k then calculate a

|a.x|=1 where x = i-2j+2k then calculate a

Define tautology and contradiction, Define tautology and contradiction.  ...

Define tautology and contradiction.  Ans: If a compound proposition comprises two atomic propositions as components, after that the truth table for the compound proposition con

Find the normal to any point on the surface of convex lenses, Draw a tangen...

Draw a tangent on the lens where you want to find normal .Then line perpendicular to tangent gives normal at that point.

Determine differential equation from direction field, Thus, just why do we ...

Thus, just why do we care regarding direction fields? Two nice pieces of information are there which can be readily determined from the direction field for a differential equation.

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