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
The Shape of a Graph, Part II : In previous we saw how we could use the first derivative of a function to obtain some information regarding the graph of a function.  In this secti

The arm of a ceiling fan measures a length of 25 in. What is the area covered through the motion of the fan blades while turned on? (π = 3.14) The ceiling fan follows a circula

Explain Measurement Conversions in details? The following tables show measurements of length, distance, and weight converted from one system to the other. Length and Distanc


Evaluate following integrals.  (a) ∫ 3e x + 5 cos x -10 sec 2   x dx  (b) ( 23/ (y 2 + 1) + 6 csc y cot y + 9/ y dy Solution (a)    ∫ 3e x + 5 cos x -10 sec 2 x

The two sides of a triangle are 17 cm and 28 cm long, and the length of the median drawn to the third side is equal to 19.5 cm. Find the distance from an endpoint of this median to

Suppose a unit circle, and any arc S on the unit circle in the first quadrant. No matter where S is provided, the area between S and the x-axis plus the covered area between S and

The measures of the angles of a triangle are in the ratio of 3:4:5. Evaluate of the largest angle. a. 75° b. 37.5° c. 45° d. 60° a. The addition of the measures of t

In parallelogram ABCD, m∠A = 3x + 10 and m∠D = 2x + 30, Determine the m∠A. a. 70° b. 40° c. 86° d. 94° d. Adjacent angles in a parallelogram are supplementary. ∠A a

Reflexive Relations: R is a reflexive relation if (a, a) € R,  a € A. It could be noticed if there is at least one member a € A like (a, a) € R, then R is not reflexive. Sy