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

Properties of logarithms, Properties of Logarithms 1. log a x...

Properties of Logarithms 1. log a xy = log a x + log a y 2.  = log a x - log a y 3. log a x n   = n log

Limit, limit x APProaches infinity (1+1/x)x=e

limit x APProaches infinity (1+1/x)x=e

Number and operations, 1a.if the williams spend $385 a month on food what i...

1a.if the williams spend $385 a month on food what is their monthly income

Geometry, RS=8y+4 ST=4y+8 RT=15y-9 a.) WHAT IS THE VALUE OF y b.) FIND RS...

RS=8y+4 ST=4y+8 RT=15y-9 a.) WHAT IS THE VALUE OF y b.) FIND RS, ST, AND RT

Determine the nand gate, Find out the two inputs when the NAND gate output ...

Find out the two inputs when the NAND gate output will be low. Ans. The output of NAND gate will be low if the two inputs are 11. The Truth Table of NAND gate is shown

Help, how do i know what operation to use in a fraction word problem

how do i know what operation to use in a fraction word problem

Study market, what toold we need to study market

what toold we need to study market

Area related to circle, If ABCD isaa square of side 6 cm find area of shad...

If ABCD isaa square of side 6 cm find area of shaded region

Fraction, how do you learn about equivelant fractions

how do you learn about equivelant fractions

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