{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T20:40:01Z","timestamp":1755981601749,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1145\/3735106.3736538","type":"proceedings-article","created":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T09:44:52Z","timestamp":1750758292000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Finitary Relational Calculus"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5190-2125","authenticated-orcid":false,"given":"Fritz","family":"Henglein","sequence":"first","affiliation":[{"name":"University of Copenhagen, Department of Computer Science (DIKU), Copenhagen, Denmark"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2145-527X","authenticated-orcid":false,"given":"Mikkel Kragh","family":"Mathiesen","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Department of Computer Science (DIKU), Copenhagen, Denmark"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-5124-854X","authenticated-orcid":false,"given":"Mads","family":"Rehof","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Department of Computer Science (DIKU), Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2025,6,24]]},"reference":[{"volume-title":"Foundations of databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of databases. Vol. 8. Addison-Wesley Reading.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.14778\/2350229.2350242"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/358769.358784"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/362384.362685"},{"unstructured":"Edgar F Codd et al. 1972. Relational completeness of data base sublanguages. IBM Corporation.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Orderings for term-rewriting systems. Theoretical computer science 17, 3","author":"Dershowitz Nachum","year":"1982","unstructured":"Nachum Dershowitz. 1982. Orderings for term-rewriting systems. Theoretical computer science 17, 3 (1982), 279--301."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1090\/S0002-9939-1957-0086031-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-1-4684-9440-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/s10990-011-9078-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/1706356.1706372"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/978-3-031-09005-9_9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.4204\/EPTCS.360.4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1090\/S0002-9947-1904-1500675-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1016\/0022-0000(84)90077-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/298514.298582"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.5555\/1286580.1286620"},{"volume-title":"Programming with constraints: an introduction","author":"Marriott Kim","unstructured":"Kim Marriott and Peter J Stuckey. 1998. Programming with constraints: an introduction. MIT press.","key":"e_1_3_2_1_17_1"},{"unstructured":"Mikkel Kragh Mathiesen. 2022. The Programming of Algebra. Ph.D. Dissertation. Department of Computer Science (DIKU) University of Copenhagen.","key":"e_1_3_2_1_18_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/3003665.3003667"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/2656335"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/1385-7258(77)90055-5"},{"key":"e_1_3_2_1_22_1","volume-title":"Boris Isaakovich Plotkin, and S Kraus","author":"Plotkin Tatjana L","year":"1996","unstructured":"Tatjana L Plotkin, Boris Isaakovich Plotkin, and S Kraus. 1996. Algebraic logic in database state description. Fundamentalnaya i Prikladnaya Matematika 2, 3 (1996), 875--910."},{"key":"e_1_3_2_1_23_1","volume-title":"Efficient Evaluation of Arbitrary Relational Calculus Queries. Logical Methods in Computer Science 19","author":"Raszyk Martin","year":"2023","unstructured":"Martin Raszyk, David Basin, Srđan Krsti\u0107, and Dmitriy Traytel. 2023. Efficient Evaluation of Arbitrary Relational Calculus Queries. Logical Methods in Computer Science 19 (2023)."},{"key":"e_1_3_2_1_24_1","first-page":"37","article-title":"The theory of representation for Boolean algebras","volume":"40","author":"Stone Marshall H","year":"1936","unstructured":"Marshall H Stone. 1936. The theory of representation for Boolean algebras. Trans. Amer. Math. Soc. 40, 1 (1936), 37--111.","journal-title":"Trans. Amer. Math. Soc."}],"event":{"sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"acronym":"SIGMOD\/PODS '25","name":"SIGMOD\/PODS '25: International Conference on Management of Data","location":"Berlin Germany"},"container-title":["Proceedings of the 19th International Symposium on Database Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3735106.3736538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T20:27:36Z","timestamp":1755980856000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3735106.3736538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":24,"alternative-id":["10.1145\/3735106.3736538","10.1145\/3735106"],"URL":"https:\/\/doi.org\/10.1145\/3735106.3736538","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]},"assertion":[{"value":"2025-06-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}