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

Cynthia, #stioquen..Store A is advertising a sale that will reduce prices o...

#stioquen..Store A is advertising a sale that will reduce prices on all merchandise by 15%. Store B is advertising a sale that will reduce prices on all merchandise by one over fiv

#title.heat loss in a cylindrical pipe., briefly explain how the famous equ...

briefly explain how the famous equation for the loss of heat in a cylindrical pipe is derived

Montel''s Theorem, In 5 pages, please try to prove Theorem 3 based on Monte...

In 5 pages, please try to prove Theorem 3 based on Montel''s Theorem. please use "Latex" Knuth Donald to write this paper. It is known that Theorem 3 on page 137 of the attached

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

Example of linear in - equation - linear algebra, Explain some Examples of ...

Explain some Examples of linear in - Equation, with solution.

Function of a function, Function of a Function Suppose ...

Function of a Function Suppose y is a function of z,            y = f(z) and z is a function of x,            z = g(x)

Measurement, into how many smaller part is each centimeter divided

into how many smaller part is each centimeter divided

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