{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:51:41Z","timestamp":1758127901794},"reference-count":64,"publisher":"Association for Computing Machinery (ACM)","issue":"13","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2022,9]]},"abstract":"<jats:p>Equality-generating dependencies (EGDs) allow to fully exploit the power of existential quantification in ontological reasoning settings modeled via Tuple-Generating Dependencies (TGDs), by enabling value-assignment or forcing the equivalence of fresh symbols. These capabilities are at the core of many common reasoning tasks, including graph traversals, clustering, data matching and data fusion, and many more related real-world scenarios.<\/jats:p><jats:p>However, the interplay of TGDs and EGDs is known to lead to undecidability or intractability of query answering in tractable Datalog+\/- fragments, like Warded Datalog+\/-, for which, in the sole presence of TGDs, query answering is PTIME in data complexity. Restrictions of equality constraints, like separable EGDs, have been studied, but all achieve decidability at the cost of limited expressive power, which makes them unsuitable for the mentioned tasks.<\/jats:p><jats:p>This paper introduces the class of \"harmless\" EGDs, that subsume separable EGDs and allow to model a very broad class of tasks. We contribute a sufficient syntactic condition for testing harmlessness, an undecidable task in general. We argue that in Warded Datalog+\/- with harmless EGDs, ontological reasoning is decidable and PTIME. From such theoretical underpinnings, we develop novel chase-based techniques for reasoning with harmless EGDs and present an implementation within the Vadalog system, a state-of-the-art Datalog-based reasoner. We provide full-scale experimental evaluation and comparative analysis.<\/jats:p>","DOI":"10.14778\/3565838.3565850","type":"journal-article","created":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T23:09:56Z","timestamp":1674256196000},"page":"3976-3988","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Exploiting the Power of Equality-Generating Dependencies in Ontological Reasoning"],"prefix":"10.14778","volume":"15","author":[{"given":"Luigi","family":"Bellomarini","sequence":"first","affiliation":[{"name":"Banca d'Italia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Benedetto","sequence":"additional","affiliation":[{"name":"Universit\u00e0 Roma Tre"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Brandetti","sequence":"additional","affiliation":[{"name":"TU Wien"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[{"name":"TU Wien &amp; University of Oxford"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,20]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"2022. The Neo4j Graph Data Science Library Manual v1.8. http:\/\/shorturl.at\/goprs [Online; 21-Sep-2022]. 2022. The Neo4j Graph Data Science Library Manual v1.8. http:\/\/shorturl.at\/goprs [Online; 21-Sep-2022]."},{"volume-title":"Foundations of Databases","author":"Abiteboul Serge","key":"e_1_2_1_2_1","unstructured":"Serge Abiteboul , Richard Hull , and Victor Vianu . 1995. Foundations of Databases . Addison-Wesley . Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley."},{"key":"e_1_2_1_3_1","volume-title":"20th Annual Symp. on Foundations of Computer Science. 218--223","author":"Aleliunas Romas","year":"1979","unstructured":"Romas Aleliunas , Richard M. Karp , Richard J. Lipton , Laszlo Lovasz , and Charles Rackoff . 1979 . Random walks, universal traversal sequences, and the complexity of maze problems . In 20th Annual Symp. on Foundations of Computer Science. 218--223 . Romas Aleliunas, Richard M. Karp, Richard J. Lipton, Laszlo Lovasz, and Charles Rackoff. 1979. Random walks, universal traversal sequences, and the complexity of maze problems. In 20th Annual Symp. on Foundations of Computer Science. 218--223."},{"key":"e_1_2_1_4_1","volume-title":"Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, and Geoffrey Washburn.","author":"Aref Molham","year":"2015","unstructured":"Molham Aref , Balder ten Cate , Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, and Geoffrey Washburn. 2015 . Design and Implementation of the LogicBlox System. In SIGMOD. 1371--1382. Molham Aref, Balder ten Cate, Todd J. Green, Benny Kimelfeld, Dan Olteanu, Emir Pasalic, Todd L. Veldhuizen, and Geoffrey Washburn. 2015. Design and Implementation of the LogicBlox System. In SIGMOD. 1371--1382."},{"key":"e_1_2_1_5_1","first-page":"108","article-title":"The IBench Integration Metadata Generator","volume":"9","author":"Arocena Patricia C.","year":"2015","unstructured":"Patricia C. Arocena , Boris Glavic , Radu Ciucanu , and Ren\u00e9e J. Miller . 2015 . The IBench Integration Metadata Generator . VLDB 9 , 3 (2015), 108 -- 119 . Patricia C. Arocena, Boris Glavic, Radu Ciucanu, and Ren\u00e9e J. Miller. 2015. The IBench Integration Metadata Generator. VLDB 9, 3 (2015), 108--119.","journal-title":"VLDB"},{"key":"e_1_2_1_6_1","unstructured":"Jean-Fran\u00e7ois Baget Michel Lecl\u00e8re and Marie-Laure Mugnier. 2010. Walking the Decidability Line for Rules with Existential Variables. In KR. Jean-Fran\u00e7ois Baget Michel Lecl\u00e8re and Marie-Laure Mugnier. 2010. Walking the Decidability Line for Rules with Existential Variables. In KR."},{"key":"e_1_2_1_7_1","unstructured":"Jean-Fran\u00e7ois Baget Marie-Laure Mugnier Sebastian Rudolph and Micha\u00ebl Thomazo. 2011. Walking the Complexity Lines for Generalized Guarded Existential Rules. In IJCAI. Jean-Fran\u00e7ois Baget Marie-Laure Mugnier Sebastian Rudolph and Micha\u00ebl Thomazo. 2011. Walking the Complexity Lines for Generalized Guarded Existential Rules. In IJCAI."},{"key":"e_1_2_1_8_1","volume-title":"Graal: A Toolkit for Query Answering with Existential Rules. In RuleML.","author":"Baget Jean-Fran\u00e7ois","year":"2015","unstructured":"Jean-Fran\u00e7ois Baget , Michel Lecl\u00e8re , Marie-Laure Mugnier , Swan Rocher , and Cl\u00e9ment Sipieter . 2015 . Graal: A Toolkit for Query Answering with Existential Rules. In RuleML. Jean-Fran\u00e7ois Baget, Michel Lecl\u00e8re, Marie-Laure Mugnier, Swan Rocher, and Cl\u00e9ment Sipieter. 2015. Graal: A Toolkit for Query Answering with Existential Rules. In RuleML."},{"key":"e_1_2_1_9_1","volume-title":"International Joint Conference on Rules and Reasoning. Springer, 267--275","author":"Baldazzi Teodoro","year":"2021","unstructured":"Teodoro Baldazzi , Luigi Bellomarini , Emanuel Sallinger , and Paolo Atzeni . 2021 . Eliminating Harmful Joins in Warded Datalog+\/- . In International Joint Conference on Rules and Reasoning. Springer, 267--275 . Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, and Paolo Atzeni. 2021. Eliminating Harmful Joins in Warded Datalog+\/-. In International Joint Conference on Rules and Reasoning. Springer, 267--275."},{"volume-title":"RuleML+RR (Lecture Notes in Computer Science)","author":"Baldazzi Teodoro","key":"e_1_2_1_10_1","unstructured":"Teodoro Baldazzi , Luigi Bellomarini , Emanuel Sallinger , and Paolo Atzeni . 2022. A Versatile Generator to Benchmark Warded Datalog+\/- Reasoning (to appear) . In RuleML+RR (Lecture Notes in Computer Science) . Springer . Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, and Paolo Atzeni. 2022. A Versatile Generator to Benchmark Warded Datalog+\/- Reasoning (to appear). In RuleML+RR (Lecture Notes in Computer Science). Springer."},{"key":"e_1_2_1_11_1","volume-title":"LNCS","volume":"7494","author":"Barcel\u00f3 Pablo","year":"2012","unstructured":"Pablo Barcel\u00f3 and Reinhard Pichler ( Eds .). 2012 . Datalog in Academia and Industry . LNCS , Vol. 7494 . Springer. Pablo Barcel\u00f3 and Reinhard Pichler (Eds.). 2012. Datalog in Academia and Industry. LNCS, Vol. 7494. Springer."},{"key":"e_1_2_1_12_1","volume-title":"http:\/\/shorturl.at\/agij2 [Online","author":"Bellomarini Luigi","year":"2022","unstructured":"Luigi Bellomarini , Davide Benedetto , Matteo Brandetti , and Emanuel Sallinger . 2022. Tech. Appendix. http:\/\/shorturl.at\/agij2 [Online ; 21- Sep- 2022 ]. Luigi Bellomarini, Davide Benedetto, Matteo Brandetti, and Emanuel Sallinger. 2022. Tech. Appendix. http:\/\/shorturl.at\/agij2 [Online; 21-Sep-2022]."},{"key":"e_1_2_1_13_1","volume-title":"Vadalog: A modern architecture for automated reasoning with large knowledge graphs. Information Systems","author":"Bellomarini Luigi","year":"2020","unstructured":"Luigi Bellomarini , Davide Benedetto , Georg Gottlob , and Emanuel Sallinger . 2020 . Vadalog: A modern architecture for automated reasoning with large knowledge graphs. Information Systems (2020), 101528. Luigi Bellomarini, Davide Benedetto, Georg Gottlob, and Emanuel Sallinger. 2020. Vadalog: A modern architecture for automated reasoning with large knowledge graphs. Information Systems (2020), 101528."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/3213880.3213888"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Michael Benedikt George Konstantinidis Giansalvatore Mecca Boris Motik Paolo Papotti Donatello Santoro and Efthymia Tsamoura. 2017. Benchmarking the Chase. In PODS. 37--52. Michael Benedikt George Konstantinidis Giansalvatore Mecca Boris Motik Paolo Papotti Donatello Santoro and Efthymia Tsamoura. 2017. Benchmarking the Chase. In PODS. 37--52.","DOI":"10.1145\/3034786.3034796"},{"key":"e_1_2_1_16_1","volume-title":"https:\/\/github.com\/dbunibas\/chasebench. [Online","author":"Benedikt Michael","year":"2022","unstructured":"Michael Benedikt , George Konstantinidis , Giansalvatore Mecca , Boris Motik , Paolo Papotti , Donatello Santoro , and Efthymia Tsamoura . 2017. ChaseBench. https:\/\/github.com\/dbunibas\/chasebench. [Online ; 21- Sep- 2022 ]. Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, and Efthymia Tsamoura. 2017. ChaseBench. https:\/\/github.com\/dbunibas\/chasebench. [Online; 21-Sep-2022]."},{"key":"e_1_2_1_17_1","first-page":"1553","article-title":"PDQ: Proof-Driven Query Answering over Web-Based Data","volume":"7","author":"Benedikt Michael","year":"2014","unstructured":"Michael Benedikt , Julien Leblay , and Efthymia Tsamoura . 2014 . PDQ: Proof-Driven Query Answering over Web-Based Data . VLDB 7 , 13 (2014), 1553 -- 1556 . Michael Benedikt, Julien Leblay, and Efthymia Tsamoura. 2014. PDQ: Proof-Driven Query Answering over Web-Based Data. VLDB 7, 13 (2014), 1553--1556.","journal-title":"VLDB"},{"key":"e_1_2_1_18_1","first-page":"6","article-title":"Querying with Access Patterns and Integrity Constraints","volume":"8","author":"Benedikt Michael","year":"2015","unstructured":"Michael Benedikt , Julien Leblay , and Efthymia Tsamoura . 2015 . Querying with Access Patterns and Integrity Constraints . VLDB 8 , 6 (feb 2015), 690--701. Michael Benedikt, Julien Leblay, and Efthymia Tsamoura. 2015. Querying with Access Patterns and Integrity Constraints. VLDB 8, 6 (feb 2015), 690--701.","journal-title":"VLDB"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Michael Benedikt Boris Motik and Efthymia Tsamoura. 2018. Goal-Driven Query Answering for Existential Rules with Equality. In AAAI. Article 215 10 pages. Michael Benedikt Boris Motik and Efthymia Tsamoura. 2018. Goal-Driven Query Answering for Existential Rules with Equality. In AAAI. Article 215 10 pages.","DOI":"10.1609\/aaai.v32i1.11563"},{"key":"e_1_2_1_20_1","volume-title":"Data fusion. ACM computing surveys (CSUR) 41, 1","author":"Bleiholder Jens","year":"2009","unstructured":"Jens Bleiholder and Felix Naumann . 2009. Data fusion. ACM computing surveys (CSUR) 41, 1 ( 2009 ), 1--41. Jens Bleiholder and Felix Naumann. 2009. Data fusion. ACM computing surveys (CSUR) 41, 1 (2009), 1--41."},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Angela Bonifati Ioana Ileana and Michele Linardi. 2016. Functional Dependencies Unleashed for Scalable Data Exchange. In SSDBM. Article 2 12 pages. Angela Bonifati Ioana Ileana and Michele Linardi. 2016. Functional Dependencies Unleashed for Scalable Data Exchange. In SSDBM. Article 2 12 pages.","DOI":"10.1145\/2949689.2949698"},{"key":"e_1_2_1_22_1","unstructured":"Max Bramer. 2007. Clustering. Springer. Max Bramer. 2007. Clustering. Springer."},{"key":"e_1_2_1_23_1","volume-title":"Deep Separability of Ontological Constraints. CoRR abs\/1312.5914","author":"Cal\u00ec Andrea","year":"2013","unstructured":"Andrea Cal\u00ec , Marco Console , and Riccardo Frosini . 2013. Deep Separability of Ontological Constraints. CoRR abs\/1312.5914 ( 2013 ). Andrea Cal\u00ec, Marco Console, and Riccardo Frosini. 2013. Deep Separability of Ontological Constraints. CoRR abs\/1312.5914 (2013)."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591252"},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Andrea Cal\u00ec Georg Gottlob and Thomas Lukasiewicz. 2009. A general datalog-based framework for tractable query answering over ontologies. In PODS. 77--86. Andrea Cal\u00ec Georg Gottlob and Thomas Lukasiewicz. 2009. A general datalog-based framework for tractable query answering over ontologies. In PODS. 77--86.","DOI":"10.1145\/1559795.1559809"},{"key":"e_1_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Andrea Cal\u00ec Georg Gottlob Thomas Lukasiewicz Bruno Marnette and Andreas Pieris. 2010. Datalog+\/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In LICS. 228--242. Andrea Cal\u00ec Georg Gottlob Thomas Lukasiewicz Bruno Marnette and Andreas Pieris. 2010. Datalog+\/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In LICS. 228--242.","DOI":"10.1109\/LICS.2010.27"},{"volume-title":"On the Interaction of Existential Rules and Equality Constraints in Ontology Querying","author":"Cal\u00ec Andrea","key":"e_1_2_1_27_1","unstructured":"Andrea Cal\u00ec , Georg Gottlob , Giorgio Orsi , and Andreas Pieris . 2012. On the Interaction of Existential Rules and Equality Constraints in Ontology Querying . Springer-Verlag , Berlin, Heidelberg , 117--133. Andrea Cal\u00ec, Georg Gottlob, Giorgio Orsi, and Andreas Pieris. 2012. On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. Springer-Verlag, Berlin, Heidelberg, 117--133."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920912"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.09.006"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.08.002"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Andrea Cal\u00ec Domenico Lembo and Riccardo Rosati. 2003. On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In SIGMOD. 260--271. Andrea Cal\u00ec Domenico Lembo and Riccardo Rosati. 2003. On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases. In SIGMOD. 260--271.","DOI":"10.1145\/773153.773179"},{"key":"e_1_2_1_32_1","volume-title":"AMW","volume":"749","author":"Cal\u00ec Andrea","year":"2011","unstructured":"Andrea Cal\u00ec and Andreas Pieris . 2011 . On Equality-Generating Dependencies in Ontology Querying - Preliminary Report . In AMW , Vol. 749 . CEUR-WS.org. Andrea Cal\u00ec and Andreas Pieris. 2011. On Equality-Generating Dependencies in Ontology Querying - Preliminary Report. In AMW, Vol. 749. CEUR-WS.org."},{"volume-title":"Checking Chase Termination over Ontologies of Existential Rules with Equality","author":"Carral David","key":"e_1_2_1_33_1","unstructured":"David Carral and Jacopo Urbani . 2020. Checking Chase Termination over Ontologies of Existential Rules with Equality . In AAAI. AAAI Press , 2758--2765. David Carral and Jacopo Urbani. 2020. Checking Chase Termination over Ontologies of Existential Rules with Equality. In AAAI. AAAI Press, 2758--2765."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1137\/0214049"},{"key":"e_1_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Alin Deutsch Alan Nash and Jeff Remmel. 2008. The Chase Revisited. In SIGMOD. 149--158. Alin Deutsch Alan Nash and Jeff Remmel. 2008. The Chase Revisited. In SIGMOD. 149--158.","DOI":"10.1145\/1376916.1376938"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1085304.1085309"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1969.10501049"},{"key":"e_1_2_1_38_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education.","author":"Gamma E.","year":"1994","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . 1994 . Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. 1994. Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education."},{"key":"e_1_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Floris Geerts Giansalvatore Mecca Paolo Papotti and Donatello Santoro. 2014. Mapping and cleaning. In ICDE. 232--243. Floris Geerts Giansalvatore Mecca Paolo Papotti and Donatello Santoro. 2014. Mapping and cleaning. In ICDE. 232--243.","DOI":"10.1109\/ICDE.2014.6816654"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14778\/2733004.2733031"},{"key":"e_1_2_1_41_1","unstructured":"Georg Gottlob and Andreas Pieris. 2015. Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. In IJCAI. 2999--3007. Georg Gottlob and Andreas Pieris. 2015. Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. In IJCAI. 2999--3007."},{"key":"e_1_2_1_42_1","unstructured":"Goetz Graefe and William J McKenna. 1993. The volcano optimizer generator: Extensibility and efficient search. In ICDE. 209--218. Goetz Graefe and William J McKenna. 1993. The volcano optimizer generator: Extensibility and efficient search. In ICDE. 209--218."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2566972.2566991"},{"volume-title":"Distributed Company Control in Company Shareholding Graphs","author":"Gulino Andrea","key":"e_1_2_1_44_1","unstructured":"Andrea Gulino , Stefano Ceri , Georg Gottlob , Emanuel Sallinger , and Luigi Bellomarini . 2021. Distributed Company Control in Company Shareholding Graphs . In ICDE. IEEE , 2637--2648. Andrea Gulino, Stefano Ceri, Georg Gottlob, Emanuel Sallinger, and Luigi Bellomarini. 2021. Distributed Company Control in Company Shareholding Graphs. In ICDE. IEEE, 2637--2648."},{"volume-title":"Proceedings of the 7th Python in Science Conference, Ga\u00ebl Varoquaux, Travis Vaught, and Jarrod Millman (Eds.). Pasadena, CA USA, 11--15","author":"Hagberg Aric A.","key":"e_1_2_1_45_1","unstructured":"Aric A. Hagberg , Daniel A. Schult , and Pieter J. Swart . 2008. Exploring Network Structure, Dynamics, and Function using NetworkX . In Proceedings of the 7th Python in Science Conference, Ga\u00ebl Varoquaux, Travis Vaught, and Jarrod Millman (Eds.). Pasadena, CA USA, 11--15 . Aric A. Hagberg, Daniel A. Schult, and Pieter J. Swart. 2008. Exploring Network Structure, Dynamics, and Function using NetworkX. In Proceedings of the 7th Python in Science Conference, Ga\u00ebl Varoquaux, Travis Vaught, and Jarrod Millman (Eds.). Pasadena, CA USA, 11--15."},{"key":"e_1_2_1_46_1","volume-title":"http:\/\/shorturl.at\/cemJV [Online","author":"Hipp Richard D","year":"2022","unstructured":"Richard D Hipp . 2020. SQLite. http:\/\/shorturl.at\/cemJV [Online ; 21- Sep- 2022 ]. Richard D Hipp. 2020. SQLite. http:\/\/shorturl.at\/cemJV [Online; 21-Sep-2022]."},{"key":"e_1_2_1_47_1","volume-title":"ILOG: Declarative Creation and Manipulation of Object Identifiers. In VLDB. 455--468.","author":"Hull Richard","year":"1990","unstructured":"Richard Hull and Masatoshi Yoshikawa . 1990 . ILOG: Declarative Creation and Manipulation of Object Identifiers. In VLDB. 455--468. Richard Hull and Masatoshi Yoshikawa. 1990. ILOG: Declarative Creation and Manipulation of Object Identifiers. In VLDB. 455--468."},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Srijan Kumar Xikun Zhang and Jure Leskovec. 2019. Predicting Dynamic Embedding Trajectory in Temporal Interaction Networks. In SIGKKD. ACM. Srijan Kumar Xikun Zhang and Jure Leskovec. 2019. Predicting Dynamic Embedding Trajectory in Temporal Interaction Networks. In SIGKKD. ACM.","DOI":"10.1145\/3292500.3330895"},{"volume-title":"Efficiently Computable Datalog&exist","author":"Leone Nicola","key":"e_1_2_1_49_1","unstructured":"Nicola Leone , Marco Manna , Giorgio Terracina , and Pierfrancesco Veltri . 2012. Efficiently Computable Datalog&exist ; Programs. In KR (Rome, Italy) . 13--23. Nicola Leone, Marco Manna, Giorgio Terracina, and Pierfrancesco Veltri. 2012. Efficiently Computable Datalog&exist; Programs. In KR (Rome, Italy). 13--23."},{"key":"e_1_2_1_50_1","article-title":"Fast Query Answering over Existential Rules","volume":"20","author":"Leone Nicola","year":"2019","unstructured":"Nicola Leone , Marco Manna , Giorgio Terracina , and Pierfrancesco Veltri . 2019 . Fast Query Answering over Existential Rules . ACM Trans. Comput. Logic 20 , 2, Article 12 (2019). Nicola Leone, Marco Manna, Giorgio Terracina, and Pierfrancesco Veltri. 2019. Fast Query Answering over Existential Rules. ACM Trans. Comput. Logic 20, 2, Article 12 (2019).","journal-title":"ACM Trans. Comput. Logic"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_2_1_52_1","volume-title":"Graph Evolution: Densification and Shrinking Diameters. 1, 1","author":"Leskovec Jure","year":"2007","unstructured":"Jure Leskovec , Jon Kleinberg , and Christos Faloutsos . 2007 . Graph Evolution: Densification and Shrinking Diameters. 1, 1 (2007). Jure Leskovec, Jon Kleinberg, and Christos Faloutsos. 2007. Graph Evolution: Densification and Shrinking Diameters. 1, 1 (2007)."},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Bruno Marnette. 2009. Generalized schema-mappings: from termination to tractability. In PODS. ACM 13--22. Bruno Marnette. 2009. Generalized schema-mappings: from termination to tractability. In PODS. ACM 13--22.","DOI":"10.1145\/1559795.1559799"},{"key":"e_1_2_1_55_1","volume-title":"McAuley and Jure Leskovec","author":"Julian","year":"2012","unstructured":"Julian J. McAuley and Jure Leskovec . 2012 . Learning to Discover Social Circles in Ego Networks. In NIPS. 548--556. Julian J. McAuley and Jure Leskovec. 2012. Learning to Discover Social Circles in Ego Networks. In NIPS. 548--556."},{"key":"e_1_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Giansalvatore Mecca Paolo Papotti and Donatello Santoro. 2014. IQ-METER-an evaluation tool for data-transformation systems. In ICDE. 1218--1221. Giansalvatore Mecca Paolo Papotti and Donatello Santoro. 2014. IQ-METER-an evaluation tool for data-transformation systems. In ICDE. 1218--1221.","DOI":"10.1109\/ICDE.2014.6816745"},{"key":"e_1_2_1_57_1","volume-title":"Bertossi","author":"Milani Mostafa","year":"2016","unstructured":"Mostafa Milani and Leopoldo E . Bertossi . 2016 . Extending Weakly-Sticky Datalog\u00b1: Query- Answering Tractability and Optimizations. In RR (Lecture Notes in Computer Science), Vol. 9898 . Springer , 128--143. Mostafa Milani and Leopoldo E. Bertossi. 2016. Extending Weakly-Sticky Datalog\u00b1: Query-Answering Tractability and Optimizations. In RR (Lecture Notes in Computer Science), Vol. 9898. Springer, 128--143."},{"key":"e_1_2_1_58_1","doi-asserted-by":"crossref","unstructured":"Boris Motik Yavor Nenov Robert Piro Ian Horrocks and Dan Olteanu. 2014. Parallel Materialisation of Datalog Programs in Centralised Main-Memory RDF Systems. In AAAI. 129--137. Boris Motik Yavor Nenov Robert Piro Ian Horrocks and Dan Olteanu. 2014. Parallel Materialisation of Datalog Programs in Centralised Main-Memory RDF Systems. In AAAI. 129--137.","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"e_1_2_1_59_1","volume-title":"Datalography: Scaling datalog graph analytics on graph processing systems. In BigData","author":"Moustafa Walaa Eldin","year":"2016","unstructured":"Walaa Eldin Moustafa , Vicky Papavasileiou , Ken Yocum , and Alin Deutsch . 2016 . Datalography: Scaling datalog graph analytics on graph processing systems. In BigData . IEEE , 56--65. Walaa Eldin Moustafa, Vicky Papavasileiou, Ken Yocum, and Alin Deutsch. 2016. Datalography: Scaling datalog graph analytics on graph processing systems. In BigData. IEEE, 56--65."},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature03607"},{"key":"e_1_2_1_61_1","first-page":"1606","article-title":"DEMo","volume":"2","author":"Pichler Reinhard","year":"2009","unstructured":"Reinhard Pichler and Vadim Savenkov . 2009 . DEMo : Data Exchange Modeling Tool. VLDB 2 , 2 (2009), 1606 -- 1609 . Reinhard Pichler and Vadim Savenkov. 2009. DEMo: Data Exchange Modeling Tool. VLDB 2, 2 (2009), 1606--1609.","journal-title":"Data Exchange Modeling Tool. VLDB"},{"key":"e_1_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Omer Reingold. 2005. Undirected ST-connectivity in log-space. Electronic Colloquium on Computational Complexity - ECCC 376--385. Omer Reingold. 2005. Undirected ST-connectivity in log-space. Electronic Colloquium on Computational Complexity - ECCC 376--385.","DOI":"10.1145\/1060590.1060647"},{"key":"e_1_2_1_63_1","doi-asserted-by":"crossref","unstructured":"Victor Vianu. 2021. Datalog Unchained. In PODS. ACM 57--69. Victor Vianu. 2021. Datalog Unchained. In PODS. ACM 57--69.","DOI":"10.1145\/3452021.3458815"},{"volume-title":"Graph databases","author":"Webber Jim","key":"e_1_2_1_64_1","unstructured":"Jim Webber , Emil Eifrem , and Ian Robinson . 2013. Graph databases . O'Reilly Media, Inc orporated. Jim Webber, Emil Eifrem, and Ian Robinson. 2013. Graph databases. O'Reilly Media, Incorporated."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3565838.3565850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T18:13:25Z","timestamp":1728756805000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3565838.3565850"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":64,"journal-issue":{"issue":"13","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["10.14778\/3565838.3565850"],"URL":"https:\/\/doi.org\/10.14778\/3565838.3565850","relation":{},"ISSN":["2150-8097"],"issn-type":[{"type":"print","value":"2150-8097"}],"subject":[],"published":{"date-parts":[[2022,9]]},"assertion":[{"value":"2023-01-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}