Formal Semantics of SQL Queries.
Mauro Negri, Giuseppe Pelagatti, Licia Sbattella:
Formal Semantics of SQL Queries.
ACM Trans. Database Syst. 16(3): 513-534(1991)@article{DBLP:journals/tods/NegriPS91,
author = {Mauro Negri and
Giuseppe Pelagatti and
Licia Sbattella},
title = {Formal Semantics of SQL Queries},
journal = {ACM Trans. Database Syst.},
volume = {16},
number = {3},
year = {1991},
pages = {513-534},
ee = {http://doi.acm.org/10.1145/111197.111212, db/journals/tods/NegriPS91.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
The semantics of SQL queries is formally defined by stating a set of rules that determine a
syntax-driven translation of an SQL query to a formal model. The target model, called Extended
Three Valued Predicate Calculus (E3VPC), is largely based on a set of well-known mathematical
concepts. The rules which allow the transformation of a general E3VPC expression to a
Canonical Form, which can be manipulated using traditional, two-valued predicate calculus are
also given; in this way, problems like equivalence analysis of SQL queries are completely solved.
Finally, the fact that reasoning about the equivalence of SQL queries using two-valued predicate
calculus, without taking care of the real SQL semantics can lead to errors is shown, and the
reasons for this are analyzed.
Copyright © 1991 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
[Abstract, Index Terms and Review]
[Full Text in PDF Format, 1355 KB]
References
- [1]
- Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman:
Efficient Optimization of a Class of Relational Expressions.
ACM Trans. Database Syst. 4(4): 435-454(1979) BibTeX
- [2]
- Alfred V. Aho, Yehoshua Sagiv, Jeffrey D. Ullman:
Equivalences Among Relational Expressions.
SIAM J. Comput. 8(2): 218-246(1979) BibTeX
- [3]
- ...
- [4]
- Günter von Bültzingsloewen:
Translating and Optimizing SQL Queries Having Aggregates.
VLDB 1987: 235-243 BibTeX
- [5]
- Stefano Ceri, Georg Gottlob:
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries.
IEEE Trans. Software Eng. 11(4): 324-345(1985) BibTeX
- [6]
- ...
- [7]
- ...
- [8]
- E. F. Codd:
Extending the Database Relational Model to Capture More Meaning.
ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX
- [9]
- ...
- [10]
- Umeshwar Dayal:
Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers.
VLDB 1987: 197-208 BibTeX
- [11]
- Hervé Gallaire:
Impacts of Logic and Databases (Invited Paper).
VLDB 1981: 248-259 BibTeX
- [12]
- Richard A. Ganski, Harry K. T. Wong:
Optimization of Nested SQL Queries Revisited.
SIGMOD Conference 1987: 23-33 BibTeX
- [13]
- Georg Gottlob, Roberto Zicari:
Closed World Databases Opened Through Null Values.
VLDB 1988: 50-61 BibTeX
- [14]
- John Grant:
Null Values in a Relational Data Base.
Inf. Process. Lett. 6(5): 156-157(1977) BibTeX
- [15]
- Matthias Jarke, Joachim W. Schmidt:
Query Processing Strategies in the PASCAL/R Relational Database Management System.
SIGMOD Conference 1982: 256-264 BibTeX
- [16]
- Matthias Jarke, Jürgen Koch:
Query Optimization in Database Systems.
ACM Comput. Surv. 16(2): 111-152(1984) BibTeX
- [17]
- Won Kim:
On Optimizing an SQL-like Nested Query.
ACM Trans. Database Syst. 7(3): 443-469(1982) BibTeX
- [18]
- ...
- [19]
- Anthony C. Klug:
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions.
J. ACM 29(3): 699-717(1982) BibTeX
- [20]
- Witold Lipski Jr.:
On Semantic Issues Connected with Incomplete Information Databases.
ACM Trans. Database Syst. 4(3): 262-296(1979) BibTeX
- [21]
- ...
- [22]
- Arnon Rosenthal, David S. Reiner:
An Architecture for Query Optimization.
SIGMOD Conference 1982: 246-255 BibTeX
- [23]
- Yehoshua Sagiv, Mihalis Yannakakis:
Equivalences Among Relational Expressions with the Union and Difference Operators.
J. ACM 27(4): 633-655(1980) BibTeX
- [24]
- Patricia G. Selinger, Morton M. Astrahan, Donald D. Chamberlin, Raymond A. Lorie, Thomas G. Price:
Access Path Selection in a Relational Database Management System.
SIGMOD Conference 1979: 23-34 BibTeX
- [25]
- John Miles Smith, Philip Yen-Tang Chang:
Optimizing the Performance of a Relational Algebra Database Interface.
Commun. ACM 18(10): 568-579(1975) BibTeX
- [26]
- ...
- [27]
- Yannis Vassiliou:
Null Values in Data Base Management: A Denotational Semantics Approach.
SIGMOD Conference 1979: 162-169 BibTeX
- [28]
- Eugene Wong, Karel Youssefi:
Decomposition - A Strategy for Query Processing.
ACM Trans. Database Syst. 1(3): 223-241(1976) BibTeX
Referenced by
- Raghu Ramakrishnan, Donko Donjerkovic, Arvind Ranganathan, Kevin S. Beyer, Muralidhar Krishnaprasad:
SRQL: Sorted Relational Query Language.
SSDBM 1998: 84-95
- Yannis E. Ioannidis, Raghu Ramakrishnan:
Containment of Conjunctive Queries: Beyond Relations as Sets.
ACM Trans. Database Syst. 20(3): 288-324(1995)
- Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents - César A. Galindo-Legaria:
Outerjoins as Disjunctions.
SIGMOD Conference 1994: 348-358
- Weipeng P. Yan, Per-Åke Larson:
Performing Group-By before Join.
ICDE 1994: 89-100
- G. N. Paulley, Per-Åke Larson:
Exploiting Uniqueness in Query Optimization.
ICDE 1994: 68-79
- Richard T. Snodgrass, Santiago Gomez, L. Edwin McKenzie:
Aggregates in the Temporal Query Language TQuel.
IEEE Trans. Knowl. Data Eng. 5(5): 826-842(1993)
- Surajit Chaudhuri, Moshe Y. Vardi:
Optimization of Real Conjunctive Queries.
PODS 1993: 59-70
- Elisa Bertino, Mauro Negri, Giuseppe Pelagatti, Licia Sbattella:
Object-Oriented Query Languages: The Notion and the Issues.
IEEE Trans. Knowl. Data Eng. 4(3): 223-237(1992)
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Tue Jun 24 18:39:11 2008