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

Numerical.analysis. , Please, I want to know and study "stability 0n predic...

Please, I want to know and study "stability 0n predictor -corrector method .My gmail is [email protected] heap and kind to me .Thanks for this.

Euler equations with an auxiliarty condition - shortest path, 1. Finding th...

1. Finding the shortest path btween any two points on the surface of a sphere but use the method of the euler equations with an auxiliarty condition imposed? Question2:

Problem on numbers, # In a two-digit, if it is known that its unit''s digi...

# In a two-digit, if it is known that its unit''s digit exceeds its ten''s digit by 2 and that the product of the given number and the sum of its digits is equal to 144, then the

Limit properties, Limit Properties :  The time has almost come for us t...

Limit Properties :  The time has almost come for us to in fact compute some limits.  Though, before we do that we will require some properties of limits which will make our lif

Working definition of limit - sequences and series, Working Definition of L...

Working Definition of Limit 1. We state that if we can create an as close to L like we want for all adequately large n.  Alternatively, the value of the a n 's approach

What are factors, What are Factors? When you multiply several numbers t...

What are Factors? When you multiply several numbers together, (4 x 5 x 3), the numbers (4, 5, and 3) being multiplied are called factors. The result of the multiplying th

Iti, Gm signal is better than am signal becuase

Gm signal is better than am signal becuase

Calculate the average, During 2008 the average number of beds required per ...

During 2008 the average number of beds required per day at St Hallam's hospital was 1800.  During the first 50 days of 2008 the average daily requirement for beds was 1830, with a

Algebra, prove That J[i] is an euclidean ring

prove That J[i] is an euclidean ring

Share and dividend, #a invests Rs 15000IN COMPANY PAYING 10%WHEN Rs100 SHAR...

#a invests Rs 15000IN COMPANY PAYING 10%WHEN Rs100 SHARE IS SOLD AT A PREMIUM OF Rs 20 after a yearASOLD SHARES AT Rs80 EACHAND INVESTEDPROCEEDS IN Rs75SHARES SELLING AT Rs 100 WZI

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