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

Fraction, in a garden 1/8 of the flowers are tulips. 1/4 of the tulips are ...

in a garden 1/8 of the flowers are tulips. 1/4 of the tulips are rd. what fraction of the flowers in the garden are red tulips

Product rule, Product Rule If the two functions f(x) & g(x) are differe...

Product Rule If the two functions f(x) & g(x) are differentiable (i.e. the derivative exist) then the product is differentiable and,

What is the area of the square in simplified form, If the side of a square ...

If the side of a square can be expressed as a2b 3 , what is the area of the square in simplified form? Since the formula for the area of a square is A = s 2 , then by substitut

Evaluate the measure of the larger angle, Two angles are complementary. The...

Two angles are complementary. The calculate of one angle is four times the measure of the other. Evaluate the measure of the larger angle. a. 36° b. 72° c. 144° d. 18°

Example of fraction, Example  Reduce 24/36 to its lowest terms. 2...

Example  Reduce 24/36 to its lowest terms. 24/36=12/18=6/9=2/3. In the first step we divide the numerator and the denominator by 2. The fraction gets reduced

Important formulas of functions , Important formulas d (a b )/ dx  = 0...

Important formulas d (a b )/ dx  = 0                              This is a constant d ( x n ) / dx = nx n -1                      Power Rule d (a x ) / dx = a x l

Calculate the probability, Data collected from the STATS 10x class survey o...

Data collected from the STATS 10x class survey one semester included responses to questions on the number of different sexual partners and on the number of pairs of shoes the stude

Prove intercept of a tangent between two parallel, Prove that the intercept...

Prove that the intercept of a tangent between two parallel tangents to a circle subtends a right angle at the centre. Since Δ ADF ≅ Δ DFC ∠ADF = ∠CDF ∴ ∠ADC = 2 ∠CDF

Substitutions at bernoulli equations, In the prior section we looked at Ber...

In the prior section we looked at Bernoulli Equations and noticed that in order to solve them we required to use the substitution v = y 1-n . By using this substitution we were cap

Second order differential equation, Write the subsequent 2nd order differen...

Write the subsequent 2nd order differential equation as a system of first order, linear differential equations. 2 y′′ - 5 y′ + y = 0  y (3) = 6  y′ (3) = -1  We can wri

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