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

Percentage of values will fall in the normal group, If the normal range is ...

If the normal range is 65-10 mg/dl, then what percentage of values will fall in the normal group?

Counters and registers, design a synchronous, recycling, MOD-12 counter wit...

design a synchronous, recycling, MOD-12 counter with D FF''s. Use the states 0000 through 1011 in the counter.

Parallelogram, fig angles of a irregular polygons exterior and interior .

fig angles of a irregular polygons exterior and interior .

Last year a math textbook cost $54 what is this years cost, Last year, a ma...

Last year, a math textbook cost $54. This year the cost is 107 percent of what it was last year. What is this year's cost? a. $59.78 b. $57.78 c. $61.00 d. $50.22 To ?nd out

Separable differential equations, We are here going to begin looking at non...

We are here going to begin looking at nonlinear first order differential equations. The first type of nonlinear first order differential equations which we will see is separable di

Compute the center of mass of the solid, 1) Compute the center of mass of t...

1) Compute the center of mass of the solid of unit density 1 bounded (in spherical coordinates) by p=1 and by φ is greater than or equal 0 and less than or equal pi/4

1, what''s the beneit of study mathematics ?

what''s the beneit of study mathematics ?

Sketch the plot first-order integrated rate, Show that the first-order inte...

Show that the first-order integrated rate expression can be written as [A] t = [A] 0 e -n(in)t where n represents the number of elapsed halftimes. Sketch the plot of [A] 1

What kinds classroom activities help children to learn maths, What kinds of...

What kinds of classroom activities can you think of for helping children to make groups of 5 and 10? Once they have enough practice with such activities, children can be helped

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