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

Need help, If 28,000 = 85% and 28,000 / X = 100%. What the freak is X and h...

If 28,000 = 85% and 28,000 / X = 100%. What the freak is X and how do you work it out.

How many balls must she select of the same colour, QUESTION (a) A bowl ...

QUESTION (a) A bowl contains ten red balls and ten blue balls. A woman selects balls at random without looking at them. i) How many balls must she select to be sure of havin

Calculus, what is a domain of a function?

what is a domain of a function?

Examining a related problem, how to explain this strategy? how to do this s...

how to explain this strategy? how to do this strategy in solving a problem? can you give some example on how to solve this kind of strategy.

Oscar sold 2 glasses of milk for each 5 sodas he sold, Oscar sold 2 glasses...

Oscar sold 2 glasses of milk for each 5 sodas he sold. If he sold 10 glasses of milk, how many sodas did he sell? Set up a proportion along with milk/soda = 2/5 = 10x. Cross mu

Bits, What is the largest number (in decimal) that can be made with 6 bits?...

What is the largest number (in decimal) that can be made with 6 bits?

Find the 14th term in the arithmetic sequence. 60, Find the 14th term in t...

Find the 14th term in the arithmetic sequence. 60, 68, 76, 84, 92

Trigonmetry, On your geometry test you have two triangles: ?ABC and ?MNO. Y...

On your geometry test you have two triangles: ?ABC and ?MNO. You are told that ?A ? ? M and that ?B ? ? N. Which statement is also true?

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