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

Time & distance., Q4. Assume that the distance that a car runs on one liter...

Q4. Assume that the distance that a car runs on one liter of petrol varies inversely as the square of the speed at which it is driven. It gives a run of 25km per liter at a speed o

Retail price index, Retail price index This is weighted average of pri...

Retail price index This is weighted average of price relatives based on an average household in the base year. The items consumed are divided into groups as liker food, transp

Distinct eigenvalues, It's now time to do solving systems of differential e...

It's now time to do solving systems of differential equations. We've noticed that solutions to the system, x?' = A x? It will be the form of, x? = ?h e l t Here l and

Trignometric functions, sir kindly guide me in 1st order linear equations.

sir kindly guide me in 1st order linear equations.

Determine the equation of the line, Example :  Determine the equation of th...

Example :  Determine the equation of the line which passes through the point (8, 2) and is, parallel to the line given by 10 y+ 3x = -2 Solution In both of parts we are goi

Diabetes/Calcuation, #sally wieghs 100kg. According to the 50/50 basal bolu...

#sally wieghs 100kg. According to the 50/50 basal bolus rate be per meal bolus?

What fraction of water flows out, A conical vessel of radius 6cm and height...

A conical vessel of radius 6cm and height 8cm is completely filled with water. A sphere is lowered into the water and its size is such that when it touches the sides, it is just im

How to find the range of a function, How to Find the range of a function ? ...

How to Find the range of a function ? Sigh. Students ask me this all the time. They don't want an explanation, they want a procedure. "Tell me the steps!" Unfortunately, th

Types of sets, NULL/ VOID/ EMPTY SET A set which has no element is know...

NULL/ VOID/ EMPTY SET A set which has no element is known as the null set or empty set and is indicated by f (phi). The number of elements of a set A is indicated as n (A) and

Generate a 30-ounce solution which was 28% acid, A chemist mixed a solution...

A chemist mixed a solution which was 34% acid with another solution that was 18% acid to generate a 30-ounce solution which was 28% acid. How much of the 34% acid solution did he u

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