This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Complex SQL Predicates as Quantifiers
PrePrint
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
Citation:
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, <http://doi.ieeecomputersociety.org/10.1109/TKDE.2013.55>
Usage of this product signifies your acceptance of the Terms of Use.