Affiliation:
1. Univ. di Brescia, Brescia, Italy
2. Politecnico di Milano, Milan, Italy
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.
Publisher
Association for Computing Machinery (ACM)
Reference26 articles.
1. Efficient optimization of a class of relational expressions
2. Equivalences among Relational Expressions
3. AMERICAN NATIONAL STANDARD INSTITUTE. American National Standard Database Language SQL. ISO/TC97/SC21/WG5-15 n. 90 Washington D.C. 1985. AMERICAN NATIONAL STANDARD INSTITUTE. American National Standard Database Language SQL. ISO/TC97/SC21/WG5-15 n. 90 Washington D.C. 1985.
4. Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints;Proceedings of the ACM on Programming Languages;2024-04-29
2. SQL Nulls and Two-Valued Logic;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
3. SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics;2022 IEEE 38th International Conference on Data Engineering (ICDE);2022-05
4. Propositional and predicate logics of incomplete information;Artificial Intelligence;2022-01
5. Verification supported refactoring of embedded sql;Software Quality Journal;2020-06-18