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

Determine the distance, Two planes leave the airport at the similar time. M...

Two planes leave the airport at the similar time. Minutes later, plane A is 70 miles due north of the airport and plane B is 168 miles due east of the airport. Determine the distan

Volume, Rajun uses 2/3 of a carton of milk to make a pancake. The volume of...

Rajun uses 2/3 of a carton of milk to make a pancake. The volume of milk he uses is 800ml. calculate the volume, in l, of a milk in carton?

Find the volume of water left in the cylindrical tub, A solid is in the for...

A solid is in the form of a right circular cone mounted on a hemisphere. The radius of the hemisphere is 3.5 cm and the height of the cone is 4 cm. The solid is placed in a cylindr

1, what''s the beneit of study mathematics ?

what''s the beneit of study mathematics ?

Skewness-measure of central tendency, Skewness - It is a concept which...

Skewness - It is a concept which is normally used in statistical decision making. This refers to the degree whether a described frequency curve is deviating away from the gene

Probability, julie has 3 hats and 5 scarves. How many ways can she wear a h...

julie has 3 hats and 5 scarves. How many ways can she wear a hat and a scarf?

Trigonometry, TRIGONOMETRY : "The  mathematician  is  fascinated  with  the...

TRIGONOMETRY : "The  mathematician  is  fascinated  with  the  marvelous  beauty  of the forms  he  constructs,  and  in their  beauty  he  finds  everlasting  truth." Example:

first person drawn was named the class president, Consider a class of 55 s...

Consider a class of 55 students. The student names are placed in a hat & 3 names are randomly drawn without replacement. a)     If the first person drawn was named the class presi

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