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

Normal approximation to binomial to approximate probability, A certain flig...

A certain flight arrives on time 78% of the time. Suppose 1000 flights are randomly selected. Use the normal approximation to the binomial to approximate the probability that a)

Explain the graph of an equation and graph of an inequality, Explain The Gr...

Explain The Graph of an Equation and The Graph of an Inequality ? Here is the graph of the equation y = x. Notice that for every point along the line shown in the graph, the y

Developing estimation skills in maths, DEVELOPING ESTIMATION SKILLS :  A s...

DEVELOPING ESTIMATION SKILLS :  A study was done with some Class 3 and Class 4 children of five village schools to gauge how well they had understood the standard algorithms. The

Divide by 1-digit numbers, which experession can be used to check the quoti...

which experession can be used to check the quotient 646 divided by 3

find the slope and the y intercept of the line - geometry, 1. Find the slo...

1. Find the slope and the y-intercept of the line whose equation is 5x + 6y = 7. 2. Find the equation of the line that is parallel to 2x + 5y = 7 and passes through the mid poin

Area of a circle, There's a nice way to show why the expresion for the area...

There's a nice way to show why the expresion for the area of a circle of radius R is: Pi * R 2 . It has an comman relationship with the experation for the circumference of a

Position vector - calculus, Position Vector There is one presentation o...

Position Vector There is one presentation of a vector that is unique in some way.  The presentation of the ¯v = (a 1 ,a 2 ,a 3 ) that begins at the point  A = (0,0,0) and ends

Polynomials in two variables, Polynomials in two variables Let's take a...

Polynomials in two variables Let's take a look at polynomials in two variables.  Polynomials in two variables are algebraic expressions containing terms in the form ax n y m

Julie had $500 how much money did julie spend, Julie had $500. She spent 20...

Julie had $500. She spent 20% of it on clothes and then 25% of the remaining money on CDs. How much money did Julie spend? Find out 20% of $500 by multiplying $500 by the decim

Solid, The lateral edge of a pyramidal church spire is 61feet.Each side of ...

The lateral edge of a pyramidal church spire is 61feet.Each side of its octagonal base is 22feet. What will be the cost of painting the spire at 2.5 cents a square foot

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