On the completeness of object-creating query languages

  • Authors:

  • J. Van den Bussche;D. Van Gucht;M. Andries;M. Gyssens

  • Affiliations:

  • Dept. of Math.&Comput. Sci., Antwerp Univ., Belgium;-;-;-

  • Venue:
  • SFCS '92 Proceedings of the 33rd Annual Symposium on Foundations of Computer Science
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract

Recently, various database query languages have been considered that have the ability to create new domain elements. These languages, however, are not complete in the sense of Abiteboul and Kanellakis (1989). They provide a precise characterization for the class of queries that can be expressed in these languages. They call this class the constructive queries and motivate this term by establishing a close correspondence between object creation and the construction of hereditarily finite sets.