Boundedness is undecidable for datalog programs with a single recursive rule, Inf. Process. Lett, vol.32, issue.6, pp.281-287, 1989. ,
, Foundations of Databases: The Logical Level, 1995.
Walking the decidability line for rules with existential variables, 2010. ,
Extending decidable cases for rules with existential variables, IJCAI 2009, pp.677-682, 2009. ,
On Rules with Existential Variables: Walking the Decidability Line, Artificial Intelligence, vol.175, issue.9, pp.1620-1654, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
Taming the infinite chase: Query answering under expressive relational constraints, KR'08, pp.70-80, 2008. ,
DL-Lite: Tractable description logics for ontologies, AAAI, pp.602-607, 2005. ,
A general datalog-based framework for tractable query answering over ontologies, PODS 2009, pp.77-86, 2009. ,
The chase revisited, PODS, pp.149-158, 2008. ,
, Data Exchange: Semantics and Query Answering. Theor. Comput. Sci, vol.336, issue.1, p.14, 2005.
All-instances termination of chase is undecidable, ICALP 2014 Proceedings, Part II, pp.293-304, 2014. ,
Undecidable optimization problems for database logic programs, J. ACM, vol.40, issue.3, pp.683-713, 1993. ,
Andreas Pieris, and Mantas Simkus. Datalog and its extensions for semantic web databases, Reasoning Web, p.94, 2012. ,
About boundedness for some datalog and datalog neg programs, J. Log. Comput, vol.4, issue.4, pp.375-403, 1994. ,
URL : https://hal.archives-ouvertes.fr/hal-00020727
Undecidable boundedness problems for datalog programs, J. Log. Program, vol.25, issue.2, pp.163-190, 1995. ,
Complexity boundaries for Horn description logics, Proc. of AAAI, pp.452-457, 2007. ,
Efficiently computable Datalog? programs, Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, KR'12, pp.13-23, 2012. ,
On bounded positive existential rules, Proceedings of the 29th International Workshop on Description Logics, p.9, 2016. ,
Conjunctive query answering in the description logic E L using a relational database system, Proc. of IJCAI, pp.2070-2075 ,
Achilles, turtle, and undecidable boundedness problems for small datalog programs, SIAM J. Comput, vol.29, issue.1, pp.231-257, 1999. ,
Generalized schema-mappings: from termination to tractability, PODS, p.14, 2009. ,
DOI : 10.1145/1559795.1559799
An introduction to ontology-based query answering with existential rules, Reasoning Web, pp.245-278, 2014. ,
DOI : 10.1007/978-3-319-10587-1_6
URL : https://hal.archives-ouvertes.fr/lirmm-01089990
Querying Existential Rule Knowledge Bases: Decidability and Complexity. (Interrogation de Bases de Connaissances avec R` egles Existentielles : Décidabilité et Complexité), 2016. ,