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

Find out all the critical points and derivation, Find out all the critical ...

Find out all the critical points for the function. Solution Following is the derivative for this function. Now, this looks unpleasant, though along with a little fa

Decimals, how will the decimal point move when 245.398 is multiplied by 10

how will the decimal point move when 245.398 is multiplied by 10

Mensuration of plane figures, a sail has a spread of canvas as measured 12'...

a sail has a spread of canvas as measured 12'',12'', 15'' and 9'' and it has 90 degrees. Find the area of one side of the sail

Chi-square hypothesis tests as non-parametric test(x2), Chi-square hypothes...

Chi-square hypothesis tests as Non-parametric test(X2) They contain amongst others i.    Test for goodness of fit ii.   Test for independence of attributes iii.  Test

Quantitative analysis, Suppose the economy is now ‘open’ and thus has an ex...

Suppose the economy is now ‘open’ and thus has an external demand (e.g. from the government, exports, etc.) of the dollar amounts for each respective industry. In the latest budget

g ( x ) = 3sec ( x ) -10 cot ( x ) -differentiate , Differentiate followin...

Differentiate following functions.                   g ( x ) = 3sec ( x ) -10 cot ( x ) Solution : There actually isn't a whole lot to this problem.  We'll just differentia

Linear programming , A paper mill produces two grades of paper viz., X and ...

A paper mill produces two grades of paper viz., X and Y. Because of raw material restrictions, it cannot produce more than 400 tons of grade X paper and 300 tons of grade Y paper i

Algebra, how do you work out algebra

how do you work out algebra

Center of mass - applications of integrals, Center of Mass - Applications o...

Center of Mass - Applications of integrals In this part we are going to find out the center of mass or centroid of a thin plate along with uniform density ρ. The center of mass

Muptipucation, if 2+2=4 what does two times two epual?

if 2+2=4 what does two times two epual?

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