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

Simple equations, three times the first of the three consecutive odd intege...

three times the first of the three consecutive odd integers is 3 more than twice the third integer. find the third integer.

Functions, Question Solve the following functions for x (where x is a r...

Question Solve the following functions for x (where x is a real number). Leave your answers in exact form, that is, do not use a calculator, show all working. (a) 3 x 3 x2 3

Demerits and merits -the arithmetic mean or a.m, Demerits and merits of the...

Demerits and merits of the measures of central tendency The arithmetic mean or a.m Merits i.  It employs all the observations given ii. This is a very useful

Determine the fraction of the time, Ipswich has two ambulances. Ambulance 1...

Ipswich has two ambulances. Ambulance 1 is based at the local college and ambulance 2 is based downtown. If a request for an ambulance comes from the local college, the college-bas

Permutation, Permutation - It is an order arrangement of items whether...

Permutation - It is an order arrangement of items whether the order must be strictly observed Illustration Assume x, y and z be any of three items. Arrange these in all

Find the least number that is divisible by all numbers, Find the  leas...

Find the  least  number that  is  divisible by all  numbers between 1  and  10  (both inclusive). Ans: The required number is the LCM of 1,2,3,4,5,6,7,8,9,10 ∴ LCM = 2  × 2

Full asymptotic expansion , Consider the integral where the notatio...

Consider the integral where the notation means a contour that is parallel to the real z axis, but moved down by a distance d . Use the method of steepest descents to deri

The achievements from math, i love math..but i am afraid to study it... i m...

i love math..but i am afraid to study it... i mean i ma afraid that it may leave me in clay...what can you suggest me?

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