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

Regrouping, in regrouping if we have abig number in the end what should i d...

in regrouping if we have abig number in the end what should i do?add an number on top of it,please help

Help with word problem, You would like to have $4000 in four years for a sp...

You would like to have $4000 in four years for a special vacation following graduation by making deposits at the end of every 6 months in an annuity that pays 7% compounded semiann

Inverse cosine, Inverse Cosine : Now see at inverse cosine.  Following is ...

Inverse Cosine : Now see at inverse cosine.  Following is the definition for the inverse cosine.                         y = cos -1 x       ⇔ cos y = x                   for

the demand forecast, The King Company is producing two types of products: ...

The King Company is producing two types of products: A and B. Both products are produced on the similar machining operation. The machines operate on two 8-hour shifts, 5 days per w

Calculate maximum area of the triangle, if the sum of lengths of hypotenuse...

if the sum of lengths of hypotenuse and a side of right triangle are given, prove the area of the triangle is maximum when angle between them is pi/3

Fermat''s theorem, Fermat's Theorem : If  f ( x ) contain a relative extre...

Fermat's Theorem : If  f ( x ) contain a relative extrema at x = c & f ′ (c ) exists then x = c is a critical point of f ( x ) . Actually, it will be a critical point such that f

What is geometry formula to estimate distance, Danielle requires knowing th...

Danielle requires knowing the distance around a basketball court. What geometry formula will she use? The perimeter of a rectangle is two times the length plus two times the wi

What is plotting points, What is Plotting Points? To "plot" or "graph" ...

What is Plotting Points? To "plot" or "graph" values means to find points on a number line. The numbers four, negative two, negative three, zero, two, and negative four are bei

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