Deductive database

A deductive database is a database system that can make deductions (i.e., conclude additional facts) based on rules and facts stored in the… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1974-2017
05010019742017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Large knowledge bases (KBs) are useful in many tasks, but it is unclear how to integrate this sort of knowledge into “deep… (More)
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational… (More)
  • table 3.1
  • table 3.2
  • table 3.3
  • table 3.4
  • table 4.1
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1994
Highly Cited
1994
This paper describes the XSB system, and its use as an in-memory deductive database engine. XSB began from a Prolog foundation… (More)
Is this relevant?
1994
1994
XSB is a logic-based programming system that can serve as an efficient immemory Deductive Database (DDB) engine. XSB… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We propose a semantics for aggregates in deductive databases based on a notion of minimality. Unlike some previous approaches, we… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Glue is a procedural language for deductive databases. It is designed to complement the purely declarative NAIL! language… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
  • 1988
Preparing the books to read every day is enjoyable for many people. However, there are still many people who also don't like… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
D This paper provides a theoretical basis for deductive database systems. A deductive database consists of closed typed first… (More)
Is this relevant?