Polynomial time algorithm - first order query, Mathematics

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.

Posted Date: 3/1/2013 12:16:09 AM | Location : United States







Related Discussions:- Polynomial time algorithm - first order query, Assignment Help, Ask Question on Polynomial time algorithm - first order query, Get Answer, Expert's Help, Polynomial time algorithm - first order query Discussions

Write discussion on Polynomial time algorithm - first order query
Your posts are moderated
Related Questions
A boy standing on a horizontal plane finds a bird flying at a distance of 100m from him at an elevation of 300. A girl standing on the roof of 20 meter high building finds the angl

1-tan^2 A/1+tan^2 = cos A - sinA/cos A

The horizontal asymptote of (16x+7)(x^2-5)/(x^2+36).

my daughter in kg now how can i train her to develop skills in undertanding the basics of all subjects how can i start teaching other than schol

how do you find the co=efficent when there are two brackets involved?

There's a nice way to show why the expresion for the area of a circle of radius R is: Pi * R 2 . It has an comman relationship with the experation for the circumference of a

On dividing p(X)=5x^(4)-4x^(3)+3x^(2)-2x+1 by g(x)=x^(2)+2 if q(x)=ax^(2)+bx+c, find a,b and c.

Consider the function f: N → N, where N is the set of natural numbers, defined by f(n) = n 2 +n+1. Show that the function f is one-one but not onto. Ans: To prove that f is one

the sum of the interior angles of a convex rectilinear figure is equal to sum of the exterior angles. then the number of sides is

love is a parallelogram where prove that is a rectangle