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
reasons why we use statistics and examples of why?

How do get help with my work? should i just type it in this box...? sorry thanks!

Last year, a math textbook cost $54. This year the cost is 107 percent of what it was last year. What is this year's cost? a. $59.78 b. $57.78 c. $61.00 d. $50.22 To ?nd out

how to divide a binaries



It's easier to describe an explicit solution, in this case and then tell you what an implicit solution is not, and after that provide you an illustration to demonstrate you the dif

4. Two hosts, one on East (host A) and one on the west coast (host B) of the USA are exchanging data. Suppose A is sending a large file to B. The file is split into packets of size

the size of my sitting room is 7metres by 6metres . i bought a rug for covering the centre of its floor. one metre of the floor around the edge of the room is not to be covered by

A man travels 600km partly by train and partly by truck. If he  covers 120km by train and the rest by truck, it takes him eight hours. But, if he travels 200km by train and the res