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

Standard deviation, 2.When investigating times required for drive-through s...

2.When investigating times required for drive-through service, the following results (in seconds) were obtained. Find the range, variance, and standard deviation for each of the tw

DIFFERENTIAL EQUATIONS, WHICH LIFE PROBLEMS CAN BE SOLVED USING THE KNOWLED...

WHICH LIFE PROBLEMS CAN BE SOLVED USING THE KNOWLEDGE OF DIFFERNTIAL EQUATIONS?

Simultaneous linear equations (graphical method), Steps in solving graphica...

Steps in solving graphical method of simultaneous linear equations

Rational Number Application, in the horizontal bar event the u.s.a scored 2...

in the horizontal bar event the u.s.a scored 28.636,gremany scroed 28.7,romnia scored 27.962,and chain scored 28.537 points.which list shows these scored in descending order

Properties for exponents, The next thing that we must acknowledge is that a...

The next thing that we must acknowledge is that all of the properties for exponents . This includes the more general rational exponent that we haven't looked at yet. Now the pr

Actaap released item booklet april 2010 grade 8, what is the least number o...

what is the least number of faces and bases the paperweight could have?

How much can they deduct from childcare expenses, A family may deduct 24% o...

A family may deduct 24% of their childcare expenses from their income tax owed. If a family had $1,345 in childcare expenses, how much can they deduct? Find out 24% of $1,345 b

Fractions, which fractions is equivalent to 5/ 6 a.20/24 b.9/10 c.8/18 d....

which fractions is equivalent to 5/ 6 a.20/24 b.9/10 c.8/18 d.10/15

Algebra, 1 ream uses 6% of a tree, Estimate the reams of paper used in one ...

1 ream uses 6% of a tree, Estimate the reams of paper used in one month in an office(may be your father, mother or neighbour), hence find the number of trees that need to be cut fo

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