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

Determine the differential y = t 3 - 4t 2 + 7t, Determine the differentia...

Determine the differential for following.                                      y = t 3 - 4t 2 + 7t Solution Before working any of these we have to first discuss just

Reflection matrix, how do i solve reflection matrix just looking at the num...

how do i solve reflection matrix just looking at the numbers in a matrix

Illustration of simpson rule, By using n = 4 and all three rules to approxi...

By using n = 4 and all three rules to approximate the value of the following integral. Solution Very firstly, for reference purposes, Maple provides the following valu

Properties of triangle, In triangle ABC if angle B = 90 degrees what is the...

In triangle ABC if angle B = 90 degrees what is the value Tan A/2 in terms of its sided? Solution) tanA=c/b let tan(A/2)=x 2x/(1-x 2 )=c/b,solve for x

What is the purpose of the reparameterisation, We have independent observat...

We have independent observations Xi, for i = 1, . . . , n, from a mixture of m Poisson distributions with component probabilities d c and rates l c, for c = 1, . . . ,m. We decid

Problem solving, if you start a business and john creates 6 t shirts more t...

if you start a business and john creates 6 t shirts more than pedro and pedro four t shirts less than eva and between the three of then made 22 tshirts, how many t-shirts made each

Bounded intervals, Let a and b be fixed real numbers such that a ...

Let a and b be fixed real numbers such that a The open interval (a, b): We define an open interval (a, b) with end points a and b as a set of all r

Shares and dividends, How do I proceed with a project on Shares and Dividen...

How do I proceed with a project on Shares and Dividends?

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