Typing schemes for objects with locality

Florian Matthes, Atsushi Ohori, Joachim W. Schmidt

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

The crucial characteristic of object-oriented databases is the concept of object identity which allows the direct representation of various kinds of dependencies between objects, for example, sharing and cyclicity. For object stores to become a viable technology for large shared databases, a certain degree of spatial control over object dependencies (or object locality) seems to be essential. This paper exploits the power of a static type system to capture and evaluate locality information on objects. First, we represent objects by references to complex expressions in a functional language. To control the locality of objects, the space of references is partitioned into a set of subspaces with an explicit reachability constraint. Next, we define a type system where the locality of an object is part of its static type specification and the predefined reachability constraint is enforced via a static typing discipline. We conclude by highlighting the impact of locality information on the operational support to be expected by next generation database systems.

Original languageEnglish
Title of host publicationNext Generation Information System Technology - 1st International East/West Data Base Workshop, Proceedings
EditorsJoachim W. Schmidt, Anatoty A. Stogny
PublisherSpringer Verlag
Pages106-123
Number of pages18
ISBN (Print)9783540541417
DOIs
StatePublished - 1991
Externally publishedYes
Event1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990 - Kiev, Ukraine
Duration: 9 Oct 199012 Oct 1990

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume504 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990
Country/TerritoryUkraine
CityKiev
Period9/10/9012/10/90

Fingerprint

Dive into the research topics of 'Typing schemes for objects with locality'. Together they form a unique fingerprint.

Cite this