This Article 
 Bibliographic References 
 Add to: 
Complex SQL Predicates as Quantifiers
ISSN: 1041-4347
Antonio Badia, University of Louisville, Louisville
Anna Wagner, University of Louisville, Louisville
We propose a logical framework to analyze complex predicates (those involving a subquery) in SQL. We propose a new operator in the relational algebra for handling such predicates, and study its properties and how it combines with traditional relational operator. We focus on predicates of the form att Θ MOD S, where att is an attribute, Θ a comparison operator, MOD is one of SOME or ALL, and S is a (correlated or non-correlated) subquery. We provide a formal characterization of these predicate, as well as an implementation and optimization strategies for it. We show that our approach is extendible, so we can support the expression and optimization of other, similar predicates. Finally, we describe experimental evidence that the proposed approach is more efficient than the traditional approach across a variety of conditions.
Index Terms:
Query processing,Information Technology and Systems,Database Management,Languages,Query languages,Systems
Antonio Badia, Anna Wagner, "Complex SQL Predicates as Quantifiers," IEEE Transactions on Knowledge and Data Engineering, 29 March 2013. IEEE computer Society Digital Library. IEEE Computer Society, <>
Usage of this product signifies your acceptance of the Terms of Use.