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 to convert decimals to percentages, Q. How to Convert Decimals to Perce...

Q. How to Convert Decimals to Percentages? Ans. Remember that when you have a decimal number, the digits to the right of the decimal point have the following meaning:

Rounding decimals, i need help rounding decimals to the nearest 100th and t...

i need help rounding decimals to the nearest 100th and tenth

Chp 8 Study, Center and Radius 1)(x+2)^2-(y-3)^2=4

Center and Radius 1)(x+2)^2-(y-3)^2=4

Approximating definite integrals - integration techniques, Approximating De...

Approximating Definite Integrals - Integration Techniques In this section we have spent quite a bit of time on computing the values of integrals. Though, not all integrals can

Geometry, write a proof on proving triangles are congruent.

write a proof on proving triangles are congruent.

They preferred comedies, A survey was done where a random sample of people ...

A survey was done where a random sample of people 18 and over were asked if they preferred comedies, dramas, or neither. The information gathered was broken down by age group and t

Trapezoid rule - approximating definite integrals, Trapezoid Rule - Approxi...

Trapezoid Rule - Approximating Definite Integrals For this rule we will do similar set up as for the Midpoint Rule. We will break up the interval [a, b] into n subintervals of

Define combined functions, Q. Define Combined Functions? Ans. We a...

Q. Define Combined Functions? Ans. We are often interested in functions which combine a trigonometric function with another type of function.  For example, y = x + sinx wi

Number line, I need to graph rational numbers on the number line Point A-.6...

I need to graph rational numbers on the number line Point A-.60, point B-1/4, point C-.4,point D-7/8

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