A formalization of SQL with nulls
From MaRDI portal
Publication:2102947
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
- scientific article; zbMATH DE number 1182735 (Why is no real title available?)
- A Coq formalization of the relational data model
- Binding structures as an abstract data type
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant
- Normal forms and conservative extension properties for query languages over collection types
- On optimizing an SQL-like nested query
- Principles of programming with complex objects and collection types
- Query lifting. Language-integrated query for heterogeneous nested collections
- SQL's three-valued logic and certain answers
- Strongly-Normalizing Higher-Order Relational Queries
- Toward a verified relational database management system
Cited in
(4)
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)
