References

[BLMS11] Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. On rules with existential variables: Walking the decidability line. Artif. Intell., 175(9-10):1620–1654, 2011. doi:10.1016/J.ARTINT.2011.03.002, URL: https://doi.org/10.1016/j.artint.2011.03.002. [1]
[BV84] Catriel Beeri, Moshe Y. Vardi. A Proof Procedure for Data Dependencies. J. ACM, 31(4):718–741, 1984. doi:10.1145/1634.1636, URL: https://doi.org/10.1145/1634.1636. [1]
[BMMP16] Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris. Guarded-Based Disjunctive Tuple-Generating Dependencies. ACM Trans. Database Syst., 41(4):27:1–27:45, 2016. doi:10.1145/2976736, URL: https://doi.org/10.1145/2976736. [1]
[CDK17] David Carral, Irina Dragoste, Markus Krötzsch. Restricted Chase (Non)Termination for Existential Rules with Disjunctions. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, 922–928. ijcai.org, 2017. doi:10.24963/IJCAI.2017/128, URL: https://doi.org/10.24963/ijcai.2017/128. [1] [2]
[CGLT25] David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo. Restricted Chase Termination: You Want More than Fairness. Proc. ACM Manag. Data, 2025. doi:10.1145/3725246.
[CGHK+13] Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang. Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. J. Artif. Intell. Res., 47:741–808, 2013. doi:10.1613/JAIR.3949, URL: https://doi.org/10.1613/jair.3949. [1]
[DNR08] Alin Deutsch, Alan Nash, Jeffrey B. Remmel. The chase revisited. In Maurizio Lenzerini, Domenico Lembo, editors, Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, 149–158. ACM, 2008. doi:10.1145/1376916.1376938, URL: https://doi.org/10.1145/1376916.1376938. [1]
[GC23a] Lukas Gerlach, David Carral. Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination. In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, 301–310. 2023. doi:10.24963/KR.2023/30, URL: https://doi.org/10.24963/kr.2023/30. [1]
[GC23b] Lukas Gerlach, David Carral. General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase. In Brian Williams, Yiling Chen, Jennifer Neville, editors, Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, 6372–6379. AAAI Press, 2023. doi:10.1609/AAAI.V37I5.25784, URL: https://doi.org/10.1609/aaai.v37i5.25784. [1] [2]
[GLMON25] Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja. About the Multi-Head Linear Restricted Chase Termination. In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 346–355. Oct 2025. doi:10.24963/kr.2025/34, URL: https://doi.org/10.24963/kr.2025/34.
[Kro20] Markus Krötzsch. Computing Cores for Existential Rules with the Standard Chase and ASP. In Diego Calvanese, Esra Erdem, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, 603–613. 2020. doi:10.24963/KR.2020/60, URL: https://doi.org/10.24963/kr.2020/60. [1] [2]
[Mar09] Bruno Marnette. Generalized schema-mappings: from termination to tractability. In Jan Paredaens, Jianwen Su, editors, Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, 13–22. ACM, 2009. doi:10.1145/1559795.1559799, URL: https://doi.org/10.1145/1559795.1559799. [1]