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

Find final position of point by rotation -translation matric, Question: ...

Question: A point in 3D is first rotated anticlockwise by 45 degrees about x axis,then translated along y axis by 2 units.Find the final position of the point if its initial po

Illustrate exponential distribution, Q. Illustrate Exponential Distribution...

Q. Illustrate Exponential Distribution? Ans. These are two examples of events that have an exponential distribution: The length of time you wait at a bus stop for the n

Limits at infinity, Limits At Infinity, Part I : In the earlier section w...

Limits At Infinity, Part I : In the earlier section we saw limits which were infinity and now it's time to take a look at limits at infinity.  Through limits at infinity we mean

Two bulbs are selected without replacement, A bag of 28 tulip bulbs contain...

A bag of 28 tulip bulbs contains 12 red tulip bulbs,7 purple tulip bulbs  and 9 yellow tulip bulbs,. Two bulbs are selected without replacement. Determine, a)    The probability t

Speed, Town x and town y were 270km apart. a car started from town x toward...

Town x and town y were 270km apart. a car started from town x towards town y at a uniform speed of 60km/hr, while a motorcycle started from town y to town x at a uniform speed of 9

Calculate frequencies for two modes of vibration, A partially loaded passen...

A partially loaded passenger car has a mass of 1600 kg.  It has fully independent suspension in which each front spring has a stiffness of 19.0 kNm -1 and each rear spring has a s

Concrete to abstract-how mathematical ideas grow, Concrete to Abstract :  ...

Concrete to Abstract :  Mathematics, like all human knowledge, grows out of our concrete experiences. Let us take the example of three-dimensional shapes. Think about how you came

Logarithms, find any integer from 1-128 on a logarithmic scale

find any integer from 1-128 on a logarithmic scale

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