Foundations of Databases: The Logical Level, 1995. ,
Extending acyclicity notions for existential rules (long version) CoRR abs/1407, 2014. ,
Revisiting chase termination for existential rules and their extension to nonmonotonic negation, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01097136
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
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
Extending decidable cases for rules with existential variables, pp.677-682, 2009. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00410130
Walking the complexity lines for generalized guarded existential rules, IJCAI 2011, pp.712-717, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
A Proof Procedure for Data Dependencies, Journal of the ACM, vol.31, issue.4, pp.718-741, 1984. ,
DOI : 10.1145/1634.1636
Taming the infinite chase: Query answering under expressive relational constraints, KR'08, pp.70-80, 2008. ,
Query answering under non-guarded rules in datalog+, RR'10, pp.1-17, 2010. ,
Taming the infinite chase: Query answering under expressive relational constraints, J. Artif. Intell. Res. (JAIR), vol.48, pp.115-174, 2013. ,
A general datalog-based framework for tractable query answering over ontologies, pp.77-86, 2009. ,
DL-Lite: Tractable description logics for ontologies, pp.602-607, 2005. ,
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
Decidable optimization problems for database logic programs (preliminary report), ACM Symposium on Theory of Computing, pp.477-490, 1988. ,
Acyclicity notions for existential rules and their application to query answering in ontologies, J. Art. Intell. Res. (JAIR), vol.47, pp.741-808, 2013. ,
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
Query Rewriting and Optimization for Ontological Databases, ACM Transactions on Database Systems, vol.39, issue.3 ,
DOI : 10.1145/2638546
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
Sound, complete and minimal UCQ-rewriting for existential rules, Semantic Web, vol.6, issue.5, pp.451-475, 2015. ,
DOI : 10.3233/SW-140153
Extending decidable existential rules by joining acyclicity and guardedness, Proc. of IJCAI, pp.963-968, 2011. ,
Complexity boundaries for Horn description logics, Proc. of AAAI, pp.452-457, 2007. ,
Conjunctive query answering in the description logic EL using a relational database system, Proc. of IJCAI, pp.2070-2075, 2009. ,
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
Conjunctive Query Answering Under Existential Rules -Decidability, Complexity , and Algorithms, 2013. ,
URL : https://hal.archives-ouvertes.fr/tel-00925722