TY - GEN
T1 - Typing schemes for objects with locality
AU - Matthes, Florian
AU - Ohori, Atsushi
AU - Schmidt, Joachim W.
N1 - Funding Information:
This shift from copy semantics to reference semantics in database systems, together with recent advances in computationally complete database languages reinforces the interest in persistent object stores [ABM88], providing long term storage of and shared *This work was supported in part by the European Commission unter ESPRIT BRA contract # 4092 (FIDE). tMost of the work presented here was carried out during the second author's visit to the University of Glasgow supported by a British Royal Society Research Fellowship.
Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.
PY - 1991
Y1 - 1991
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85032035146&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85032035146&partnerID=8YFLogxK
U2 - 10.1007/3-540-54141-1_7
DO - 10.1007/3-540-54141-1_7
M3 - Conference contribution
AN - SCOPUS:85032035146
SN - 9783540541417
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 106
EP - 123
BT - Next Generation Information System Technology - 1st International East/West Data Base Workshop, Proceedings
A2 - Schmidt, Joachim W.
A2 - Stogny, Anatoty A.
PB - Springer Verlag
T2 - 1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990
Y2 - 9 October 1990 through 12 October 1990
ER -