Typing schemes for objects with locality

Florian Matthes, Atsushi Ohori, Joachim W. Schmidt

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

1 Citation (Scopus)


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
Number of pages18
ISBN (Print)9783540541417
Publication statusPublished - 1991
Externally publishedYes
Event1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990 - Kiev, Ukraine
Duration: 1990 Oct 91990 Oct 12

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


Other1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


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

Cite this