Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

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… Expand
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2007
Highly Cited
2007
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the… Expand
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis… Expand
  • figure 3
  • figure 6
  • table 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The control paradigm of physical processes being supervised by digital programs has lead to the development of a theory of hybrid… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We develop a formal logical foundation for secure deductive databases. This logical foundation is based on an extended logic… Expand
  • figure 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… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
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… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Abstract We investigate the declarative semantics of deductive databases and logic programs. We introduce the class of perfect… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
We describe the theory and implementation of a general theorem-proving technique for checking integrity of deductive databases… Expand
Is this relevant?