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

Create a guessing game for children to teaching maths, E1) Create a guessin...

E1) Create a guessing game for children of Class 2, to familiarise them with the concept of a time interval E2) How could you use group dancing to teach concepts of geometry? Th

Marketing of herbal products , To help Himalya herbal launch a successful m...

To help Himalya herbal launch a successful marketing campaign in the UK

Proof of: limq -0 sinq/q = 1 trig limits, Proof of: lim q →0 sin q...

Proof of: lim q →0 sin q / q = 1 This proofs of given limit uses the Squeeze Theorem. Though, getting things set up to utilize the Squeeze Theorem can be a somewha

Geometry Question, Does the Angle-Side Relationship Theorm work for all tri...

Does the Angle-Side Relationship Theorm work for all triangles or just a certain type of triangle? Does is correspond with the orthocenter of a triangle?

Type i and type ii errors-rejection and acceptance regions, Type I and type...

Type I and type II errors When testing hypothesis (H 0 ) and deciding to either reject or accept a null hypothesis, there are four possible happenings. a) Acceptance of a t

Circle, Circle Well, let's recall just what a circle is. A circle is al...

Circle Well, let's recall just what a circle is. A circle is all the points which are the similar distance, r - called the radius, from a point, ( h, k ) - called the center. I

If a differential equation does have a solution can we find?, It may seem l...

It may seem like an odd question to ask and until now the answer is not all the time yes. Just as we identify that a solution to a differential equations exists does not implies th

Why is the steepness of a curve partially calculate, Can you explain why is...

Can you explain why is the steepness of a curve partially calculated by the units of measurement?

Explain peano''s axioms with suitable example, Question 1 Explain Peano's ...

Question 1 Explain Peano's Axioms with suitable example Question 2 Let A = B = C= R, and let f: A→ B, g: B→ C be defined by f(a) = a+1 and g(b) = b 2 +1. Find a) (f °g

Bricklayer estimates 6.5 how many bricks will he required, A bricklayer est...

A bricklayer estimates that he requires 6.5 bricks per square foot. He needs to lay a patio that will be 110 square feet. How many bricks will he required? Multiply 6.5 by 110;

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