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

Times, teach me how to o times 7s

teach me how to o times 7s

Circle, prove the the centre of a circle is twice of reference angle

prove the the centre of a circle is twice of reference angle

Integers , (-85) from (-21) and explain me

(-85) from (-21) and explain me

If a sequence is bounded and monotonic then it is convergent, Theorem ...

Theorem If {a n } is bounded and monotonic then { a n } is convergent.  Be cautious to not misuse this theorem.  It does not state that if a sequence is not bounded and/or

Why x and y are simplifying expressions, Why x and y are Simplifying Expres...

Why x and y are Simplifying Expressions? You're doing algebra now, and you know you're going to see x's and y's. But before we work with x's and y's, we'll explore why we use t

Properties of triangle, In triangle ABC if angle B = 90 degrees what is the...

In triangle ABC if angle B = 90 degrees what is the value Tan A/2 in terms of its sided? Solution) tanA=c/b let tan(A/2)=x 2x/(1-x 2 )=c/b,solve for x

Mealy and Moore Machine, Distinguish between Mealy and Moore Machine? Const...

Distinguish between Mealy and Moore Machine? Construct a Mealy machine that can output EVEN or ODD According to the total no. of 1''s encountered is even or odd.on..

Mensuration, if area of a rectangle is 27 sqmtr and it perimeter is 24 m fi...

if area of a rectangle is 27 sqmtr and it perimeter is 24 m find the length and breath#

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