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
View all
View less

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

  • 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