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

Integration and differentiation, Integration and Differentiation Diffe...

Integration and Differentiation Differentiation deals along with the determination of the rates of change of business activities or merely the process of finding the derivativ

What is conditional probability, Q. What is Conditional Probability? A...

Q. What is Conditional Probability? Ans. What is the probability that George will pass his math test if he studies? We can assume that the probabilities of George passing

Find the maxima and minima - equal pi, 1) Find the maxima and minima of f(x...

1) Find the maxima and minima of f(x,y,z) = 2x + y -3z subject to the constraint 2x^2+y^2+2z^2=1 2) Compute the work done by the force ?eld F(x,y,z) = x^2I + y j +y k in moving

Example for introducing counting, Four-year-old Mariamma was reciting numbe...

Four-year-old Mariamma was reciting number names - some of them in order, and others randomly. The child's aunt, sitting nearby, asked her, "Can you write 'two'?" She said she coul

Sets, A survey of 400 of recently qualified chartered Accountant revealed t...

A survey of 400 of recently qualified chartered Accountant revealed that 112 joined industry, 120 stated practice & 160 joined the firms of practicing chartered accountants as paid

Differential equation, Find the series solution of2x2y”+xy’+(x2-3)Y=0 about...

Find the series solution of2x2y”+xy’+(x2-3)Y=0 about regular singular pointuestion..

Determine the average number and probability, 1) At a midway game at the st...

1) At a midway game at the state fair, the probability of winning an individual game is advertised to be 30% ( p = . 3). Suppose 50 people played the game (assume all 50 outcomes

Determine the probability - conditional probability, A bag of 28 tulip bulb...

A bag of 28 tulip bulbs contains 12 red tulip bulbs, 9 yellow tulip bulbs, and 7 purple tulip bulbs. Two bulbs are selected without replacement. Determine, a) The probability th

Facts regarding linear equations, To solve out linear equations we will mak...

To solve out linear equations we will make heavy use of the following facts. 1. If a = b then a + c = b + c for any c.  All it is saying that we can add number, c, to both sides

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