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

How many total inches of wood does he have, Eduardo is merging two 6-inch p...

Eduardo is merging two 6-inch pieces of wood with a piece in which measures 4 inches. How many total inches of wood does he have? This problem translates to the expression 6 ×

Reflection , How do you reflect about the origin

How do you reflect about the origin

Find out the tangent line to the parametric curve, Find out the tangent lin...

Find out the tangent line(s) to the parametric curve specified by X = t5 - 4t3 Y = t2 At (0,4) Solution Note that there is actually the potential for more than on

Vectors, apllication in business and economics

apllication in business and economics

Operation on polynomial, Perform the denoted operation for each of the foll...

Perform the denoted operation for each of the following.  (a) Add 6x 5 -10x 2 + x - 45 to 13x 2 - 9 x + 4 .   (b) Subtract 5x 3 - 9 x 2 + x - 3 from       x 2+ x +1.

An example of build upon the child''s background, What are the other differ...

What are the other differences between learners that a teacher needs to keep in mind, while teaching?  Let us see an example in which a teacher took the pupil's background into acc

What fraction of water flows out, A conical vessel of radius 6cm and height...

A conical vessel of radius 6cm and height 8cm is completely filled with water. A sphere is lowered into the water and its size is such that when it touches the sides, it is just im

Show that the height of the opposite house, From a window x meters hi...

From a window x meters high above the ground in a street, the angles of elevation and depression of the top and the foot of the other house on the opposite side of the street  are

Why x and y are simplifying expressions, Why x and y are Simplifying Expres...

Why x and y are Simplifying Expressions? You're doing algebra now, and you know you're going to see x's and y's. But before we work with x's and y's, we'll explore why we use t

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