Modeling class hierarchies with contradictions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

23 Scopus citations

Abstract

One characteristic feature of object-oriented systems and knowledge bases (semantic data models, conceptual modeling languages, Al frames) is that they offer as a basic paradigm the notion of objects grouped into classes, which are themselves organized in subclass hierarchies. Through ideas such as inheritance and bounded polymorphism, this feature supports the technique of "abstraction by generalization", which has been argued to be of importance in designing Information Systems [11, 2). We provide in this paper examples demonstrating that in some applications over-generalization is likely to occur: an occasional natural subclass may contradict in some way one rf its superclass definitions, and thus turn out not to be a strict subtype of this superclass. A similar problem arises when an object is allowed to be a member of several classes which make incompatible predictions about its type. We argue that none of the previous approaches suggested to deal with such situations is entirely satisfactory. A language feature is therefore presented to permit class definitions which contradict aspects of other classes, such as superclasses, in an object-based language. In essence, the approach requires contradictions among class definitions to be explicitly acknowledged. We define a semantics of the resulting language, which restores the condition that subclasses are both subsets and subtypes, and deals correctly with the case when an object can belong to several classes. This is done by separating the notions of "class" and "type", and it allows query compilers to detect type errors as well as eliminate some run-time checks in queries, even in the presence of "contradictory" class definitions.

Original languageEnglish (US)
Title of host publicationProceedings of the 1988 ACM SIGMOD International Conference on Management of Data, SIGMOD 1988
EditorsHaran Boral, Per-Ake Larson
PublisherAssociation for Computing Machinery
Pages434-443
Number of pages10
ISBN (Electronic)0897912683
DOIs
StatePublished - Jun 1 1988
EventACM SIGMOD International Conference on Management of Data, SIGMOD 1988 - Chicago, United States
Duration: Jun 1 1988Jun 3 1988

Publication series

NameProceedings of the ACM SIGMOD International Conference on Management of Data
Volume1988-June
ISSN (Print)0730-8078

Other

OtherACM SIGMOD International Conference on Management of Data, SIGMOD 1988
Country/TerritoryUnited States
CityChicago
Period6/1/886/3/88

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems

Fingerprint

Dive into the research topics of 'Modeling class hierarchies with contradictions'. Together they form a unique fingerprint.

Cite this