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

Statistics, do we calculate midpoints from classes or from class boundaries...

do we calculate midpoints from classes or from class boundaries

What is the integratin of 1/sin2x?, ∫1/sin2x dx = ∫cosec2x dx = 1/2 log[cos...

∫1/sin2x dx = ∫cosec2x dx = 1/2 log[cosec2x - cot2x] + c = 1/2 log[tan x] + c Detailed derivation of ∫cosec x dx = ∫cosec x(cosec x - cot x)/(cosec x - cot x) dx = ∫(cosec 2 x

Problem solver, a bathroom measure 250 cm by 175 cm calculate the side of t...

a bathroom measure 250 cm by 175 cm calculate the side of the largest square tile that can tile the floor

How to introduce a child to the symbol for zero, A 'woman was trying to tea...

A 'woman was trying to teach her three-year-old child the numbers from 1to 5 from a children's book on numbers. Each number was illustrated by the same number of trees drawn next t

Unipolar and bipolar boolean inputs, A 4-input Neuron has weights (1,-1,  0...

A 4-input Neuron has weights (1,-1,  0,  0.5.Calculate the network output when the following input vectors are applied. For calculation assume: a. f(net) = unipolar bina

Differential equations, Find the normalized differential equation which has...

Find the normalized differential equation which has {x, xex} as its fundamental set

X and Y Intercepts, Find the x and y intercepts for the following equations...

Find the x and y intercepts for the following equations: 3y=3x -y=-x-4 2x+3y=6 y=5

Cubic math, A fish tank has the base area of 45 cm3 and is filled to the de...

A fish tank has the base area of 45 cm3 and is filled to the depth of 12 cm.If the height is 25 cm then how much more will be needed to fill the rest of the tank?

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