Skip to search formSkip to main contentSkip to account menu

Datalog

Known as: List of Datalog interpreters, Magic Sets algorithm 
Datalog is a declarative logic programming language that syntactically is a subset of Prolog. It is often used as a query language for deductive… 
Wikipedia

Related topics

Related topics

50 relations
.QLAggregate functionAlgorithmAnswer set programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new… 
Highly Cited
2009
Highly Cited
2009
A general datalog-based framework for tractable query answering over ontologies
In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-, as a new paradigm for query… 
Highly Cited
2007
Highly Cited
2007
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes… 
Highly Cited
2006
Highly Cited
2006
codeQuest: Scalable Source Code Queries with Datalog
Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes… 
Highly Cited
2005
Highly Cited
2005
Using Datalog with Binary Decision Diagrams for Program Analysis
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it… 
Highly Cited
2004
Highly Cited
2004
Discovery of frequent DATALOG patterns
Discovery of frequent patterns has been studied in a variety of data mining settings. In its simplest form, known from… 
Highly Cited
2000
Highly Cited
2000
Enhancing Disjunctive Datalog by Constraints
This paper presents an extension of Disjunctive Datalog (DATALOG/sup V,/spl sim//) by integrity constraints. These are of two… 
Highly Cited
1998
Highly Cited
1998
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
This paper starts with the project of finding a large subclass of NP which exhibits a dichotomy. The approach is to find this… 
Highly Cited
1997
Highly Cited
1997
Disjunctive datalog
We consider disjunctive Datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive… 
Highly Cited
1989
Highly Cited
1989
What you Always Wanted to Know About Datalog (And Never Dared to Ask)
Datalog, a database query language based on the logic programming paradigm, is described. The syntax and semantics of Datalog and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License