Determine the properties and query are definable in datalog, Mathematics

Assignment Help:

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.

 


Related Discussions:- Determine the properties and query are definable in datalog

Test of homogeneity , Test of homogeneity This is concerned along with...

Test of homogeneity This is concerned along with the proposition that several populations are homogenous along with respect to some characteristic of interest for example; one

Area and perimeter, a garden is constructed with a 3ft patio all around how...

a garden is constructed with a 3ft patio all around how would you give the expression for the area of the garden, excluding the patio

The sum of the clock, how many times In a 12 hour period will he numbers ad...

how many times In a 12 hour period will he numbers add up to 6? (hint 3:00 is one answer0

Percentage, 7 is what percent of 105?.

7 is what percent of 105?.

Find out the value of n element of a set, A set consists of (2n+1) elements...

A set consists of (2n+1) elements. If the number of subsets of this set which consist of at most n elements is 8192. Find out the value of n. Ans: The following set has (2n + 1

How several miles did joe walk altogether, Joe walked 2 1/2 miles to school...

Joe walked 2 1/2 miles to school, 1/3 mile to work, and 1 1/4 miles to his friend's house. How several miles did Joe walk altogether? To find out the total distance walked, add

Algebra, If a^n+1 + b^n+1/a^n + b^n is the arithmetic mean of a and b then ...

If a^n+1 + b^n+1/a^n + b^n is the arithmetic mean of a and b then find n. Answer:Arithmatic mean of a,b is =(a+b)/2  from the problem (a+b)/2=(a^n+1 +b ^n+1)/(a^n+b^n)  then (a+

What are mutually exclusive events, Q. What are Mutually Exclusive events? ...

Q. What are Mutually Exclusive events? Mutually Exclusive Events are mutually exclusive if they cannot occur at the same time. For example, if you roll one die, you canno

Computerised payroll package, How to calculate costs if you have a computer...

How to calculate costs if you have a computerised payroll package for your large business?

Greatest common factor, x 4 - 25 There is no greatest common factor her...

x 4 - 25 There is no greatest common factor here.  Though, notice that it is the difference of two perfect squares. x 4 - 25 = ( x 2 ) 2   - (5) 2 Thus, we can employ

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd