deductive database


Also found in: Wikipedia.

deductive database

(database)
A combination of a conventional database containing facts, a knowledge base containing rules, and an inference engine which allows the derivation of information implied by the facts and rules.

Commonly, the knowledge base is expressed in a subset of first-order logic and either a SLDNF or Datalog inference engine is used.
References in periodicals archive ?
It can be also seen as a deductive database for reasoner, using a rule language for rule-based generation of new facts.
As a result, a restricted form of Prolog without function symbols called Datalog (with negation), with a well-defined declarative semantics based on the work in logic programming, has been widely accepted as the standard deductive database language [Ullman 1989a; Ceri et al.
A deductive database system combines the multiple file handling, concurrency, security, and recovery aspects of database systems with the logic-based reasoning, in terms of recursive rules, of logic programming.
Another way to understand the memoing evaluation strategy was developed in the deductive database community, and goes by the name of Magic [1, 2, 27, 28, 29, 36].
The partnership between Ontology Works and PURUS will integrate Ontology Works' flagship ontology-based deductive database software with its highly efficient inference capability as well as Ontology Works' Semantic Federation Solution for legacy databases with PURUS' Decision Catalyst Framework.
In a deductive database, a theory would be marked as a set of rules that can be applied against the data.
However, the knowledge bases (which contain deductive rules and/or semantic information such as the conceptual hierarchy among data) in existing deductive database systems can only be built up manually with known technology.
Our product, RDF Gateway, is a high-performance, scalable semantic web server with a RDF-native deductive database at its core.
The CALLIGRAPHIC IQ System: A Deductive Database Information Lens for Reasoning about Textual Information.
He worked in deductive databases, nonmonotonic reasoning, and knowledge representation and reasoning in the past.
Under the terms of the agreement HIGHFLEET's ontology-based deductive databases will be combined with fluidOps' open platform for intelligent information management, Information Workbench, to provide customers with systems that not only efficiently answer high-value queries but enable extensive visual exploration.
Editorial will cover such topics as deductive databases, data integration and exchange, data mining, database design and tuning, storage, data models and data cleaning and information extraction.