Polynomial time algorithm - first order query, Mathematics

Assignment Help:

For queries Q1 and Q2, we say Q1 is contained in Q2, denoted Q1 ⊆ Q2, iff Q1 (D) ⊆ Q2(D) for every database D.

  • The container problem for a fixed Query Q0 is the following decision problem: Given a query Q, decide whether Q0 ⊆ Q.
  • The containee problem for a fixed query Q0 is the following decision problem: Given a query Q, decide whether Q ⊆ Q0.

Formally prove or disprove the following statements:

(a) For every conjunctive query Q0, there is a polynomial-time algorithm to decide the container problem for Q0 and for given conjunctive queries Q.

(b) For every conjunctive query Q0, there is a polynomial-time algorithm to decide the container problem for Q0 and for given conjunctive queries Q that can be obtained from Q0 by adding some atoms.

(c) For every conjunctive query Q0, there is a polynomial-time algorithm to decide the containee problem for Q0 and for given conjunctive queries Q.

(d) For every first-order Query Q0, there is an algorithm to decide the containee problem for Q0 and for given first-order queries Q. To prove a statement, sketch an algorithm, along with an argument why it is polynomial, if possible. To disprove it, provide an M-hardness or undecidability proof.


Related Discussions:- Polynomial time algorithm - first order query

Example of elps maths learning, Do you agree with the necessity of the sequ...

Do you agree with the necessity of the sequencing E - L - P - S for learning? If not, then what do you suggest as an alternative path for understanding and internalising mathematic

Power of x, (x+1/x)^2=3 then value of x^72+x^66+x^54+x^36+x^24+x^6+1 is

(x+1/x)^2=3 then value of x^72+x^66+x^54+x^36+x^24+x^6+1 is

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

do we calculate midpoints from classes or from class boundaries

how many of the original vectors, We have claimed that a randomly generate...

We have claimed that a randomly generated point lies on the equator of the sphere  independent of where we pick the North Pole.  To test this claim randomly generate ten  vectors i

Find the values of a and b, The midpoint of the line joining (2a, 4) and (...

The midpoint of the line joining (2a, 4) and (-2, 3b) is (1, 2a +1).Find the values of a & b. (Ans: a = 2, b = 2) Ans :   A(2a, 4)           P(1, 2a + 1)                 B(-2,

Measurement story problem, Seth has a pet goldfish. When he got his goldfis...

Seth has a pet goldfish. When he got his goldfish , it was only 5 centimeters long . Now it has grown to be 92 millimeters long. How many millimeters has the goldfish grown since

Finf the value of x or y from given liner equation, 41x + 53y = 135, 53x +4...

41x + 53y = 135, 53x +41y =147 Ans:    41x + 53 y = 135, 53 x + 41 y = 147 Add the two equations : Solve it, to get ... x + y = 3 -------(1) Subtract : Solve it , to

Permatuation and combination problem, 4 boys and 4 girls are to seated in a...

4 boys and 4 girls are to seated in arow i)no. of girls sit together ii)not all girls sit together iii)boys and girls are altenate to each other iv)if a particular boy and g

Fractions and equations and illustration, if Mr.Ibias oredered a rectangula...

if Mr.Ibias oredered a rectangular pizza and he wants 2/3 of the pizza to be pepperoni and 1/2 of the pizza with pineapple draw and label the pizza with toppings explain your think

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