Details
| Original language | English |
|---|---|
| Title of host publication | Deductive and Object-Oriented Databases |
| Subtitle of host publication | 3rd International Conference, DOOD 1993, Proceedings |
| Editors | Stefano Ceri, Katsumi Tanaka, Shalom Tsur |
| Publisher | Springer Verlag |
| Pages | 253-266 |
| Number of pages | 14 |
| ISBN (print) | 9783540575306 |
| Publication status | Published - 1993 |
| Event | 3rd International Conference on Deductive and Object-Oriented Databases, DOOD 1993 - Phoenix, United States Duration: 6 Dec 1993 → 8 Dec 1993 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 760 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Abstract
We propose a query-evaluation algorithm for database specifications consisting of overridable rules (defaults) and non-overridable rules (axioms). Both kinds of rules may contain disjunctions. Preferences among the defaults are given by a partial order which corresponds to a subclass relationship allowing multiple inheritance. We use a bottom-up theorem proving procedure. It is applied to the set of (disjunctively) assumed default instances which essentially can again be computed by bottom-up evaluation. Our approach has two main advantages: First, it gives a simple foundation for bottom-up evaluation in the presence of defaults; this can be taken as a basis for different optimizations. Second, in contrast to other deduction algorithms, it is able to handle pattially ordered defaults with a skeptical / minimal model semantics.
ASJC Scopus subject areas
- Mathematics(all)
- Theoretical Computer Science
- Computer Science(all)
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Deductive and Object-Oriented Databases : 3rd International Conference, DOOD 1993, Proceedings. ed. / Stefano Ceri; Katsumi Tanaka; Shalom Tsur. Springer Verlag, 1993. p. 253-266 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 760 LNCS).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Bottom-Up Query Evaluation with Partially Ordered Defaults
AU - Brass, Stefan
AU - Lipeck, Udo W.
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1993.
PY - 1993
Y1 - 1993
N2 - We propose a query-evaluation algorithm for database specifications consisting of overridable rules (defaults) and non-overridable rules (axioms). Both kinds of rules may contain disjunctions. Preferences among the defaults are given by a partial order which corresponds to a subclass relationship allowing multiple inheritance. We use a bottom-up theorem proving procedure. It is applied to the set of (disjunctively) assumed default instances which essentially can again be computed by bottom-up evaluation. Our approach has two main advantages: First, it gives a simple foundation for bottom-up evaluation in the presence of defaults; this can be taken as a basis for different optimizations. Second, in contrast to other deduction algorithms, it is able to handle pattially ordered defaults with a skeptical / minimal model semantics.
AB - We propose a query-evaluation algorithm for database specifications consisting of overridable rules (defaults) and non-overridable rules (axioms). Both kinds of rules may contain disjunctions. Preferences among the defaults are given by a partial order which corresponds to a subclass relationship allowing multiple inheritance. We use a bottom-up theorem proving procedure. It is applied to the set of (disjunctively) assumed default instances which essentially can again be computed by bottom-up evaluation. Our approach has two main advantages: First, it gives a simple foundation for bottom-up evaluation in the presence of defaults; this can be taken as a basis for different optimizations. Second, in contrast to other deduction algorithms, it is able to handle pattially ordered defaults with a skeptical / minimal model semantics.
UR - http://www.scopus.com/inward/record.url?scp=0006496592&partnerID=8YFLogxK
U2 - 10.1007/3-540-57530-8_16
DO - 10.1007/3-540-57530-8_16
M3 - Conference contribution
AN - SCOPUS:0006496592
SN - 9783540575306
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 253
EP - 266
BT - Deductive and Object-Oriented Databases
A2 - Ceri, Stefano
A2 - Tanaka, Katsumi
A2 - Tsur, Shalom
PB - Springer Verlag
T2 - 3rd International Conference on Deductive and Object-Oriented Databases, DOOD 1993
Y2 - 6 December 1993 through 8 December 1993
ER -