Formal semantics of SQL

Abstract

Correctness proofs; understanding of query language constructs and query language properties; equivalence of queries; relational core of SQL; SQL queries with UNION; SQL queries following the SELECT FROM WHERE schema; search conditions; EXISTS, ANY, ALL, and IN subqueries; duplicates in results; general requirements for SQL core queries; semantic equations for SQL core queries; example for translating an SQL query to the calculus; comparison to standard SQL; grouping; aggregation; SQL queries with GROUP BY and HAVING; general requirements for SQL queries with aggregation and grouping; context-sensitive conditions for GROUP BY queries; semantic equations for SQL queries with aggregation and grouping; example for translating an SQL query with GROUP BY to the calculus; basic property of the FROM clause; properties of IN, ALL, ANY, and EXISTS; unnesting of SQL queries; antitheorem: ALL versus ANY.