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

Set, What is the definition of Set?

What is the definition of Set?

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

Probability and statistics, f Y is a discrete random variable with expected...

f Y is a discrete random variable with expected value E[Y ] = µ and if X = a + bY , prove that Var (X) = b2Var (Y ) .

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°

Simplex method, max z=3x1+2x2 s.t x1+2x2 3x1+2x2>=6 x1+4x2 ...

max z=3x1+2x2 s.t x1+2x2 3x1+2x2>=6 x1+4x2 x1,x2,x3>=0

Arithmetic/geometric sequences and binomial expansion, find s10 for the ari...

find s10 for the arithmetic sequenxe inwhich a1=5 and a10=68

Rhjuu, Ask questutfjion #Minimum 100 words accepted#

Ask questutfjion #Minimum 100 words accepted#

Circle, prove that - there is one and only one circle passing through three...

prove that - there is one and only one circle passing through three non - collinear points

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