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

Math homework help, I need help witth my homework can you help please

I need help witth my homework can you help please

rules for solving linear in-equations - linear algebra, Explain what are t...

Explain what are the Rules for solving linear in-equations?

How to find x?, How can I solve x in a circle? For example.. m

How can I solve x in a circle? For example.. m

Matrix, matrix of [1 4 ] [a b]=4/9

matrix of [1 4 ] [a b]=4/9

Vectors, why minimum three coplanar vectors are required to give zero resul...

why minimum three coplanar vectors are required to give zero resultant and not two?

How to introduce a child to the symbol for zero, A 'woman was trying to tea...

A 'woman was trying to teach her three-year-old child the numbers from 1to 5 from a children's book on numbers. Each number was illustrated by the same number of trees drawn next t

Algebra 1, Im having trouble with this word problem: The three Math Idol j...

Im having trouble with this word problem: The three Math Idol judges have been eliminating contestants all day! The number of one-step equations and two-step equations who have be

Online tutoring, how can i find the online students ?

how can i find the online students ?

Average cost function, Average cost function : Now let's turn our attentio...

Average cost function : Now let's turn our attention to the average cost function. If C ( x ) is the cost function for some of the  item then the average cost function is,

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