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

Inside function and outside function, "Inside function" and "outside functi...

"Inside function" and "outside function : Generally we don't actually do all the composition stuff in using the Chain Rule. That can get little complexes and actually obscures the

How much will she owe the fabulous fence company, Kelly plans to fence in h...

Kelly plans to fence in her yard. The Fabulous Fence Company charges $3.25 per foot of fencing and $15.75 an hour for labor. If Kelly requires 350 feet of fencing and the installer

Prove that x2 + y2 - 8x - 10y +39 = 0, If the points (5, 4) and (x, y) are ...

If the points (5, 4) and (x, y) are equidistant from the point (4, 5), prove that x 2 + y 2 - 8x - 10y +39 = 0. Ans :   AP = PB AP 2 = PB 2 (5 - 4) 2 + (4 - 5) 2 = (x

Evaluate the circumference of the spray, A water sprinkler operates in a ci...

A water sprinkler operates in a circular pattern a distance of 10 ft. Evaluate the circumference of the spray? (π = 3.14) a. 31.4 ft b. 314 ft c. 62.8 ft d. 628 ft

Properties of triangle, in a rhomus ABCD the circum radii of triangles ABD ...

in a rhomus ABCD the circum radii of triangles ABD and ACD are 12.5 cm and 25cm respetively then find the area of rhombus.

Correlation and regression, 1. Using given data set (Assignment_1data in th...

1. Using given data set (Assignment_1data in the folder) a) Make scatterplot between "Years since first marriage" and "Total children ever born" b) Make scatterplot between

Maxima and minima, Maxima and Minima We have to make a distinctio...

Maxima and Minima We have to make a distinction between relative maxima (or minima) and global maxima (or minima). Let f(x) be a function of x. Then the global maxi

Find the length of chord ab, If PA and PB are tangents to a circle from an ...

If PA and PB are tangents to a circle from an outside point P, such that PA=10cm and ∠APB=60 o . Find the length of chord AB.

Compound and simple interest, Your grandparents gave you a gift of R2 000 o...

Your grandparents gave you a gift of R2 000 on your 16th birth day. You want to invest the money in an account over four years. You have an option of investing the R2 000 at 8% per

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