On the Chase for All Provenance Paths with Existential Rules
暂无分享,去创建一个
[1] Parag Agrawal,et al. Trio: a system for data, uncertainty, and lineage , 2006, VLDB.
[2] S. Pallottino,et al. Hyperpaths and shortest hyperpaths , 1989 .
[3] Divesh Srivastava,et al. Explaining Program Execution in Deductive Systems , 1993, DOOD.
[4] Giorgio Gallo,et al. Directed Hypergraphs and Applications , 1993, Discret. Appl. Math..
[5] Andrea Calì,et al. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.
[6] Rafael Caballero,et al. A Theoretical Framework for the Declarative Debugging of Datalog Programs , 2008, SDKB.
[7] Andrea Calì,et al. A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..
[8] Letizia Tanca,et al. What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..
[9] James Cheney,et al. Provenance management in curated databases , 2006, SIGMOD Conference.
[10] Antonis C. Kakas,et al. The role of abduction in logic programming , 1998 .
[11] Jennifer Widom,et al. Data Lineage: A Survey , 2009 .
[12] Abdelraouf Hecham,et al. Argumentation-Based Defeasible Reasoning For Existential Rules , 2017, AAMAS.
[13] Ronald Fagin,et al. Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..
[14] Andrea Calì,et al. A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.
[15] Jean-François Baget,et al. Extending Acyclicity Notions for Existential Rules , 2014, ECAI.
[16] Bruno Marnette,et al. Generalized schema-mappings: from termination to tractability , 2009, PODS.
[17] Usama M. Fayyad,et al. Knowledge Discovery in Databases: An Overview , 1997, ILP.
[18] Christopher Ré,et al. Approximate lineage for probabilistic databases , 2008, Proc. VLDB Endow..