Details
| Original language | English |
|---|---|
| Title of host publication | Deductive and Object-Oriented Databases |
| Subtitle of host publication | 2nd International Conference, DOOD 1991, Proceedings |
| Editors | Yoshifumi Masunaga, Michael Kifer, Claude Delobel |
| Publisher | Springer Verlag |
| Pages | 411-430 |
| Number of pages | 20 |
| ISBN (print) | 9783540550150 |
| Publication status | Published - 1991 |
| Event | 2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991 - Munich, Germany Duration: 16 Dec 1991 → 18 Dec 1991 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 566 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (electronic) | 1611-3349 |
Abstract
Our goal is to integrate the paradigms of object-oriented structuring and of rule-based specifications for databases. In this paper, we consider hierarchical specifications of objects and object types with attributes defined by logical rules, and we explain their local (single object) semantics as well as their composite (object society) semantics. In order to allow inheritance with exceptions (overriding) even for rules, the defining formulas are interpreted like defaults of different priorities corresponding to levels in the object type hierarchy. Here, minimal model semantics known from default reasoning in artificial intelligence or from database completions can be utilized, but must be modified to respect object-oriented issues, in particular locality. We prove that intended models exist for object and composite specifications under natural conditions, even if general clauses are used as defaults.
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 : 2nd International Conference, DOOD 1991, Proceedings. ed. / Yoshifumi Masunaga; Michael Kifer; Claude Delobel. Springer Verlag, 1991. p. 411-430 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 566 LNCS).
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Semantics of Inheritance in Logical Object Specifications
AU - Brass, Stefan
AU - Lipeck, Udo W.
N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1991.
PY - 1991
Y1 - 1991
N2 - Our goal is to integrate the paradigms of object-oriented structuring and of rule-based specifications for databases. In this paper, we consider hierarchical specifications of objects and object types with attributes defined by logical rules, and we explain their local (single object) semantics as well as their composite (object society) semantics. In order to allow inheritance with exceptions (overriding) even for rules, the defining formulas are interpreted like defaults of different priorities corresponding to levels in the object type hierarchy. Here, minimal model semantics known from default reasoning in artificial intelligence or from database completions can be utilized, but must be modified to respect object-oriented issues, in particular locality. We prove that intended models exist for object and composite specifications under natural conditions, even if general clauses are used as defaults.
AB - Our goal is to integrate the paradigms of object-oriented structuring and of rule-based specifications for databases. In this paper, we consider hierarchical specifications of objects and object types with attributes defined by logical rules, and we explain their local (single object) semantics as well as their composite (object society) semantics. In order to allow inheritance with exceptions (overriding) even for rules, the defining formulas are interpreted like defaults of different priorities corresponding to levels in the object type hierarchy. Here, minimal model semantics known from default reasoning in artificial intelligence or from database completions can be utilized, but must be modified to respect object-oriented issues, in particular locality. We prove that intended models exist for object and composite specifications under natural conditions, even if general clauses are used as defaults.
UR - http://www.scopus.com/inward/record.url?scp=85030467125&partnerID=8YFLogxK
U2 - 10.1007/3-540-55015-1_22
DO - 10.1007/3-540-55015-1_22
M3 - Conference contribution
AN - SCOPUS:85030467125
SN - 9783540550150
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 411
EP - 430
BT - Deductive and Object-Oriented Databases
A2 - Masunaga, Yoshifumi
A2 - Kifer, Michael
A2 - Delobel, Claude
PB - Springer Verlag
T2 - 2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991
Y2 - 16 December 1991 through 18 December 1991
ER -