| 講演名 | 1997/7/14 複合型階層 三浦 孝夫, 塩谷 勇, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究では複合オブジェクトのための型階層に関する理論的基礎を論じる。この主たる目的は、モデル化のための基本機能、その意味および一貫性制約の記述力を拡張することにある。複合オブジェクトは、実体(オブジェクト)とデータ構造値の組から構成されるが、データ構造の構成方法は特定のものを仮定しない。つまり、集合やタプル構成だけでなく、一般の構造構成子を用いる。ここでは各複合オブジェクトが内包情報を有するインスタンス指向データベースを仮定し、どの情報も固有の内包情報(型スキーマという)を持つとする。一般には、各インスタンスには無数の複合型が対応するが、記述を簡単にして近汎(Least General)なものだけを選び、この記述が有限となる条件を示す。本研究の根幹には、複合オブジェクト間にどのような順序が導入できるかという問題がある。 |
| 抄録(英) | In this work, we discuss the theoretical foundation for type hierarchy of complex objects to extend modelling concepts, semantics and constraints. Complex objects consist of entities and data-structure instances. We assume general constructions of data structures, i.e., not only sets and tuples but, any structuring operators are allowed. Our discussion uses an instance-based data model and each instance has its own intentional information called type schemes. Since there may be infinite complex type information to each instance, we explore simplified description in such a way that type schemes contain only least general types. We show the finiteness property of such description. The heart of our approach exists in semantic orders for of complex objects. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | DE-97-7 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DE |
|---|---|
| 開催期間 | 1997/7/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Data Engineering (DE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 複合型階層 |
| サブタイトル（和） | |
| タイトル（英） | On Complex Type Hierarchy |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 三浦 孝夫 / Takao MIURA |
| 第 1 著者 所属（和/英） | 産能大学 SANNO College |
| 第 2 著者 氏名（和/英） | 塩谷 勇 / Isamu SHIOYA |
| 第 2 著者 所属（和/英） | 産能大学 SANNO College |
| 発表年月日 | 1997/7/14 |
| 資料番号 | DE-97-7 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 160 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |