Deciding containment for queries with complex objects (extended abstract)

This publication has 23 references indexed in Scilit:

• The power of languages for the manipulation of complex values
  The VLDB Journal, 1995
• Principles of programming with complex objects and collection types
  Theoretical Computer Science, 1995
• Equivalence of Datalog queries is undecidable
  The Journal of Logic Programming, 1993
• Converting nested algebra expressions into flat algebra expressions
  ACM Transactions on Database Systems, 1992
• Using powerdomains to generalize relational databases
  Theoretical Computer Science, 1991
• On a hierarchy of classes for nested databases
  Information Processing Letters, 1990
• Multilevel nested relational structures
  Journal of Computer and System Sciences, 1988
• On conjunctive queries containing inequalities
  Journal of the ACM, 1988
• Extending relational algebra and relational calculus with set-valued attributes and aggregate functions
  ACM Transactions on Database Systems, 1987
• Equivalences Among Relational Expressions with the Union and Difference Operators
  Journal of the ACM, 1980