Determine the properties and query are definable in datalog, Mathematics

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.

 

Posted Date: 3/1/2013 12:41:37 AM | Location : United States







Related Discussions:- Determine the properties and query are definable in datalog, Assignment Help, Ask Question on Determine the properties and query are definable in datalog, Get Answer, Expert's Help, Determine the properties and query are definable in datalog Discussions

Write discussion on Determine the properties and query are definable in datalog
Your posts are moderated
Related Questions
What is the structure of produt promotion?

Obligatory application/interpretation problem : Next, we need to do our obligatory application/interpretation problem so we don't forget about them. Example : Assume that the

what does the three mean in the power ?

Sheldon as the day for the challenge gets closer wants to enter the race. Not being content with an equal start, he wants to handicap himself by giving the other yachts a head star

1. Find the third and fourth derivatives of the function Y=5x 7 +3x-6-17x -3 2. Find the Tangent to the curve Y= 5x 3 +2x-1 At the point where x = 2.



There are only Chinese and Malay pupils in a hall.The ratio of the number of boys to the number of girls is 2:3.The ratio of the number of Chinese boys to the number of Malay boys

how do i compute an algebra number

Determine the matrix of transformation for the orthogonal projection onto the line L that passes through the origin and is in the direction Û=(3/13 , 4/13 , 12/13). Determine the r