S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases: The Logical Level, 1995.

J. Baget, F. Garreau, M. Mugnier, and S. Rocher, Extending acyclicity notions for existential rules (long version) CoRR abs/1407, 2014.

J. Baget, F. Garreau, M. Mugnier, and S. Rocher, Revisiting chase termination for existential rules and their extension to nonmonotonic negation, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01097136

J. F. Baget, M. Lecì-ere, M. L. Mugnier, and E. Salvat, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10, pp.9-10, 2011.
DOI : 10.1016/j.artint.2011.03.002

URL : https://hal.archives-ouvertes.fr/lirmm-00587012

J. Baget, M. Lecì-ere, and M. Mugnier, On rules with existential variables: Walking the decidability line, Artificial Intelligence, vol.175, issue.9-10, p.2010, 2010.
DOI : 10.1016/j.artint.2011.03.002

URL : https://hal.archives-ouvertes.fr/lirmm-00587012

J. Baget, M. Lecì-ere, M. Mugnier, and E. Salvat, Extending decidable cases for rules with existential variables, pp.677-682, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00410130

J. Baget, M. Mugnier, S. Rudolph, and M. Thomazo, Walking the complexity lines for generalized guarded existential rules, IJCAI 2011, pp.712-717, 2011.
URL : https://hal.archives-ouvertes.fr/lirmm-00618081

C. Beeri and M. Y. Vardi, A Proof Procedure for Data Dependencies, Journal of the ACM, vol.31, issue.4, pp.718-741, 1984.
DOI : 10.1145/1634.1636

A. Caì-i, G. Gottlob, and M. Kifer, Taming the infinite chase: Query answering under expressive relational constraints, KR'08, pp.70-80, 2008.

A. Caì-i, G. Gottlob, and A. Pieris, Query answering under non-guarded rules in datalog+, RR'10, pp.1-17, 2010.

A. Caì-i, G. Gottlob, and M. Kifer, Taming the infinite chase: Query answering under expressive relational constraints, J. Artif. Intell. Res. (JAIR), vol.48, pp.115-174, 2013.

A. Caì-i, G. Gottlob, and T. Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, pp.77-86, 2009.

D. Calvanese, G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, DL-Lite: Tractable description logics for ontologies, pp.602-607, 2005.

A. K. Chandra and M. Y. Vardi, The Implication Problem for Functional and Inclusion Dependencies is Undecidable, SIAM Journal on Computing, vol.14, issue.3, pp.671-677, 1985.
DOI : 10.1137/0214049

S. S. Cosmadakis, H. Gaifman, P. C. Kanellakis, and M. Y. Vardi, Decidable optimization problems for database logic programs (preliminary report), ACM Symposium on Theory of Computing, pp.477-490, 1988.

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

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 '08, pp.149-158, 2008.
DOI : 10.1145/1376916.1376938

G. Gottlob, G. Orsi, and A. Pieris, Query Rewriting and Optimization for Ontological Databases, ACM Transactions on Database Systems, vol.39, issue.3
DOI : 10.1145/2638546

M. König, M. Lecì-ere, M. Mugnier, and M. Thomazo, On the Exploration of the Query Rewriting Space with Existential Rules, Web Reasoning and Rule Systems -RR 2013, pp.123-137, 2013.
DOI : 10.1007/978-3-642-39666-3_10

M. König, M. Lecì-ere, M. Mugnier, and M. Thomazo, Sound, complete and minimal UCQ-rewriting for existential rules, Semantic Web, vol.6, issue.5, pp.451-475, 2015.
DOI : 10.3233/SW-140153

M. Krötzsch and S. Rudolph, Extending decidable existential rules by joining acyclicity and guardedness, Proc. of IJCAI, pp.963-968, 2011.

M. Krötzsch, S. Rudolph, and P. Hitzler, Complexity boundaries for Horn description logics, Proc. of AAAI, pp.452-457, 2007.

C. Lutz, D. Toman, and F. Wolter, Conjunctive query answering in the description logic EL using a relational database system, Proc. of IJCAI, pp.2070-2075, 2009.

B. Marnette, Generalized schema-mappings, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '09, pp.13-22, 2009.
DOI : 10.1145/1559795.1559799

M. Thomazo, Conjunctive Query Answering Under Existential Rules -Decidability, Complexity , and Algorithms, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00925722