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

Show that cos - cos /sin - sin = a/b, A ladder sets against a wall at an ...

A ladder sets against a wall at an angle α to the horizontal.  If the foot is pulled away from the wall through a distance of 'a', so that is slides a distance 'b' down the wall ma

Rank correlation coefficient, Rank Correlation Coefficient Also ident...

Rank Correlation Coefficient Also identified as the spearman rank correlation coefficient, its reasons is to establish whether there is any form of association among two vari

determine that the relation is symmetric and transitive, 1. Let R and S be...

1. Let R and S be relations on a set A. For each statement, conclude whether it is true or false. In each case, provide a proof or a counterexample, whichever applies. (a) If R

Help, can you help me learn faster in school

can you help me learn faster in school

Find the number of ways to arrange words, Q. Find the number of ways three ...

Q. Find the number of ways three letter "words" can be chosen from the alphabet if none of the letters can be repeated? Solution:  There are 26 ways of choosing the first lett

Tied rankings, Tied Rankings A slight adjustment to the formula is mad...

Tied Rankings A slight adjustment to the formula is made if several students tie and have the similar ranking the adjustment is: (t 3 - t)/12 Whereas t = number of tied

The rank correlation coefficient (r), The Rank Correlation Coefficient (R) ...

The Rank Correlation Coefficient (R) Also identified as the spearman rank correlation coefficient, its reasons is to establish whether there is any form of association among tw

Calculus with matrices, Calculus with Matrices There actually isn't a ...

Calculus with Matrices There actually isn't a whole lot to it other than to just ensure that we can deal along with calculus with matrices. Firstly, to this point we've onl

Complex number, The points A,B,C and D represent the numbers Z1,Z2,Z3 and Z...

The points A,B,C and D represent the numbers Z1,Z2,Z3 and Z4.ABCD is rhombus;AC=2BD.if  Z2=2+i ,Z4=1-2i,find Z1 and Z3 Ans) POI of diagonals: (3-i)/2. Using concept of rotation:

Theory of meta-games, Theory of Meta-games This theory shows to describ...

Theory of Meta-games This theory shows to describe how most people play non zero sum games concerning a number of persons Prisoner's dilemma is an illustration of this. The

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