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

Math makes sense pg 261 #3 c., A seahorse layes about 200 eggs.How would yo...

A seahorse layes about 200 eggs.How would you include this data on your pictograph.would you need to change anything.Explain the change.show your work.

Find out least common multiple, Find out Least Common Multiple? The sma...

Find out Least Common Multiple? The smallest number that is a common multiple of two numbers (that is, both numbers share the same multiple) is called the least common multiple

Good investment, Realtors estimate that 23% of homes purchased in 2004 were...

Realtors estimate that 23% of homes purchased in 2004 were considered investment properties. If a sample of 800 homes sold in 2004 is obtained what is the probability that at most

Hyperboloid of one sheet - three dimensional spaces, Hyperboloid of One She...

Hyperboloid of One Sheet The equation which is given here is the equation of a hyperboloid of one sheet. x 2 /a 2 + y 2 /b 2 - z 2 /c 2 = 1 Here is a diagram of a com

Conversion\, how many mg are there in g?

how many mg are there in g?

Unbounded intervals, Intervals which extend indefinitely in both the ...

Intervals which extend indefinitely in both the directions are known as unbounded intervals. These are written with the aid of symbols +∞  and -  ∞  . The various types

Sets & relation.., the graph of relation y=f(x) respect to x=2 straight lin...

the graph of relation y=f(x) respect to x=2 straight line is symmetrical then which is correct; (option) a) f(x+2)=f(x_2),b)f(2+x)=f(2_x),c)f(x)=f(_x),d)f(x)=_f(_x)

Rhjuu, Ask questutfjion #Minimum 100 words accepted#

Ask questutfjion #Minimum 100 words accepted#

Algebraic expressions, how to simplify an expression which has different si...

how to simplify an expression which has different signs

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