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

Evaluate trig functions limits, Evaluate following limits. (a) (...

Evaluate following limits. (a) (b)    Solution There in fact isn't a whole lot to this limit. In this case because there is only a 6 in the denominator we'l

Fermat''s little theorem, 1. How many closed necklaces of length 7 can be m...

1. How many closed necklaces of length 7 can be made with 3 colors? (notice that 7 is a prime) 2. How many closed necklaces of length 10 can be made with 3 colors (this is di erent

Making equally sized groups-prerequisites for multiplication, Making Equall...

Making Equally Sized Groups :  By the time children reach Class 1 or 2, they would have had many experiences of pairs of objects-pairs of shoes, pairs of eyes, ears, arms, legs, w

Dividing whole numbers, Dividing Whole Numbers: Example: Divide 3...

Dividing Whole Numbers: Example: Divide 347 by 5. Solution:                      Beginning from the left of the dividend, the divisor is divided into the

Complex numbers, A number of the form x + iy, where x and y are real and na...

A number of the form x + iy, where x and y are real and natural numbers and is called as a complex number. It is normally given by z. i.e. z = x + iy, x is called as the real part

Show that 8 - 10 + 21= 0, If A, B and P are the points (-4, 3), (0, -2) and...

If A, B and P are the points (-4, 3), (0, -2) and (α,β) respectively and P is equidistant from A and B, show that 8α - 10β + 21= 0. Ans :   AP = PB ⇒ AP 2 = PB 2 (∝ + 4) 2

Geometry, finding missing values from given triangle diagra m..

finding missing values from given triangle diagra m..

Find the sum of given equation upto n limit, Find the sum of (1 - 1/n ) + (...

Find the sum of (1 - 1/n ) + (1 - 2/n ) + (1 - 3/n ) ....... upto n terms. Ans: (1 - 1/n ) + (1 - 2/n ) - upto n terms   ⇒[1+1+.......+n terms] - [ 1/n + 2/n +....+

What is congruent angles in parallel lines, What is Congruent Angles in Par...

What is Congruent Angles in Parallel Lines ? Postulate 4.1 (The Parallel Postulate) Through a given point not on a line there is exactly one line parallel to the line. T

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