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.
Using recursion, relational database systems are extended into knowledgebase systems (deductive database systems).
However, significant problems remain inherent in this kind of deductive database from the language point of view.
Maintenance of materialized views in a deductive database: An update propagation approach.
A deductive database may be defined as a triple DB = <C, P, I>.
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].
We call a GEM that includes axioms and a deduction engine (that is, theorem prover or a deductive database) a DEM.
An Implementation Overview of the ADITI Deductive Database System.
Other studies demonstrate that the semantics of deductive databases can be implemented in the spiking neural P systems model, allowing the integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living neurons [Diaz-Pernil, 2018].
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.