Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,619 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Armin B. Cremers
Cut (logic programming)
Database
Database theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Differentielle dynamische Logiken: Automatisches Beweisen für hybride Systeme [Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems]
André Platzer
Ausgezeichnete Informatikdissertationen
2008
Corpus ID: 2379444
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions…
Expand
2006
2006
Integrating and Querying P2P Deductive Databases
Luciano Caroprese
,
Cristian Molinaro
,
E. Zumpano
International Database Engineering and…
2006
Corpus ID: 17084472
The paper proposes a logic framework for modeling the interaction among deductive databases and computing consistent answers to…
Expand
2003
2003
Deductive database
J. Minker
2003
Corpus ID: 63053216
Deductive Databases formalize and extend relational databases. A deductive database (DDB) consists of a set of facts, a set of…
Expand
2000
2000
Elucidation and Prediction of Aquatic Ecosystems by Artificial Neuronal Networks
F. Recknagel
,
H. Wilson
2000
Corpus ID: 128124245
Models in aquatic ecology are needed for hypothesis testing (elucidation) and management (predictions) of changing properties in…
Expand
1998
1998
A fuzzy deductive object-oriented database model
Bursin Bostan
,
A. Yazici
,
Tub
IEEE International Conference on Fuzzy Systems…
1998
Corpus ID: 61251431
Object-oriented and deductive database models are two different paradigms in database modeling. As has been pointed out by many…
Expand
1993
1993
Normalization of linear recursions in deductive databases
Jiawei Han
,
Kangsheng Zeng
,
Tong Lu
Proceedings of IEEE 9th International Conference…
1993
Corpus ID: 20860892
A graph-matrix expansion-based compilation technique that transforms complex linear recursions into highly regular linear normal…
Expand
1992
1992
Parallel Evaluation of Deductive Database Queries
Sumit Ganguly
1992
Corpus ID: 5385407
In this dissertation, we are concerned with the parallel bottom-up evaluation of a subset of deductive database languages called…
Expand
1992
1992
Modal logic as metalogic
K. Dosen
Journal of Logic, Language and Information
1992
Corpus ID: 367169
The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the…
Expand
1990
1990
Applications of deductive database systems
S. Tsur
Digest of Papers Compcon Spring '90. Thirty-Fifth…
1990
Corpus ID: 28381516
A number of deductive database (DD) applications are described. The range covers advanced database applications, synthesis of…
Expand
1988
1988
Classification of recursive formulas in deductive databases
C. Youn
,
L. Henschen
,
Jiawei Han
ACM SIGMOD Conference
1988
Corpus ID: 11750883
In this paper, we present results on the classification of linear recursive formulas in deductive databases and apply those…
Expand