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
A worker retires with a lump sum superannuation benefit of $500,000. She immediately invests this money in a fund earning 5% pa effective. One year after retirement she begins maki

A bag contains 8 red balls and x blue balls, the odd against drawing a blue ball are 2: 5. What is the value of x?                                                               (An

Lucy's Lunch is sending out flyers and pays a bulk rate of 14.9 cents per piece of mail. If she mails 1,500 flyers, what will she pay? Multiply the price per piece through the

Components of the Vector We should indicate that vectors are not restricted to two dimensional (2D) or three dimensional space (3D). Vectors can exist generally n-dimensional s


What are the key features of Greek Mathematics? How does the emphasis on proof affect the development of Greek Mathematics?

Another aid that can help children practise subtraction is the number strip. TGS can be used to improve their ability to count backwards. For example, subtracting 4 from 9 means

A solution to a differential equation at an interval α Illustration 1:   Show that y(x) = x -3/2 is a solution to 4x 2 y′′ + 12xy′ + 3 y = 0 for x > 0. Solution : We'll

One of the well-known class of models that involve a simple difference equation are models of mean reversion. These models typically take the form yt+1 - yt = -a(yt - μ)where 0

How did Rousseau resolve the conflict between the rights of the individual and the responsibilities of government (the state)? How did the ideas about universal education and socia