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
The subsequent topic that we require to take a look at is the determinant of a matrix. The determinant is in fact a function that gets a square matrix and converts this in a number

In 5 pages, please try to prove Theorem 3 based on Montel''s Theorem. please use "Latex" Knuth Donald to write this paper. It is known that Theorem 3 on page 137 of the attached

gjhgjg

what is 200-34-40

Compute the value of the following limit. Solution: Notice as well that I did say estimate the value of the limit.  Again, we will not directly compute limits in this sec

Fundamental Theorem of Calculus, Part II Assume f ( x ) is a continuous function on [a,b] and also assume that F ( x ) is any anti- derivative for f ( x ) . Then,

Evaluate following limits. Solution In this part what we have to note (using Fact 2 above) is that in the limit the exponent of the exponential does this, Henc

pls help me solve this step by step 6*11(7+3)/5-(6-4)

Need help, Determine the points of inflection on the curve of the function y = x 3

a pizza driver delivered 27 pizzas in one night he delivered more then one pizza to only one house . every other house he only delivered pizza to 18 houses . how many pizzas did he