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

Prove that prims algorithm produces a minimum spanning tree, Prove that Pri...

Prove that Prim's algorithm produces a minimum spanning tree of a connected weighted graph. Ans: Suppose G be a connected, weighted graph. At each iteration of Prim's algorithm

Finish the work., six men and Eight boys can finish a piece of work in 14 d...

six men and Eight boys can finish a piece of work in 14 days while  eight men and twelve boys can do it in 10 days. Find the time taken by  1man alone and that by 1boy alone to fin

Solution process of linear differential equations, For a first order linear...

For a first order linear differential equation the solution process is as given below: 1. Place the differential equation in the correct initial form, (1). 2. Determine the i

Liner regression, Liner Regression The calculations for our sample siz...

Liner Regression The calculations for our sample size n = 10 are described below. The linear regression model is y = a + bx Table: Distance x miles

Probability, two coins are flipped once.what is the probability of getting ...

two coins are flipped once.what is the probability of getting two tails?

Taylor series - sequences and series, Taylor Series - Sequences and Series ...

Taylor Series - Sequences and Series In the preceding section we started looking at writing down a power series presentation of a function.  The difficulty with the approach

Set theory, how to prove Decidability Theorem of Logic

how to prove Decidability Theorem of Logic

What is the larger dimension in inches of the frame, Jessica has a picture ...

Jessica has a picture in a frame with a total area of 288 in2. The dimension of the picture without the frame is 12 in through 14 in. What is the larger dimension, in inches, of th

Which of the following could not be the translation, If the expression 9y -...

If the expression 9y - 5 represents a certain number, which of the following could NOT be the translation? a. five less than nine times y b. five less than the sum of 9 and y c

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