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
Q. What is set theory? Define universal set? Ans. The  universe , or  universal set , written as  U , is the set that contains all elements being considered in a given dis

Array - when items are arranged in a regular rectangular pattern of rows and columns, counting how many there are. (e.g., if there are 3 rows of 5 girls each, how many girls are t

In a 2500 word report do the market analysis of China. Under this you have to explain: - What are the advantages and disadvantages for foreign company to set up its business cent


I need to come up with a PR plan for a fictitious women''s softball team. How much would something like that cost?

a can of soup is shaped like wich solid

Q. Sum and Difference Identities? Ans. These six sum and difference identities express trigonometric functions of (u ± v) as functions of u and v alone.

Objectives After going through this unit, you should be able to 1. explain the processes involved ih addition and subtraction; 2. plan and execute activities that woul

Position Vector There is one presentation of a vector that is unique in some way.  The presentation of the ¯v = (a 1 ,a 2 ,a 3 ) that begins at the point  A = (0,0,0) and ends