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

Statistics, How do I choose a distribution test for a sample size of 60? Pr...

How do I choose a distribution test for a sample size of 60? Probability of rolling a 4 on a six sided die.

Probability transition matrices or brand switching, Define the Probability ...

Define the Probability Transition Matrices or Brand switching.

Shares and dividend, A man in rested rupee 800 is buying rupee5 shares and ...

A man in rested rupee 800 is buying rupee5 shares and then they are selling at premium of rupee 1.15.he sells all the share.find profit?

Determine if the three vectors lie in similar plane or not, Determine if th...

Determine if the three vectors a → = (1, 4, -7), b → = (2, -1, 4) and c → = (0, -9, 18) lie in similar plane or not. Solution Thus, as we noted prior to this example al

Identify the surface for the equation , Identify the surface for each of th...

Identify the surface for each of the subsequent equations. (a) r = 5 (b) r 2 + z 2 = 100 (c) z = r Solution (a)  In two dimensions we are familiar with that this

Algebra, Multiple response question.Zack puts a mug of water ni his microwa...

Multiple response question.Zack puts a mug of water ni his microwave oven. He knows that the final temperature of the water will be a function of the number of seconds he heats the

Direction fields in newtons law, One of the simplest physical situations to...

One of the simplest physical situations to imagine of is a falling object. Thus let's consider a falling object along with mass m and derive a differential equation as, when resolv

Calculus, I need help with my calculus work

I need help with my calculus work

Fractions, A car travels 283 1/km in 4 2/3 hours .How far does it go in 1 h...

A car travels 283 1/km in 4 2/3 hours .How far does it go in 1 hour?

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