{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T08:52:52Z","timestamp":1775638372902,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1145\/3722212.3724450","type":"proceedings-article","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T09:01:44Z","timestamp":1750150904000},"page":"283-296","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Rel: A Programming Language for Relational Data"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6584-5826","authenticated-orcid":false,"given":"Molham","family":"Aref","sequence":"first","affiliation":[{"name":"RelationalAI, Woodside, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0756-5787","authenticated-orcid":false,"given":"Paolo","family":"Guagliardo","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-5675-754X","authenticated-orcid":false,"given":"George","family":"Kastrinis","sequence":"additional","affiliation":[{"name":"RelationalAI, Athens, Greece"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6698-2735","authenticated-orcid":false,"given":"Leonid","family":"Libkin","sequence":"additional","affiliation":[{"name":"RelationalAI, Paris, France and Univ of Edinburgh, Edinburgh, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2325-6004","authenticated-orcid":false,"given":"Victor","family":"Marsault","sequence":"additional","affiliation":[{"name":"LIGM, Univ. Gustave Eiffel, CNRS, Champs-sur-Marne, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9480-3522","authenticated-orcid":false,"given":"Wim","family":"Martens","sequence":"additional","affiliation":[{"name":"RelationalAI, Bayreuth, Germany and University of Bayreuth, Bayreuth, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3912-0117","authenticated-orcid":false,"given":"Mary","family":"McGrath","sequence":"additional","affiliation":[{"name":"RelationalAI, Little Compton, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0989-3717","authenticated-orcid":false,"given":"Filip","family":"Murlak","sequence":"additional","affiliation":[{"name":"University of Warsaw, Warsaw, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4405-0907","authenticated-orcid":false,"given":"Nathaniel","family":"Nystrom","sequence":"additional","affiliation":[{"name":"RelationalAI, Lugano, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4788-0944","authenticated-orcid":false,"given":"Liat","family":"Peterfreund","sequence":"additional","affiliation":[{"name":"Hebrew University, Jerusalem, Israel"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8557-7295","authenticated-orcid":false,"given":"Allison","family":"Rogers","sequence":"additional","affiliation":[{"name":"RelationalAI, Seattle, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2559-512X","authenticated-orcid":false,"given":"Cristina","family":"Sirangelo","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, Paris, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5854-2652","authenticated-orcid":false,"given":"Domagoj","family":"Vrgo\u010d","sequence":"additional","affiliation":[{"name":"PUC Chile, Santiago, Chile"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3857-5016","authenticated-orcid":false,"given":"David","family":"Zhao","sequence":"additional","affiliation":[{"name":"RelationalAI, Sydney, Australia"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8812-5067","authenticated-orcid":false,"given":"Abdul","family":"Zreika","sequence":"additional","affiliation":[{"name":"RelationalAI, Melbourne, Australia"}]}],"member":"320","published-online":{"date-parts":[[2025,6,22]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Foundations of Databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul, Rick Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--642--24206--9_16"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_3_2_2_4_1","unstructured":"Marcelo Arenas Pablo Barcel\u00f3 Leonid Libkin Wim Martens and Andreas Pieris. 2022. Database Theory. Open source at https:\/\/github.com\/pdm-book\/community."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ECOOP.2016.2"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3191315.3191322"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086642.1086647"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/181550.181564"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/227604.227609"},{"key":"e_1_3_2_2_12_1","volume-title":"The Top Programming Languages","author":"Cass Stephen","year":"2024","unstructured":"Stephen Cass. 2024. The Top Programming Languages 2024. https:\/\/spectrum.ieee.org\/top-programming-languages-2024."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3469279"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743--1066(93)90039-J"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1734714.1734718"},{"key":"e_1_3_2_2_17_1","volume-title":"California","author":"Codd Edgar F.","year":"1972","unstructured":"Edgar F. Codd. 1972. Relational Completeness of Data Base Sublanguages. Research Report \/ RJ \/ IBM \/ San Jose, California, Vol. RJ987 (1972)."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320109"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/358396.358400"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2903741"},{"key":"e_1_3_2_2_21_1","volume-title":"Lorentzos","author":"Date C. J.","year":"2002","unstructured":"C. J. Date, Hugh Darwen, and Nikos A. Lorentzos. 2002. Temporal data and the relational model. Elsevier."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--540--78800--3_24"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3526057"},{"key":"e_1_3_2_2_24_1","volume-title":"Filardo","author":"Eisner Jason","year":"2011","unstructured":"Jason Eisner and Nathaniel W. Filardo. 2011. Dyna: Extending Datalog For Modern AI. In Datalog Reloaded, Oege de Moor, Georg Gottlob, Tim Furche, and Andrew Sellers (Eds.). Lecture Notes in Computer Science, Vol. 6702. Springer, 181--220. http:\/\/cs.jhu.edu\/ jason\/papers\/#eisner-filardo-2011 Longer version available as tech report."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2804729.2804730"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ICDT.2023.1"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3190657"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ICDT.2025.22"},{"key":"e_1_3_2_2_29_1","volume-title":"Halpin and Tony Morgan","author":"Terry","year":"2008","unstructured":"Terry A. Halpin and Tony Morgan. 2008. Information modeling and relational databases (2. ed.). Morgan Kaufmann."},{"key":"e_1_3_2_2_30_1","volume-title":"A Programming Language","author":"Iverson Kenneth E.","unstructured":"Kenneth E. Iverson. 1962. A Programming Language. John Wiley & Sons, Inc., USA."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--319--41540--6_23"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1006\/JCSS.1995.1051"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"crossref","unstructured":"Gabriel Kuper Leonid Libkin and Jan Paredaens. 2000. Constraint Databases. Springer.","DOI":"10.1007\/978-3-662-04031-7"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFB0055496"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536616.1536637"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509515"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449808"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180143"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3003665.3003667"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1567274.1567278"},{"key":"e_1_3_2_2_41_1","volume-title":"Database Management Systems (3. ed.)","author":"Ramakrishnan Raghu","unstructured":"Raghu Ramakrishnan and Johannes Gehrke. 2003. Database Management Systems (3. ed.). McGraw-Hill."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/137097.137905"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--1--4613--9575--1"},{"key":"e_1_3_2_2_44_1","unstructured":"Amit Singhal. 2012. Things Not Strings. https:\/\/blog.google\/products\/search\/introducing-knowledge-graph-things-not\/."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010085415024"},{"key":"e_1_3_2_2_46_1","unstructured":"Alloy Team. 2005. The Alloy Analyzer 3.0 Beta. http:\/\/alloy.mit.edu\/index.php. Accessed: November 2024."},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.5441\/002\/ICDT.2014.13"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/202176.202181"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003585"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--1--4471--3225--7_24"}],"event":{"name":"SIGMOD\/PODS '25: International Conference on Management of Data","location":"Berlin Germany","acronym":"SIGMOD\/PODS '25","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"]},"container-title":["Companion of the 2025 International Conference on Management of Data"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3722212.3724450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:37:22Z","timestamp":1757543842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3722212.3724450"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":50,"alternative-id":["10.1145\/3722212.3724450","10.1145\/3722212"],"URL":"https:\/\/doi.org\/10.1145\/3722212.3724450","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]},"assertion":[{"value":"2025-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}