A formalization of SQL with nulls
From MaRDI portal
Publication:2102947
DOI10.1007/S10817-022-09632-4OpenAlexW3013999834MaRDI QIDQ2102947FDOQ2102947
Authors: Wilmer Ricciotti, James Cheney 
Publication date: 12 December 2022
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.11331
Recommendations
- A formal semantics for sql
- A relational model of databases with context dependent null values
- A Coq formalisation of SQL's execution engines
- scientific article; zbMATH DE number 4041345
- scientific article; zbMATH DE number 3913728
- Foundations for a fourth normal form over SQL-like databases
- scientific article; zbMATH DE number 8791
- Functional dependencies and constraints on null values in database relations
- Null inclusion dependencies in relational databases
- An Introduction to the Formal Specification of Relational Query Languages
Cites Work
- Formal certification of a compiler back-end or
- Title not available (Why is that?)
- Toward a verified relational database management system
- Principles of programming with complex objects and collection types
- On optimizing an SQL-like nested query
- Normal forms and conservative extension properties for query languages over collection types
- SQL’s Three-Valued Logic and Certain Answers
- Query lifting. Language-integrated query for heterogeneous nested collections
- Binding Structures as an Abstract Data Type
- Strongly-Normalizing Higher-Order Relational Queries
- A Coq Formalization of the Relational Data Model
Cited In (1)
Uses Software
This page was built for publication: A formalization of SQL with nulls
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2102947)
