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

How long will the board be after he makes the cut, Tom is cutting a piece o...

Tom is cutting a piece of wood to form a shelf. He cut the wood to 3.5 feet, but it is too long to fit in the bookshelf he is forming. He decides to cut 0.25 feet off the board. Ho

Limit, limit x APProaches infinity (1+1/x)x=e

limit x APProaches infinity (1+1/x)x=e

Describe independent events in maths, Describe Independent Events in maths?...

Describe Independent Events in maths? Events are independent if the outcome of one event does not affect the outcome of the second event. If A represents one independent event

What is sherman''s pulse rate in beats per minute, Sherman took his pulse f...

Sherman took his pulse for 10 seconds and counted 11 beats. What is Sherman's pulse rate in beats per minute? A 10 second count is 1/6 of a minute. To find out the number of be

Why is vector division undefined, Division basically refers to multiplicati...

Division basically refers to multiplication of reciprocal. For example a/b is same as a*1/b or we can say, is same as a*b -1 , which is "a" multiplied to the inverse of "b". There

.fractions, what is the difference between North America''s part of the tot...

what is the difference between North America''s part of the total population and Africa''s part

Quantitative method, Year 1 2 3 4 ...

Year 1 2 3 4 5 6 7 8 9 10 Corn revenue 40 44 46

Inverse function, how to solve the equation of an inverse function

how to solve the equation of an inverse 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