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

What are whole numbers, Q. What are Whole numbers? The set of whole num...

Q. What are Whole numbers? The set of whole numbers is the set of natural numbers with the zero thrown in: 0,1,2,3,4,... Hint: Some people remember that the whole numbers

What is the width of the walkway in feet, A garden in the shape of a rectan...

A garden in the shape of a rectangle is surrounded through a walkway of uniform width. The dimensions of the garden only are 35 by 24. The field of the garden and the walkway toget

Why x and y are simplifying expressions, Why x and y are Simplifying Expres...

Why x and y are Simplifying Expressions? You're doing algebra now, and you know you're going to see x's and y's. But before we work with x's and y's, we'll explore why we use t

Solving decimal equations, The distance around a square photograph is 12.8 ...

The distance around a square photograph is 12.8 centimeters. What is the langth of each side of the fotograph?

Definite integral, from 0->1: Int sqrt(1-x^2) Solution) I=∫sqrt(1-x 2 ...

from 0->1: Int sqrt(1-x^2) Solution) I=∫sqrt(1-x 2 )dx = sqrt(1-x 2 )∫dx - ∫{(-2x)/2sqrt(1-x 2 )}∫dx ---->(INTEGRATION BY PARTS)        = x√(1-x 2 ) - ∫-x 2 /√(1-x 2 ) Let

Determine the direction cosines and direction angles, Determine or find out...

Determine or find out the direction cosines and direction angles for a = (2, 1, -4) Solution We will require the magnitude of the vector. ||a|| = √ (4+1+16) = √ (21)

Two consecutive positive integers whose product is 90, What is the lesser o...

What is the lesser of two consecutive positive integers whose product is 90? Let x = the lesser integer and let x + 1 = the greater integer. Because product is a key word for m

Linear programming, how i do project in linear programming in agriculture

how i do project in linear programming in agriculture

Find the probability distribution of x, If a pair of dice is thrown and X d...

If a pair of dice is thrown and X denotes the sum of the numbers on them. Find the probability distribution of X.Also find the expectation of X.     SOLUTION:    In a singl

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