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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
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
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
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes… 
Highly Cited
2006
Highly Cited
2006
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
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 patterns has been studied in a variety of data mining settings. In its simplest form, known from… 
Highly Cited
2000
Highly Cited
2000
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
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
We consider disjunctive Datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive… 
Highly Cited
1989
Highly Cited
1989
Datalog, a database query language based on the logic programming paradigm, is described. The syntax and semantics of Datalog and…