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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1984-2018
05010019842018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular… (More)
Is this relevant?
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… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
As applications of description logics proliferate, efficient reasoning with large ABoxes (sets of individuals with descriptions… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Trust management (TM) is a promising approach for authorization and access control in distributed systems, based on signed… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Discovery of frequent patterns has been studied in a variety of data mining settings. In its simplest form, known from… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
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… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We present an integrated system for knowledge representation, calledAL -log, based on description logics and the deductive… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We consider disjunctive Datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
listic Datalog — a Logic for Powerful Retrieval Methods 
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We study the problem of determining whether a given recursive Datalog program is equivalent to a given nonrecursive Datalog… (More)
Is this relevant?