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

What is 19% of 26, What is 19% of 26? To ?nd out 19% of 26, multiply 26...

What is 19% of 26? To ?nd out 19% of 26, multiply 26 through the decimal equivalent of 19% (0.19); 26 × 0.19 = 4.94.

Write first-order formulas over the relational symbols, Consider the unary ...

Consider the unary relational symbols P and L, and the binary relational symbol On, where P(a) and I(a) encode that a is a point and a (straight) line in the 2-dimensional space, r

Find the depth of water in the pond, A lotus is 2m above the water in a pon...

A lotus is 2m above the water in a pond. Due to wind the lotus slides on the side and only the stem completely submerges in the water at a distance of 10m from the original positio

Find interval of function, Find interval for which the function f(x)=xe x(1...

Find interval for which the function f(x)=xe x(1-x)   is increasing or decreasing function

Math, i need help in math

i need help in math

Evaluate the limit, Evaluate the given limit. Solution : It is a ...

Evaluate the given limit. Solution : It is a combination of many of the functions listed above and none of the limited are violated so all we have to do is plug in x = 3

Retest Simulation, What is the probability of guessing five questions on a ...

What is the probability of guessing five questions on a test correctly

Vectors - calculus, Vectors  This is a quite short section. We will b...

Vectors  This is a quite short section. We will be taking a concise look at vectors and a few of their properties. We will require some of this material in the other section a

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