Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,874,462 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.
Review
2014
Review
2014
Impact of Job Satisfaction on Job Performance of IT Professionals: With Special Reference to Sri Lanka
H. Hettiarachchi
2014
Corpus ID: 55486339
Job Performance of employees lays the foundation to achieve desired organizational goals and objective s. Individual employee’s…
Expand
2011
2011
Compositionality Entails Sequentializability
P. Garg
,
P. Madhusudan
International Conference on Tools and Algorithms…
2011
Corpus ID: 816677
We show that any concurrent program that is amenable to compositional reasoning can be effectively translated to a sequential…
Expand
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
1996
1996
CONFRONTING SCIENCE'S LOGICAL LIMITS
J. Casti
1996
Corpus ID: 123648761
To anyone infected with the idea that the human mind is unlimited in its capacity to answer questions, a tour of 20th-century…
Expand
1995
1995
Deductive Synthesis
J. Burghardt
Formal Development of Reactive Systems
1995
Corpus ID: 35216787
1994
1994
Constraint-Based Query Evaluation in Deductive Databases
Jiawei Han
IEEE Transactions on Knowledge and Data…
1994
Corpus ID: 2195575
Constraints play an important role in the efficient query evaluation in deductive databases. Constraint-based query evaluation in…
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
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