Polymorphic calculus for views and object sharing

Atsushi Ohori, Keishi Tajima

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

15 Citations (Scopus)

Abstract

We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion specifications of objects from other classes. Each such specification consists of a predicate determining the subset of objects to be included and a viewing function under which those included objects are manipulated. Both predicates and viewing functions can be any type consistent programs definable in the polymorphic calculus. Inclusion specifications among classes can be cyclic, allowing mutually recursive class definition. These features achieve flexible view definitions and wide range of class organizations in a compact and elegant way. Moreover, the calculus provides a suitable set of operations for views and classes so that the programmer can manipulate views and classes just the same way as one deals with ordinary records and sets.

Original languageEnglish
Title of host publicationProceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
Editors Anon
PublisherPubl by ACM
Pages255-266
Number of pages12
ISBN (Print)0897916425
Publication statusPublished - 1994 Jan 1
Externally publishedYes
EventProceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems - Minneapolis, MN, USA
Duration: 1994 May 241994 May 26

Other

OtherProceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
CityMinneapolis, MN, USA
Period94/5/2494/5/26

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Polymorphic calculus for views and object sharing'. Together they form a unique fingerprint.

Cite this