{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T20:36:59Z","timestamp":1780346219994,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T00:00:00Z","timestamp":1687046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["N023056; S003800"],"award-info":[{"award-number":["N023056; S003800"]}]},{"DOI":"10.13039\/501100000275","name":"Leverhulme Trust","doi-asserted-by":"publisher","award":["Research Fellowship"],"award-info":[{"award-number":["Research Fellowship"]}],"id":[{"id":"10.13039\/501100000275","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,18]]},"DOI":"10.1145\/3584372.3588661","type":"proceedings-article","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T22:21:22Z","timestamp":1685744482000},"page":"11-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["SQL Nulls and Two-Valued Logic"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6698-2735","authenticated-orcid":false,"given":"Leonid","family":"Libkin","sequence":"first","affiliation":[{"name":"The University of Edinburgh & RelationalAI, Paris, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4788-0944","authenticated-orcid":false,"given":"Liat","family":"Peterfreund","sequence":"additional","affiliation":[{"name":"LIGM, Universit\u00e9 Gustave Eiffel, CNRS, Champs-sur-Marne, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/docs.relational.ai","author":"Documentation AI","year":"2023","unstructured":"RelationalAI Documentation. https:\/\/docs.relational.ai. Accessed: April 2023."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.42731"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_1_4_1","first-page":"706","volume-title":"IJCAI","author":"Arieli O.","year":"2011","unstructured":"O. Arieli, A. Avron, and A. Zamansky. What is an ideal logic for reasoning with inconsistency? In IJCAI, pages 706--711, 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293880.3294107"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08494-6"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.06.028"},{"key":"e_1_3_2_1_8_1","volume-title":"A unified treatment of null values using constraints. Inf. Sci., 98(1--4):99--156","author":"Candan K. S.","year":"1997","unstructured":"K. S. Candan, J. Grant, and V. S. Subrahmanian. A unified treatment of null values using constraints. Inf. Sci., 98(1--4):99--156, 1997."},{"key":"e_1_3_2_1_9_1","volume-title":"Morgan Kaufmann","author":"Celko J.","year":"2005","unstructured":"J. Celko. SQL for Smarties: Advanced SQL Programming. Morgan Kaufmann, 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232223"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062348"},{"key":"e_1_3_2_1_12_1","first-page":"349","volume-title":"KR","author":"Console M.","year":"2016","unstructured":"M. Console, P. Guagliardo, and L. Libkin. Approximations and refinements of certain answers via many-valued logics. In KR, pages 349--358. AAAI Press, 2016."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/138"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103603"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/202660.202667"},{"key":"e_1_3_2_1_16_1","volume-title":"Database in Depth - Relational Theory for Practitioners. O'Reilly","author":"Date C. J.","year":"2005","unstructured":"C. J. Date. Database in Depth - Relational Theory for Practitioners. O'Reilly, 2005."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462571.1462574"},{"key":"e_1_3_2_1_18_1","volume-title":"A Guide to the SQL Standard","author":"Date C. J.","year":"1996","unstructured":"C. J. Date and H. Darwen. A Guide to the SQL Standard. Addison-Wesley, 1996."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3526057"},{"key":"e_1_3_2_1_20_1","volume-title":"SQL","author":"Eisenberg A.","year":"1999","unstructured":"A. Eisenberg and J. Melton. SQL: 1999, formerly known as SQL 3. SIGMOD Rec., 28(1):131--138, 1999."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3299869.3319887"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.6.797"},{"key":"e_1_3_2_1_23_1","series-title":"LIPIcs","first-page":"1","volume-title":"ICDT","author":"Francis N.","year":"2023","unstructured":"N. Francis, A. Gheerbrant, P. Guagliardo, L. Libkin, V. Marsault, W. Martens, F. Murlak, L. Peterfreund, A. Rogova, and D. Vrgo?. A researcher's digest of GQL. In ICDT, volume 255 of LIPIcs, pages 1:1--1:22, 2023."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/382274.382401"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.03.010"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902251.2902297"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/3151113.3151116"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2018.08.001"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005104"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1634.1886"},{"key":"e_1_3_2_1_32_1","volume-title":"QUEL Reference Guide","author":"Ingres","year":"2009","unstructured":"Ingres 9.3. QUEL Reference Guide, 2009."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3380567"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1142\/9789814503624_0008"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2877206"},{"key":"e_1_3_2_1_36_1","volume-title":"Handling SQL nulls with two-valued logic. CoRR, abs\/2012.13198","author":"Libkin L.","year":"2022","unstructured":"L. Libkin and L. Peterfreund. Handling SQL nulls with two-valued logic. CoRR, abs\/2012.13198, 2022."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/111197.111212"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/170"},{"key":"e_1_3_2_1_39_1","volume-title":"www.postgresql.org\/docs\/manuals","author":"Documentation SQL","year":"2016","unstructured":"PostgreSQL Documentation, Version 9.6.1. www.postgresql.org\/docs\/manuals, 2016."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3186728.3164139"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/320473.320476"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.14778\/3551793.3551818"},{"key":"e_1_3_2_1_43_1","first-page":"3","author":"Transaction Processing Performance Council","year":"2017","unstructured":"Transaction Processing Performance Council. TPC Benchmark? DS Standard Specification, 2017. Revision 3.2.0.","journal-title":"DS Standard Specification"},{"key":"e_1_3_2_1_44_1","unstructured":"Transaction Processing Performance Council. TPC Benchmark? H Standard Specification 2018. Revision 2.18.0."},{"key":"e_1_3_2_1_45_1","volume-title":"Hasselt University and Universit\u00e9 Libre de Bruxelles","author":"den Bussche J. Van","year":"2009","unstructured":"J. Van den Bussche and S. Vansummeren. Translating SQL into the relational algebra. Course notes, Hasselt University and Universit\u00e9 Libre de Bruxelles, 2009."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/126482.126487"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90080-1"}],"event":{"name":"SIGMOD\/PODS '23: International Conference on Management of Data","location":"Seattle WA USA","acronym":"SIGMOD\/PODS '23","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584372.3588661","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3584372.3588661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:28Z","timestamp":1750178788000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3584372.3588661"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,18]]},"references-count":47,"alternative-id":["10.1145\/3584372.3588661","10.1145\/3584372"],"URL":"https:\/\/doi.org\/10.1145\/3584372.3588661","relation":{},"subject":[],"published":{"date-parts":[[2023,6,18]]},"assertion":[{"value":"2023-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}