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

Example of distributive law, Maya gives the children examples of distributi...

Maya gives the children examples of distributive with small numbers initially, and leads them towards discovering the law. The usual way she does this is to give the children probl

Help, how do i know what operation to use in a fraction word problem

how do i know what operation to use in a fraction word problem

Which kevin gets paid is represented by x what does paid, Patrick gets paid...

Patrick gets paid three dollars less than four times what Kevin gets paid. If the number of dollars which Kevin gets paid is represented through x, what does Patrick get paid?

What is metric system explain in brief, What is Metric System explain in br...

What is Metric System explain in brief? There are two main systems of measurement in use today. Most countries in the world use the Metric System. In only three countries-the

Solution Of Rectilinear Figures, Find the number of square feet of pavement...

Find the number of square feet of pavement required for the shaded portion of the streets shown in the figure, all the streets being 50 feet wide.

Algebra, logrithim of function?

logrithim of function?

Find the height of the lighthouse, Two  ships  are  sailing  in  the  sea  ...

Two  ships  are  sailing  in  the  sea  on  either  side  of  a  lighthouse;  the  angles  of depression of two ships as observed from the top of the lighthouse are 600  and 450 re

Center of mass - applications of integrals, Center of Mass - Applications o...

Center of Mass - Applications of integrals In this part we are going to find out the center of mass or centroid of a thin plate along with uniform density ρ. The center of mass

Word Problem, One box can hold 5 1/2 lbs of nuts and 3 lb 6oz of bolts. Wha...

One box can hold 5 1/2 lbs of nuts and 3 lb 6oz of bolts. What is the total weight for one box?

Estimate the greatest possible number of calculators, Martha has $20 to spe...

Martha has $20 to spend and would like to buy as several calculators as possible along with the money. The calculators that she needs to buy are $4.50 each. How much money will she

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