Datalog and Recursive Query Processing (original) (raw)
Related papers
What you Always Wanted to Know About Datalog (And Never Dared to Ask
IEEE Transactions on Knowledge and Data Engineering, 1989
Datalog and emerging applications
Proceedings of the 2011 international conference on Management of data - SIGMOD '11, 2011
Extending the power of datalog recursion
The VLDB Journal, 2012
Parallel bottom-up processing of datalog queries
The Journal of Logic Programming, 1992
Logic Programming in DataLog: A Long Tour from Theory to Practice
2008
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic, 2002
First-Order Incremental Evaluation of Datalog Queries
Workshops in Computing, 1994
Enhancing the magic-set method for disjunctive datalog programs
2004
1991
Nonrecursive incremental evaluation of Datalog queries
Annals of Mathematics and Artificial Intelligence, 1995
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
arXiv (Cornell University), 2011
On the Equivalence of Recursive and Nonrecursive Datalog Programs
Journal of Computer and System Sciences, 1997
Using Branching-Time Logic to Optimize an Extended Class of Datalog Queries?
Magic Sets for disjunctive Datalog programs
Artificial Intelligence, 2012
A Closed Form for Datalog Queries with Integer Order
Proc. 3rd International Conference on Database Theory (ICDT), 1990
Circumscribing DATALOG: Expressive Power and Complexity
Theoretical Computer Science, 1998
Datalog Queries Distributing over Components
Datalog+/-: A Family of Languages for Ontology Querying
Datalog Reloaded, 2011
Efficiently computable datalog^E programs
The Expressive Powers of Stable Models for Bound and Unbound DATALOG Queries
Journal of Computer and System Sciences, 1997
A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm
Lecture Notes in Computer Science, 2016
Dynamic Magic Sets for Disjunctive Datalog Programs
2010
Practical Applications of Extended Deductive Databases in Datalog ⋆
2009
On the implementation of a simple class of logic queries for databases
Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems - PODS '86, 1986
Experimenting with recursive queries in database and logic programming systems
2008
Increment boundedness and nonrecursive incremental evaluation of datalog queries
Lecture Notes in Computer Science, 1995
Defining datalog in rewriting logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010
Refinement of Datalog programs
Proceedings of the MLnet …, 1996
Efficient query answering over Datalog with existential quantifiers
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings
arXiv (Cornell University), 2023
Safe computation of the well-founded semantics of datalog queries
Information Systems, 1992
A general Datalog-based framework for tractable query answering over ontologies
Journal of Web Semantics, 2012
Answering recursive queries using views
Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '97, 1997
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries
Semi-Inflationary DATALOG: A declarative database language with procedural features
2005