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

Problem, if .77x + x = 8966.60, what is the value of x?

if .77x + x = 8966.60, what is the value of x?

Some simple equation, divide 50 into two parts such that if 6 is subtracted...

divide 50 into two parts such that if 6 is subtracted from one part and 12 is added to the second part,we get the same number?

Find the solution to initial value problem, Illustration:   Find the soluti...

Illustration:   Find the solution to the subsequent IVP. ty' + 2y = t 2 - t + 1,      y(1) = ½ Solution : Initially divide via the t to find the differential equation in

Approximating solutions to equations newtons method, Approximating solution...

Approximating solutions to equations : In this section we will look at a method for approximating solutions to equations. We all know that equations have to be solved on occasion

Laplace transform, what is the Laplace transform of e^9(-t)^a)

what is the Laplace transform of e^9(-t)^a)

Which of the following could not be the translation, If the expression 9y -...

If the expression 9y - 5 represents a certain number, which of the following could NOT be the translation? a. five less than nine times y b. five less than the sum of 9 and y c

Pi, pi to the ten-thousandths

pi to the ten-thousandths

Draw tangent graph y = sec ( x ), G raph y = sec ( x ) Solution: As wi...

G raph y = sec ( x ) Solution: As with tangent we will have to avoid x's for which cosine is zero (recall that sec x =1/ cos x) Secant will not present at

Draw a common graph ( x - 2)2 /9+4(y + 2)2 =1, Graph     ( x - 2) 2 /9+4...

Graph     ( x - 2) 2 /9+4(y + 2) 2  = 1 Solution It is an ellipse. The standard form of the ellipse is                                                         ( x - h

What are various strategies adopted for learning maths, Give some children ...

Give some children around you a task in mathematics. The task should be in an area in which they' have not been given a large dose of algorithms and strategies. Do all of them foll

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