Mechanising the metatheory of SQL with NULLS

Project Details

StatusFinished
Effective start/end date1/08/17 → 31/03/18

Funding

  • UK central government bodies/local authorities, health and hospital authorities: £65,983.00

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Conference contribution
  • 1 Article

  • A Formalization of SQL with Nulls

    Ricciotti, W. & Cheney, J., 1 Nov 2022, In: Journal of Automated Reasoning. 66, 4, p. 989-1030 42 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Comprehending nulls

    Cheney, J. & Ricciotti, W., 16 Aug 2021, Proceedings of the 18th International Symposium on Database Programming Languages (DBPL 2021). ACM, p. 3-6 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Mixing set and bag semantics

    Ricciotti, W. & Cheney, J., 23 Jun 2019, Proceedings of The 17th International Symposium on Database Programming Languages. New york : ACM, p. 70-73 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File