Abstract
Queries containing universal quantification are used in many applications, including business intelligence applications. Several algorithms have been proposed to implement universal quantification efficiently. These algorithms are presented in an isolated manner in the research literature - typically, no relationships are shown between them. Furthermore, each of these algorithms claims to be superior to others, but in fact each algorithm has optimal performance only for certain types of input data. In this paper, we present a comprehensive survey of the structure and performance of algorithms for universal quantification. We introduce a framework for classifying all possible kinds of input data for universal quantification. Then we go on to identify the most efficient algorithm for each such class. One of the input data classes has not been covered so far. For this class, we propose several new algorithms. For the first time, we are able to identify the optimal algorithm to use for any given input dataset. These two classifications of input data and optimal algorithms are important for query optimization. They allow a query optimizer to make the best selection when optimizing at intermediate steps for the quantification problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bry, F.: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. SIGMOD 1989: 193–204
Clauβen, J., Kemper, A., Moerkotte, G., Peithner, K: Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases. VLDB 1997: 286–295
Dayal, U.: Processing Queries with Quantifiers: A Horticultural Approach. PODS 1983: 125–136
Dayal, U.: Of Nests and Trees: A Unified Approach to Processing Queries that Contain Nested Subqueries, Aggregates, and Quantifiers. VLDB 1987: 197–208
Graefe, G.: Query Evaluation Techniques for Large Databases. ACM Computing Surveys 25(2): 73–170 (1993)
Graefe, G., Cole, R.: Fast Algorithms for Universal Quantification in Large Databases. ACM Transactions on Database Systems 20(2): 187–236 (1995)
Gulutzan, P., Pelzer, T.: SQL-99 Complete, Really: An Example-Based Reference Manual of the New Standard. R&D Books, Lawrence, Kansas, U.S.A., 1999
Hsu, P.-Y., Parker, D.: Improving SQL with Generalized Quantifiers. ICDE 1995: 298–305
Jarke, M., Koch, J.: Range Nesting: A Fast Method to Evaluate Quantified Queries. SIGMOD 1983: 196–206
Nippl, C., Rantzau, R., Mitschang, B.: StreamJoin: A Generic Database Approach to Support the Class of Stream-Oriented Applications. IDEAS 2000: 83–91
Rantzau, R., Shapiro, L., Mitschang, B., Wang, Q.: Universal Quantification in Relational Databases: A Classification of Data and Algorithms. Technical Report, Computer Science Department, University of Stuttgart, 2002 (to appear)
Rao, S., Badia, A., van Gucht, D.: Providing Better Support for a Class of Decision Support Queries. SIGMOD 1996: 217–227
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rantzau, R., Shapiro, L., Mitschang, B., Wang, Q. (2002). Universal Quantification in Relational Databases: A Classification of Data and Algorithms. In: Jensen, C.S., et al. Advances in Database Technology — EDBT 2002. EDBT 2002. Lecture Notes in Computer Science, vol 2287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45876-X_29
Download citation
DOI: https://doi.org/10.1007/3-540-45876-X_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43324-8
Online ISBN: 978-3-540-45876-0
eBook Packages: Springer Book Archive