Mechanising the metatheory of SQL with NULLS

Project Details

StatusFinished
Effective start/end date1/08/1731/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.
  • 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 proceedingConference 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 proceedingConference contribution

    Open Access
    File