Sciweavers

155 search results - page 4 / 31
» Non-Determinism in Deductive Databases
Sort
View
VLDB
1987
ACM
55views Database» more  VLDB 1987»
13 years 9 months ago
Integrity Checking in Deductive Databases
Robert A. Kowalski, Fariba Sadri, Paul Soper
VLDB
1990
ACM
86views Database» more  VLDB 1990»
13 years 9 months ago
How to Forget the Past Without Repeating It
Bottom-up evaluation of deductive database programs has the advantage that it avoids repeated computation by storing all intermediate results and replacing recomputation by table ...
Jeffrey F. Naughton, Raghu Ramakrishnan
SIGMOD
1993
ACM
118views Database» more  SIGMOD 1993»
13 years 10 months ago
The CORAL Deductive Database System
Raghu Ramakrishnan, William G. Roth, Praveen Sesha...
ADBIS
2007
Springer
109views Database» more  ADBIS 2007»
13 years 9 months ago
A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases
In this paper we present a new fixpoint-based approach to bottom-up state generation for stratifiable disjunctive deductive databases. To this end, a new consequence operator based...
Andreas Behrend