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

Dividing fractions by fractions with drawing.., how do I divide a fraction ...

how do I divide a fraction by a fraction by drawing a picture

Linear equation in two variables., draw the graph of following pair of line...

draw the graph of following pair of linear equation:-2y=4x-6

How many ounces of tomatoes does mark have, Mark has three 4 1/2 oz cans o...

Mark has three 4 1/2 oz cans of tomatoes and ?ve 8 1/4 oz cans. How many ounces of tomatoes does Mark have? Ignore the fractional parts of the mixed numbers at first and mul

What percent the girls surveyed said that area hockey sport, 450 girls were...

450 girls were surveyed about their favorite sport, 24% said in which basketball is their favorite sport, 13% said in which ice hockey is their favorite sport, and 41% said which s

Parametric curve - parametric equations & polar coordinates, Parametric Cur...

Parametric Curve - Parametric Equations & Polar Coordinates Here now, let us take a look at just how we could probably get two tangents lines at a point.  This was surely not

Two even digits , Find the number of six-digit positive integers that can b...

Find the number of six-digit positive integers that can be formed using the digits 1,2, 3, 4, and 5 (every of which may be repeated) if the number must start with two even digits o

Exponential and logarithmic fuctions, How long does it take for an amount o...

How long does it take for an amount of money P to double itself if it is invested at 8% interest compounded 4 times a year?

Equations of lines - three dimensional spaces, Equations of Lines In t...

Equations of Lines In this part we need to take a view at the equation of a line in R 3 .  As we saw in the earlier section the equation y = mx+b does not explain a line in R

Calculate the area of circle, Calculate the area of CIRCLE ? A circle i...

Calculate the area of CIRCLE ? A circle is a set of all points that are at a given distance from a center point. The diameter (d) of a circle is the length of a line that goes

Applying percents, If a single person makes $25,00 a year, how much federal...

If a single person makes $25,00 a year, how much federal income tax will he or she have to pay ?And they are gining me a chart that says $0 to $27,050 is 15% of taxes .

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