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

Comparison test - sequences and series, Comparison Test Assume that we...

Comparison Test Assume that we have two types of series ∑a n and ∑b n with a n , b n ≥ 0 for all n and a n ≤ b n for all n.  Then, A.  If ∑b n is convergent then t

Determine if the three vectors lie in similar plane or not, Determine if th...

Determine if the three vectors a → = (1, 4, -7), b → = (2, -1, 4) and c → = (0, -9, 18) lie in similar plane or not. Solution Thus, as we noted prior to this example al

Duality., advanteges of duality

advanteges of duality

Test, a piece of ribbon measures 2,25 meters . it is cut in half . how long...

a piece of ribbon measures 2,25 meters . it is cut in half . how long is one half of the ribbon

Find k to three decimal places, The population of a city is observed as gro...

The population of a city is observed as growing exponentially according to the function P(t) = P0 e kt , where the population doubled in the first 50 years. (a) Find k to three

How long will it take her to save $350, Each week Jaime saves $25. How long...

Each week Jaime saves $25. How long will it take her to save $350? Divide $350 by $25; 350 ÷ 25 = 14 weeks.

Trigonometry, explain the formular for finding trigonometry

explain the formular for finding trigonometry

TRIANGLES, ABCD is a trapezium AB parallel to DC prove square of AC - squar...

ABCD is a trapezium AB parallel to DC prove square of AC - square of BCC= AB*

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