Advertisement

Testing containment of object-oriented conjunctive queries is ∏2p-hard

  • Edward P. F. Chan
  • Ron van der Meyden
Session 2B: Database
  • 122 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 959)

Abstract

We study the complexity of testing containment for a class of object-oriented conjunctive queries. We show that the containment problem is ∏ 2 p -hard. Together with a previous result, the containment problem is complete in ∏ 2 p .

Keywords

Normal Form Atomic Type Truth Table Query Optimization Conjunctive Query 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Chan, E.P.F., “Testing Satisfiability of a Class of Object-Oriented Conjunctive Queries,” Theoretical Computer Science (134), pp. 287–309, 1994.CrossRefGoogle Scholar
  2. [2]
    Chan, E.P.F., “Complexity of Testing Containment, Equivalence and Minimization of Object-Preserving Conjunctive Queries,” TR-93-36, Department of Computer Science, University of Waterloo, 1993.Google Scholar
  3. [3]
    Chan, E.P.F., “Containment and Optimization of Object-Preserving Conjunctive Queries,” TR-94-07, Department of Computer Science, University of Waterloo, 1994. An extended abstract appeared in Proceedings of ACM PODS 1992, pp. 192–202.Google Scholar
  4. [4]
    Stockmeyer, L.J. and Meyer, A.R., “Word Problems requiring exponential time,” Proc. of the 5th STOC, pp.1–9, 1973.Google Scholar
  5. [5]
    Wrathall, C., “Complete Sets and the Polynomial-time Hierarchy,” Theoretical Computer Science (3), pp. 23–33, 1976.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Edward P. F. Chan
    • 1
  • Ron van der Meyden
    • 2
  1. 1.Department of Computer ScienceUniversity of WaterlooWaterlooCanada
  2. 2.Information Science LaboratoryNTT Basic Research LaboratoriesKanagawaJapan

Personalised recommendations