{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T16:45:57Z","timestamp":1766767557651,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,12]],"date-time":"2022-06-12T00:00:00Z","timestamp":1654992000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-19-P3IA-0001"],"award-info":[{"award-number":["ANR-19-P3IA-0001"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,12]]},"DOI":"10.1145\/3534540.3534689","type":"proceedings-article","created":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T22:31:35Z","timestamp":1653345095000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Efficient provenance-aware querying of graph databases with datalog"],"prefix":"10.1145","author":[{"given":"Yann","family":"Ramusat","sequence":"first","affiliation":[{"name":"PSL University, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silviu","family":"Maniu","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, Gif-sur-Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Senellart","sequence":"additional","affiliation":[{"name":"PSL University,Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/551350"},{"key":"e_1_3_2_1_2_1","first-page":"175","volume-title":"PODS","author":"Barcel\u00f3 Pablo","year":"2013","unstructured":"Pablo Barcel\u00f3 . Querying graph databases . In PODS , pages 175 -- 188 , New York , 2013 . ACM. Pablo Barcel\u00f3. Querying graph databases. In PODS, pages 175--188, New York, 2013. ACM."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000006"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2015.7113407"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-018-0496-7"},{"key":"e_1_3_2_1_6_1","first-page":"201","volume-title":"ICDT","author":"Deutch Daniel","year":"2014","unstructured":"Daniel Deutch , Tova Milo , Sudeepa Roy , and Val Tannen . Circuits for Datalog Provenance . In ICDT , pages 201 -- 212 , 2014 . Daniel Deutch, Tova Milo, Sudeepa Roy, and Val Tannen. Circuits for Datalog Provenance. In ICDT, pages 201--212, 2014."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22944-2_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08846-4_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1265530.1265535"},{"key":"e_1_3_2_1_10_1","first-page":"1","volume-title":"COLING","author":"Huang Liang","year":"2008","unstructured":"Liang Huang . Advanced dynamic programming in semiring and hypergraph frameworks . In COLING , pages 1 -- 18 , 2008 . Liang Huang. Advanced dynamic programming in semiring and hypergraph frameworks. In COLING, pages 1--18, 2008."},{"key":"e_1_3_2_1_11_1","first-page":"422","volume-title":"CAV","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan , Bernhard Scholz , and Pavle Suboti\u0107 . Souffl\u00e9 : On synthesis of program analyzers . In CAV , pages 422 -- 430 , 2016 . Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. Souffl\u00e9: On synthesis of program analyzers. In CAV, pages 422--430, 2016."},{"key":"e_1_3_2_1_12_1","volume-title":"Convergence of datalog over (pre-) semirings. CoRR, abs\/2105.14435","author":"Khamis Mahmoud Abo","year":"2021","unstructured":"Mahmoud Abo Khamis , Hung Q. Ngo , Reinhard Pichler , Dan Suciu , and Yisu Remy Wang . Convergence of datalog over (pre-) semirings. CoRR, abs\/2105.14435 , 2021 . Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, and Yisu Remy Wang. Convergence of datalog over (pre-) semirings. CoRR, abs\/2105.14435, 2021."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(77)90002-3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02575025"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59136-5_9"},{"key":"e_1_3_2_1_16_1","first-page":"1","volume-title":"ICDT","author":"Maniu Silviu","year":"2019","unstructured":"Silviu Maniu , Pierre Senellart , and Suraj Jog . An Experimental Study of the Treewidth of Real-World Graph Data . In ICDT , pages 12: 1 -- 12 :18, 2019 . Silviu Maniu, Pierre Senellart, and Suraj Jog. An Experimental Study of the Treewidth of Real-World Graph Data. In ICDT, pages 12:1--12:18, 2019."},{"issue":"3","key":"e_1_3_2_1_17_1","first-page":"321","article-title":"Semiring frameworks and algorithms for shortest-distance problems","volume":"7","author":"Mohri Mehryar","year":"2002","unstructured":"Mehryar Mohri . Semiring frameworks and algorithms for shortest-distance problems . J. Autom. Lang. Comb. , 7 ( 3 ): 321 -- 350 , 2002 . Mehryar Mohri. Semiring frameworks and algorithms for shortest-distance problems. J. Autom. Lang. Comb., 7(3):321--350, 2002.","journal-title":"J. Autom. Lang. Comb."},{"key":"e_1_3_2_1_18_1","volume-title":"TaPP","author":"Ramusat Yann","year":"2018","unstructured":"Yann Ramusat , Silviu Maniu , and Pierre Senellart . Semiring provenance over graph databases . In TaPP , 2018 . Yann Ramusat, Silviu Maniu, and Pierre Senellart. Semiring provenance over graph databases. In TaPP, 2018."},{"key":"e_1_3_2_1_19_1","first-page":"73","volume-title":"EDBT","author":"Ramusat Yann","year":"2021","unstructured":"Yann Ramusat , Silviu Maniu , and Pierre Senellart . Provenance-based algorithms for rich queries over graph databases . In EDBT , pages 73 -- 84 , 2021 . Yann Ramusat, Silviu Maniu, and Pierre Senellart. Provenance-based algorithms for rich queries over graph databases. In EDBT, pages 73--84, 2021."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892226"},{"key":"e_1_3_2_1_21_1","first-page":"104","volume-title":"Reasoning Web","author":"Senellart Pierre","year":"2019","unstructured":"Pierre Senellart . Provenance in databases: Principles and applications . In Reasoning Web , pages 104 -- 109 , 2019 . Pierre Senellart. Provenance in databases: Principles and applications. In Reasoning Web, pages 104--109, 2019."}],"event":{"name":"SIGMOD\/PODS '22: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Philadelphia Pennsylvania","acronym":"SIGMOD\/PODS '22"},"container-title":["Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3534540.3534689","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3534540.3534689","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:10Z","timestamp":1750186810000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3534540.3534689"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,12]]},"references-count":21,"alternative-id":["10.1145\/3534540.3534689","10.1145\/3534540"],"URL":"https:\/\/doi.org\/10.1145\/3534540.3534689","relation":{},"subject":[],"published":{"date-parts":[[2022,6,12]]},"assertion":[{"value":"2022-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}