A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Inheritance and persistence in database programming languages
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Implementation of a compiler for a semantic data model: Experiences with taxis
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Supporting a Semantic Data Model in a Distributed Database System
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Storage and Access Structures to Support a Semantic Data Model
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Incorporating hierarchy in a relational model of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Conflict resolution of rules assigning values to virtual attributes
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Type systems for querying class hierarchies with non-strict inheritance
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Class management for software communities
Communications of the ACM
Selective Multiple Inheritance
IEEE Software
ACM Transactions on Database Systems (TODS)
ICSE '91 Proceedings of the 13th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
An efficient method for checking object-oriented database schema correctness
ACM Transactions on Database Systems (TODS)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Exception handling in object-oriented databases
Advances in exception handling techniques
Supporting Exceptions to Schema Consistency to Ease Schema Evolution in OODBMS
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Exception Handling in Object-Oriented Databases
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS
The VLDB Journal — The International Journal on Very Large Data Bases
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Data & Knowledge Engineering - Special issue: ER 2003
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
Towards an Abstraction Ontology
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
On the declarative semantics of inheritance networks
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.02 |
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 if 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.