Title :
On the completeness of object-creating query languages
Author :
Van den Bussche, Jan ; Van Gucht, Dirk ; Andries, Mihai ; Gyssens, M.
Author_Institution :
Dept. of Math. & Comput. Sci., Antwerp Univ., Belgium
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
Keywords :
database theory; formal languages; object-oriented databases; object-oriented languages; query languages; constructive queries; database query languages; database theory; hereditarily finite sets; object-creating query languages; Algebra; Calculus; Data models; Database languages; Logic functions; Object oriented databases; Relational databases;
Conference_Titel :
Foundations of Computer Science, 1992. Proceedings., 33rd Annual Symposium on
Conference_Location :
Pittsburgh, PA
Print_ISBN :
0-8186-2900-2
DOI :
10.1109/SFCS.1992.267753
