J. Baget, M. Leclère, M. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artif. Intell, vol.175, issue.9, pp.1620-1654, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00587012

J. Baget, M. Mugnier, S. Rudolph, and M. Thomazo, Walking the complexity lines for generalized guarded existential rules, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.712-717, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618081

C. Beeri and M. Y. Vardi, The implication problem for data dependencies, Automata, Languages and Programming, 8th Colloquium, vol.115, pp.73-85, 1981.

D. Carral, I. Dragoste, and M. Krötzsch, Detecting chase (non)termination for existential rules with disjunctions, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, pp.922-928, 2017.

G. D. Cdl-+-07]-diego-calvanese, D. Giacomo, M. Lembo, R. Lenzerini, and . Rosati, Tractable reasoning and efficient query answering in description logics: The DL-Lite family, J. Autom. Reasoning, vol.39, issue.3, pp.385-429, 2007.

A. Calì, G. Gottlob, and T. Lukasiewicz, Datalog extensions for tractable query answering over ontologies, Semantic Web Information Management-A Model-Based Perspective, pp.249-279

. Springer, , 2009.

A. Calì, G. Gottlob, and T. Lukasiewicz, A general datalogbased framework for tractable query answering over ontologies, J. Web Sem, vol.14, pp.57-83, 2012.

M. Calautti, G. Gottlob, and A. Pieris, Chase termination for guarded existential rules, Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, pp.91-103, 2015.

A. Deutsch, A. Nash, and J. B. Remmel, The chase revisited, Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, pp.149-158, 2008.

R. Fagin, A normal form for relational databases that is based on domians and keys, ACM Trans. Database Syst, vol.6, issue.3, pp.387-415, 1981.

R. Fagin, G. Phokion, R. J. Kolaitis, L. Miller, and . Popa, Data exchange: semantics and query answering, Theor. Comput. Sci, vol.336, issue.1, pp.89-124, 2005.

G. Grau, I. Horrocks, M. Krötzsch, C. Kupke, D. Magka et al., Acyclicity notions for existential rules and their application to query answering in ontologies, J. Artif. Intell. Res, vol.47, pp.741-808, 2013.

T. Gogacz and J. Marcinkowski, All-instances termination of chase is undecidable, Automata, Languages, and Programming41st International Colloquium, ICALP, vol.8573, pp.293-304, 2014.

G. Grahne and A. Onet, Anatomy of the chase, Fundam. Inform, vol.157, issue.3, pp.221-270, 2018.

Y. Alon and . Halevy, Answering queries using views: A survey, VLDB J, vol.10, issue.4, pp.270-294, 2001.