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

Integers, need answer to integers that equal 36

need answer to integers that equal 36

Math help, I need help with direct variation between x and y

I need help with direct variation between x and y

Standard deviation, i need to work out the standard deviation of 21.4

i need to work out the standard deviation of 21.4

Determine the actual viewing area, Computer monitors are calculated by thei...

Computer monitors are calculated by their diagonals. If a monitor is advertised to be 19 in, Determine the actual viewing area, considerthe screen is square? (Round to the nearest

Explain what is symmetry in maths, Symmetry Definition : A line of sy...

Symmetry Definition : A line of symmetry divides a set of points into two halves, each being a reflection of the other. Each image point is also a point of the set. Defin

Constantinople byzance adrienople nicosia, What was the name of Istanbul be...

What was the name of Istanbul before its capture by the Turks? Constantinople Byzance Adrienople Nicosia

Find the quadratic polynomial, Find the Quadratic polynomial whose sum and ...

Find the Quadratic polynomial whose sum and product of zeros are √2 + 1, 1/ √2 + 1 Ans:    sum = 2  √2 Product = 1 Q.P = X 2 - (sum) x + Product ∴ x 2 - (2 √2 )

Logic family, what are the characteristic of digital ic

what are the characteristic of digital ic

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