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
Calculate the linear equation: Example: Solve the equation 4x + 3 = 19 by transposing. Solution: Step 1. Transpose the 3 from the left-hand to the right-hand si

1.find lim sup Ek and liminf Ek of Ek=[(-(1/k),1] for k odd and liminf Ek=[(-1,(1/k)] for k even.  2.Show that the set E = {x in R^2 : x1, x2 in Q} is dense in R^2.  3.let r>0 an

Question 1 Explain Peano's Axioms with suitable example Question 2 Let A = B = C= R, and let f: A→ B, g: B→ C be defined by f(a) = a+1 and g(b) = b 2 +1. Find a) (f °g

Mean Value Theorem : Suppose f (x) is a function which satisfies both of the following. 1. f ( x )is continuous on the closed interval [a,b]. 2. f ( x ) is differentiable on

AFIGURE THIS OUT(3) (14) (17) (20) (25)= 8 WHAT ARE THE PROCEDURES (-)(+)(x)(div) BETWEEN EACH NUMBER TO COME UP WITH 8 ?

Determine and classify all the critical points of the given function.  Described the intervals where function is increasing & decreasing. Solution: Firstly we'll require

The following table given the these scores and sales be nine salesman during last one year in a certain firm: text scores sales (in 000''rupees) 14 31 19

Natural exponential function : There is a extremely important exponential function which arises naturally in several places. This function is called as the natural exponential fun

Impediments in time series analysis Accuracy of data in reflecting a) Drastic changes for illustration in the advent of a major competitor, period of war or unexpected chan

The probability of a rare disease striking a described population is 0.003. A sample of 10000 was examined. Determine the expected no. suffering from the disease and thus find out