21st Annual Symposium on Foundations of Computer Science (sfcs 1980) (1980)
Oct. 13, 1980 to Oct. 15, 1980
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SFCS.1980.41
This paper is an attempt at laying the foundations for the classification of queries on relational data bases according to their structure and their computational complexity. Using the operations of composition and fixpoints, a Σ-Π hierarchy of height, ω2, called the fixpoint query hierarchy, is defined, and its properties investigated. The hierarchy includes most of the queries considered in the literature including those of Codd and Aho and Ullman. The hierarchy to level ω characterizes the first-order queries, and the levels up to ω are shown to be strict. Sets of queries larger than the fixpoint query hierarchy are obtained by considering the queries computable in polynomial time, queries computable in polynomial space, etc. It is shown that classes of queries defined from such complexity classes behave (with respect to containment) in a manner very similar to the corresponding complexity classes. Also, the set of second-order queries turns out to be the same as the set of queries defined from the polynomialtime hierarchy. Finally, these classes of queries are used to characterize a set of queries defined from language considerations: those expressible in a programming language with only typed (or ranked) relation variables. At the end of the paper is a list of symbols used therein.
D. Harel and A. K. Chandra, "Structure and complexity of relational queries," 21st Annual Symposium on Foundations of Computer Science (sfcs 1980)(FOCS), vol. 00, no. , pp. 333-347, 1980.