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

Divison, what is 24 diveded by 3

what is 24 diveded by 3

Conduct an appropriate hypothesis test, Aspire LLP is a recruitment agency....

Aspire LLP is a recruitment agency. Recently, the company senior manager, Kay conducted a survey to understand the number of hours students spend daily on their studies after schoo

Determine the probability of given question, Q. Assume a birthday is equall...

Q. Assume a birthday is equally likely to occur in each of the 365 days. In a group of 30 people, what is the probability that no two have birthdays on the same day? Solution:

The coordinate axes, Trace the curve y 2 = (x + 2) 2 (x - 6). Clearly sta...

Trace the curve y 2 = (x + 2) 2 (x - 6). Clearly state all the properties you have used for tracing it(e.g., symmetry about the axes, symmetry about the origin, points of interse

Children have their own strategies for learning maths, Children Have Their ...

Children Have Their Own Strategies For Learning Vibhor, aged 7, was once asked if he knew what 'seven lots of eight' are. He said he didn't. He was then asked, "Can you work it

Trignometry, verify 4(sin^4 30^0+cos60^0 )-3(cos^2 ?45?^0-sin^2 90^0 )=2

verify 4(sin^4 30^0+cos60^0 )-3(cos^2 ?45?^0-sin^2 90^0 )=2

Word problem, mark got 15.00 for his birthday he now has 27.00. how much di...

mark got 15.00 for his birthday he now has 27.00. how much did he start with

Expected opportunity loss or eol method, Expected opportunity loss or EOL m...

Expected opportunity loss or EOL method EOL method is aimed at minimizing the expected opportunity loss or OEL. The decision maker chooses the strategy along with the minimum e

Elliptic paraboloid - three dimensional spaces, Elliptic Paraboloid Th...

Elliptic Paraboloid The equation which is given here is the equation of an elliptic paraboloid. x 2 /a 2 + y 2 /b 2 = z/c Like with cylinders this has a cross section

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