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

Logarithmic differentiation, Logarithmic Differentiation : There is one...

Logarithmic Differentiation : There is one final topic to discuss in this section. Taking derivatives of some complicated functions can be simplified by using logarithms.  It i

Profits and loss, what does 1000/q in the ATC equation represent economical...

what does 1000/q in the ATC equation represent economically?

Z-value, A study was conducted to determine the proportion of people who dr...

A study was conducted to determine the proportion of people who dream in black and white instead of color. Among 317317 people over the age of? 55, 7777 dream in black and? whi

Probability, The probability that a leap year will have 53 sunday is ? and ...

The probability that a leap year will have 53 sunday is ? and how please explain it ? (a)1/7    (b) 2/7    (c) 5/7    (d)6/7 Sol) A leap year has 366 days, therefore 52 weeks i.e

Example of line - common polar coordinate graphs, Example of line - Common ...

Example of line - Common Polar Coordinate Graphs Example:  Graph θ = 3Π, r cos θ = 4 and r sin θ = -3 on similar axis system. Solution There actually isn't too much to

Polar coordinates - parametric equations & polar coordinates, Polar Coordin...

Polar Coordinates Till this point we've dealt completely with the Cartesian (or Rectangular, or x-y) coordinate system.  Though, as we will see, this is not all time the easie

Matrices, det(adj A)for 1*1 matrix

det(adj A)for 1*1 matrix

Complex, find all the 8th roots of (19+7i)

find all the 8th roots of (19+7i)

How to dividing rational expressions, How to Dividing Rational Expressions ...

How to Dividing Rational Expressions ? To divide two fractions, or rational expressions, keep in Mind that division is the same as multiply by the Reciprocal of the second fra

Determine the length of the diagonal, A box is 30 cm long, 8 cm wide and 12...

A box is 30 cm long, 8 cm wide and 12 cm high. Determine the length of the diagonal AB ? Round to the nearest tenth. a. 34.5 cm b. 32.1 cm c. 35.2 cm d. 33.3 cm

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