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

Travel time, you are driving on a freeway to a tour that is 500 kilometers ...

you are driving on a freeway to a tour that is 500 kilometers from your home. after 30 minutes , you pass a freeway exit that you know is 50 kilometer from your home. assuming that

Innovation, In the innovations algorithm, show that for each n = 2, the inn...

In the innovations algorithm, show that for each n = 2, the innovation Xn - ˆXn is uncorrelated with X1, . . . , Xn-1. Conclude that Xn - ˆXn is uncorrelated with the innovations X

Classical probability, Classical Probability Consider the experiment o...

Classical Probability Consider the experiment of tossing a single coin. Two outcomes are possible, viz. obtaining a head or obtaining a tail. The probability that it is a tail

Real exponents, It is a fairly short section.  It's real purpose is to ackn...

It is a fairly short section.  It's real purpose is to acknowledge that the exponent properties work for any exponent.  We've already used them on integer and rational exponents al

Examples of repetition need not be boring- learning maths, E1) Try and see ...

E1) Try and see the order in which different children fills numbers in the grid above. My claim is that all of them would fill in the ones, the fives and the tens first. Test my hy

Calculus, Properties of Integration

Properties of Integration

Geometry, i need help trying make a presentation for my teacher

i need help trying make a presentation for my teacher

Show that the height h of the tower, The angle of elevation of the to...

The angle of elevation of the top of a tower from a point on the same level as the foot of the tower is α. On advancing 'p' meters towards the foot of the tower, the angle of eleva

Find the value of x of eagle , A fox and an eagle lived at the top of a cli...

A fox and an eagle lived at the top of a cliff of height 6m, whose base was at a distance of 10m from a point A on the ground. The fox descends the cliff and went straight to the p

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