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

Difererntial equation, Ask queFind the normalized differential equation whi...

Ask queFind the normalized differential equation which has {x, xex} as its fundamental setstion #Minimum 100 words accepted#

Geometry, I don''t get it .... Help

I don''t get it .... Help

Examples of solve quadratic equations by factorization, Provide me some Exa...

Provide me some Examples of solve quadratic equations by Factorization

Example of integration by parts - integration techniques, Example of Integr...

Example of Integration by Parts - Integration techniques Illustration1:  Evaluate the following integral. ∫ xe 6x dx Solution : Thus, on some level, the difficulty

Estimate the greatest possible number of calculators, Martha has $20 to spe...

Martha has $20 to spend and would like to buy as several calculators as possible along with the money. The calculators that she needs to buy are $4.50 each. How much money will she

Estimate the distance to this star, To find the distance to nearby stars, t...

To find the distance to nearby stars, the method of parallax is used. The idea is to find a triangle with the star at one vertex and with a base as large as possible. To do this, t

Angles, samuel left mauritius at 22:30 on saturday and travelled to london ...

samuel left mauritius at 22:30 on saturday and travelled to london (GMT) for 14h30min he had a stopover for 4 h in london and he continued to travel to toronto for another 6h20min

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