{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:09:12Z","timestamp":1750219752994,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T00:00:00Z","timestamp":1697846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,21]]},"DOI":"10.1145\/3583780.3615999","type":"proceedings-article","created":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T07:45:42Z","timestamp":1697874342000},"page":"5238-5239","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Type Theory as a Unifying Paradigm for Modern Databases"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1313-7386","authenticated-orcid":false,"given":"Christoph","family":"Dorn","sequence":"first","affiliation":[{"name":"Vaticle, London, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8502-9051","authenticated-orcid":false,"given":"Haikal","family":"Pribadi","sequence":"additional","affiliation":[{"name":"Vaticle, London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2023,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Elena Botoeva Diego Calvanese Benjamin Cogrel Martin Rezk and Guohui Xiao. 2016. A Formal Presentation of MongoDB (Extended Version). CoRR abs\/1603.09291. http:\/\/arxiv.org\/abs\/1603.09291.  Elena Botoeva Diego Calvanese Benjamin Cogrel Martin Rezk and Guohui Xiao. 2016. A Formal Presentation of MongoDB (Extended Version). CoRR abs\/1603.09291. http:\/\/arxiv.org\/abs\/1603.09291."},{"key":"e_1_3_2_1_2_1","article-title":"The Entity-Relationship Model-toward a Unified View of Data","volume":"1","author":"Pin-Shan Chen Peter","year":"1976","unstructured":"Peter Pin-Shan Chen . 1976 . The Entity-Relationship Model-toward a Unified View of Data . ACM Trans. Database Syst. , 1 , 1, (Mar. 1976), 9--36. doi: 10.1145\/320434.320440. 10.1145\/320434.320440 Peter Pin-Shan Chen. 1976. The Entity-Relationship Model-toward a Unified View of Data. ACM Trans. Database Syst., 1, 1, (Mar. 1976), 9--36. doi: 10.1145\/320434.320440.","journal-title":"ACM Trans. Database Syst."},{"key":"e_1_3_2_1_3_1","volume-title":"A Relational Model of Data for Large Shared Data Banks. Commun. ACM, 13, 6, (June","author":"Codd E. F.","year":"1970","unstructured":"E. F. Codd . 1970. A Relational Model of Data for Large Shared Data Banks. Commun. ACM, 13, 6, (June 1970 ), 377--387. doi: 10.1145\/362384.362685. 10.1145\/362384.362685 E. F. Codd. 1970. A Relational Model of Data for Large Shared Data Banks. Commun. ACM, 13, 6, (June 1970), 377--387. doi: 10.1145\/362384.362685."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exaa009"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2018 International Conference on Management of Data (SIGMOD '18)","author":"Nadime","year":"1837","unstructured":"Nadime Francis et al. 2018. Cypher: An Evolving Query Language for Property Graphs . In Proceedings of the 2018 International Conference on Management of Data (SIGMOD '18) . Association for Computing Machinery, New York, NY, USA, 1433--1445. doi: 10.1145\/3 1837 13.3190657. 10.1145\/3183713.3190657 Nadime Francis et al. 2018. Cypher: An Evolving Query Language for Property Graphs. In Proceedings of the 2018 International Conference on Management of Data (SIGMOD '18). Association for Computing Machinery, New York, NY, USA, 1433--1445. doi: 10.1145\/3183713.3190657."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/111197.111200"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1567274.1567278"},{"key":"e_1_3_2_1_8_1","unstructured":"The Univalent Foundations Program. 2013. Homotopy type theory: univalent foundations of mathematics. arXiv preprint arXiv:1308.0729.  The Univalent Foundations Program. 2013. Homotopy type theory: univalent foundations of mathematics. arXiv preprint arXiv:1308.0729."}],"event":{"name":"CIKM '23: The 32nd ACM International Conference on Information and Knowledge Management","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGIR ACM Special Interest Group on Information Retrieval"],"location":"Birmingham United Kingdom","acronym":"CIKM '23"},"container-title":["Proceedings of the 32nd ACM International Conference on Information and Knowledge Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583780.3615999","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583780.3615999","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:55Z","timestamp":1750178215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583780.3615999"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,21]]},"references-count":8,"alternative-id":["10.1145\/3583780.3615999","10.1145\/3583780"],"URL":"https:\/\/doi.org\/10.1145\/3583780.3615999","relation":{},"subject":[],"published":{"date-parts":[[2023,10,21]]},"assertion":[{"value":"2023-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}