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

Stat, defination of uper boundarie .

defination of uper boundarie .

Properties of vector arithmetic, Properties of Vector Arithmetic If v, ...

Properties of Vector Arithmetic If v, w and u are vectors (each with the same number of components) and a and b are two numbers then we have then following properties. v →

Interpretations of the derivative , Interpretations of the Derivative : ...

Interpretations of the Derivative : Before moving on to the section where we study how to calculate derivatives by ignoring the limits we were evaluating in the earlier secti

Quadratic equation, how to solve this? y = 7x - 12 y = x2 Solve the sy...

how to solve this? y = 7x - 12 y = x2 Solve the system using substitution.

Critical points, Critical Point Definition : We say that x = c is a critic...

Critical Point Definition : We say that x = c is a critical point of function f(x) if f (c) exists & if either of the given are true. f ′ (c ) = 0        OR             f ′ (c

Union of sets, Union of Sets Venn diagram presenting the union of sets...

Union of Sets Venn diagram presenting the union of sets A and B or A?B = Shaded area is demonstrated below: A ?B = Shaded area

Example for pre-operational stage learning maths, E1) I have a three-year-o...

E1) I have a three-year-old friend. He has a lot of toy cars to play with. Playing with him once, I divided the cars into two sets. One set was more spread out and had 14 cars in i

Percentage, there are 300 students in the sixth grade. if 40% of them were ...

there are 300 students in the sixth grade. if 40% of them were girls, how many boys were there?

Shortcuts, pls told the maths shortcuts

pls told the maths shortcuts

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