Jump to ContentJump to Main Navigation
Information Modeling: The EXPRESS Way$
Users without a subscription are not able to see the full content.

Douglas Schenck and Peter Wilson

Print publication date: 1994

Print ISBN-13: 9780195087147

Published to Oxford Scholarship Online: November 2020

DOI: 10.1093/oso/9780195087147.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (oxford.universitypressscholarship.com). (c) Copyright Oxford University Press, 2021. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 15 June 2021

Integration and specialization

Integration and specialization

Chapter:
Chapter 6 Integration and specialization
Source:
Information Modeling: The EXPRESS Way
Author(s):

Douglas Schenck

Peter Wilson

Publisher:
Oxford University Press
DOI:10.1093/oso/9780195087147.003.0013

The major topic of this Chapter is modeling in the large. By this we mean looking at methods to integrate several different models into a single cohesive whole, and also examining the inverse problem of extracting a small specialized model from a larger one. Before we can sensibly discuss these, though, we need to look more closely at two aspects of EXPRESS, namely subtyping and schema interfacing. EXPRESS has a concept of Supertype and Subtype which taken together enable a type lattice to be constructed. A Subtype-Supertype relationship is typically called an ‘Isa’ relationship in data modeling terms. That is, a Subtype is a kind of its Supertype(s). For example, if we define an entity pet and also define two subtypes of this called cat and goldfish then an instance of cat is also an instance of pet, and similarly for a goldfish. The relationship, though, is asymmetrical, as a pet may be something other than a cat or goldfish; for instance a pet may also be a dog. A Subtype is a more specialized kind of thing than its Supertype and, conversely, a Supertype is a generalization of its Subtypes. A Subtype inherits all the attributes and constraints of its Supertype(s). In EXPRESS an entity is a Subtype of another entity if it declares its Supertype entity within its Subtype declaration. A Supertype does not declare its Subtypes. In general, an instance of a Subtype requires an instantiation of each of its Supertypes, while an instance of a Supertype does not require instantiation of its Subtypes. This later behavior may be modified by declaring the Supertype to be an Abstract Supertype, in which case an instance of the Supertype does require instantiation of at least one of its Subtypes. In most data modeling and Object Oriented languages that support similar notions to Subtyping, if an instance of a Supertype requires instantiation of a Subtype, then one and only one Subtype can be instantiated. EXPRESS does not have this restriction. Unless otherwise constrained, an instance of a Supertype may be accompanied by one instance of each of its Subtypes.

Keywords:   Abstract, Documentation, First-class, Generalization, Homonym, Import, OneOf, Partitioning, Quality, Reference

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .