@inproceedings{b93d31d05e51421aaf906bdaf048a085,
title = "Typing schemes for objects with locality",
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.",
author = "Florian Matthes and Atsushi Ohori and Schmidt, {Joachim W.}",
year = "1991",
month = jan,
day = "1",
doi = "10.1007/3-540-54141-1_7",
language = "English",
isbn = "9783540541417",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "106--123",
editor = "Schmidt, {Joachim W.} and Stogny, {Anatoty A.}",
booktitle = "Next Generation Information System Technology - 1st International East/West Data Base Workshop, Proceedings",
note = "1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990 ; Conference date: 09-10-1990 Through 12-10-1990",
}