Typing schemes for objects with locality

Florian Matthes, Atsushi Ohori, Joachim W. Schmidt

研究成果: Conference contribution

1 被引用数 (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.

本文言語English
ホスト出版物のタイトルNext Generation Information System Technology - 1st International East/West Data Base Workshop, Proceedings
編集者Joachim W. Schmidt, Anatoty A. Stogny
出版社Springer Verlag
ページ106-123
ページ数18
ISBN(印刷版)9783540541417
DOI
出版ステータスPublished - 1991
外部発表はい
イベント1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990 - Kiev, Ukraine
継続期間: 1990 10 91990 10 12

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
504 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

Other1st International East/West Data Base Workshop on Next Generation Information System Technology, 1990
CountryUkraine
CityKiev
Period90/10/990/10/12

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント 「Typing schemes for objects with locality」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル