Projects per year
Abstract
Theoretical models used in database research often have subtle differences with those occurring in practice. One particular mismatch that is usually neglected concerns the use of marked nulls to represent missing values in theoretical models of incompleteness, while in an SQL database these are all denoted by the same syntactic NULL object. It is commonly argued that results obtained in the model with marked nulls carry over to SQL, because SQL nulls can be interpreted as Codd nulls, which are simply marked nulls that do not repeat. This argument, however, does not take into account that even simple queries may produce answers where distinct occurrences of NULL do in fact denote the same unknown value. For such queries, interpreting SQL nulls as Codd nulls would incorrectly change the semantics of query answers.
To use results about Codd nulls for real-life SQL queries, we need to understand which queries preserve the Codd interpretation of SQL nulls. We show, however, that this is an undecidable problem for relational algebra. Nonetheless, by exploiting the information provided by NOT NULL constraints on the database schema, we devise mild syntactic restrictions on queries that guarantee this preservation. Moreover, these restrictions do not limit the full expressiveness of queries on databases without nulls and can be checked efficiently.
To use results about Codd nulls for real-life SQL queries, we need to understand which queries preserve the Codd interpretation of SQL nulls. We show, however, that this is an undecidable problem for relational algebra. Nonetheless, by exploiting the information provided by NOT NULL constraints on the database schema, we devise mild syntactic restrictions on queries that guarantee this preservation. Moreover, these restrictions do not limit the full expressiveness of queries on databases without nulls and can be checked efficiently.
Original language | English |
---|---|
Title of host publication | Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management |
Place of Publication | Montevideo, Uruguay |
Publisher | CEUR-WS.org |
Number of pages | 11 |
Publication status | Published - 29 Aug 2017 |
Event | 11th Alberto Mendelzon International Workshop on Foundations of Data Management - Montevideo, Uruguay Duration: 5 Jun 2017 → 9 Jun 2017 |
Publication series
Name | CEUR Workshop Proceedings |
---|---|
Publisher | CEUR-WS.org |
Volume | 1912 |
ISSN (Electronic) | 1613-0073 |
Conference
Conference | 11th Alberto Mendelzon International Workshop on Foundations of Data Management |
---|---|
Country/Territory | Uruguay |
City | Montevideo |
Period | 5/06/17 → 9/06/17 |
Fingerprint
Dive into the research topics of 'On the Codd Semantics of SQL Nulls'. Together they form a unique fingerprint.Projects
- 2 Finished
-
-
VADA: Value Added Data Systems: Principles and Architecture
Libkin, L., Buneman, P., Fan, W. & Pieris, A.
1/04/15 → 30/09/20
Project: Research
Research output
- 1 Article
-
On the Codd Semantics of SQL Nulls
Guagliardo, P. & Libkin, L., 1 Dec 2019, In: Information Systems. 86, p. 46-60 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile