JPH06149646A - オブジェクト指向データベース管理システム - Google Patents

Abstract

(57)【要約】 （修正有） 【目的】継承関係を考慮した動的な型検査を行いうるオ
ブジェクト指向データベース管理システムの提供。 【構成】型検査手段１２は、管理手段１１で主メモリ３
０内のデータベースファイル２０の内容に対して、第１
の永続オブジェクトの属性の型を表しているクラスオブ
ジェクトと、第２の永続オブジェクトの属性の型を表し
ているクラスオブジェクト又はこのクラスオブジェクト
の属性の型を継承しているクラスオブジェクトとが、同
じ型を表していると判定したときに、第１の永続オブジ
ェクトを第２の永続オブジェクトの属性に代入する操作
と、永続オブジェクトの属性の型を表しているクラスオ
ブジェクトと、集合オブジェクトの要素の型を表してい
るクラスオブジェクト又はこのクラスオブジェクトの要
素の型を継承しているクラスオブジェクトとが、同じ型
を表していると判定したときに、永続オブジェクトを集
合オブジェクトに挿入する操作とを実施する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明はオブジェクト指向デー
タベース管理システムに関する。

【０００２】

【従来の技術】従来、オブジェクト指向データベース管
理システムにおいては、データの一貫性を保証するた
め、永続オブジェクト自身やその属性や集合オブジェク
トの要素に、型を宣言し、該型に基づいて、データの検
査を行うようにしている。すなわち、永続オブジェクト
の属性への値の代入や、集合オブジェクトへの要素の挿
入に対して、コンパイラやプリプロセッサによる実行以
前での静的な型検査が行われている。

【０００３】このような静的な型検査に対し、動的な型
検査を行うようにしたものも提案されている。この動的
な型検査を行うシステムとしては、「ザ・ゲムストーン
・データ・マネージメント・システム（“The GemStone
Data Management System ”）：オブジェクト・オリエ
ンテッド・コンテンツ，データベース，アンド・アプリ
ケーションズ（“Object Oriented Concepts,Database
s,and Applications ”）Edited by （W.Kim, F.H.Loch
ovsky）1989. （ACMpress.）pp238-pp308 」の文献（文
献１という）に記述されたものがある。

【０００４】また型の情報を利用するようにしたシステ
ムとしては、特開平３−５０６４６号公報に開示された
ものがある。この公報に開示されたものでは、オブジェ
クトの属性のタイプ（型）を保持し、属性の更新のとき
にタイプ（型）の情報を利用するようにしている。

【０００５】なおオブジェクト指向データベースの基礎
概念としては、 （１）「“オブジェクト指向データベースの基礎概念”
（田中克己著 情報処理Vol.32 No.5 pp500 〜513 May
1991）」 （２）「“オブジェクト指向データベース管理システム
のアーキテクチャ”（牧之内顕文著 情報処理 Vol.32
No5 pp514〜522 May 1991）」 の各文献に記述されている技術が知られている。

【０００６】またオブジェクト指向データベース管理シ
ステムを実現したシステムとしては、特開平３−１３７
７３０号公報に開示されたものが知られている。

【０００７】

【発明が解決しようとする課題】しかしながら、上述し
た従来の静的な型検査では、次に説明する２つの問題点
がある。 （ａ）型変換などの仕組みにより十分に厳しい型検査を
行うことがてきない。 （ｂ）実行時に型の定義が変更されるような動的な型変
更は対処できない。

【０００８】また上述した文献１に記述されている動的
な型検査を行うシステムでは、型の情報は継承関係につ
いては記述されておらず、また示唆されてもいないの
で、継承関係を考慮した動的な型検査を行うことができ
ない。

【０００９】更に上記特開平３−５０６４６号公報に開
示されたものにおいては、型の情報は、型検査に使用さ
れておらず、また継承関係を考慮したものとなっていな
いので、継承関係を考慮した動的な型検査を行うことが
できない。

【００１０】このように従来においては、継承関係を考
慮した動的な型検査を行うことができないので、誤った
データの代入や挿入を防止することは困難であった。

【００１１】この発明は、継承関係を考慮した動的な型
検査を行うことのできるオブジェクト指向データベース
管理システムを提供することを目的とする。

【００１２】

【課題を解決するための手段】上記目的を達成するた
め、第１の発明のオブジェクト指向データベース管理シ
ステムでは、複数のオブジェクトと、当該各オブジェク
トにそれぞれ対応し、かつ当該オブジェクトの属性の型
を含む型情報を保持すると共に当該型の継承関係に関す
る情報も保持可能なクラスオブジェクトとを管理する管
理手段と、前記複数のオブジェクトの内、第１のオブジ
ェクトを第２のオブジェクトに関係付けする際に、当該
各オブジェクトにそれぞれ対応するクラスオブジェクト
に基づいて型検査を行う型検査手段とを具えている。

【００１３】第２の発明のオブジェクト指向データベー
ス管理システムでは、複数のオブジェクトと、該各オブ
ジェクトにそれぞれ対応し、かつ当該オブジェクトの属
性の型を含む型情報を保持すると共に当該型の継承関係
に関する情報も保持可能なクラスオブジェクトと、オブ
ジェクトの集合を表す集合オブジェクトと、該集合オブ
ジェクトに対応し、かつ当該オブジェクトの要素の型を
含む型情報を保持すると共に当該型の継承関係に関する
情報も保持可能なクラスオブジェクトとを管理する管理
手段と、前記集合オブジェクトに、前記複数のオブジェ
クト中の特定のオブジェクトを関係付けする際に、当該
特定のオブジェクトに対応するクラスオブジェクトと、
前記集合オブジェクトに対応するクラスオブジェクトと
に基づいて型検査を行う型検査手段とを具えている。

【００１４】

【作用】第１の発明においては、型検査手段は、第１の
オブジェクト（例えば永続オブジェクト）を、第２のオ
ブジェクト（例えば永続オブジェクト）の属性に関係付
けする（代入する）際に、第１の永続オブジェクトに対
応するクラスオブジェクトと、第２の永続オブジェクト
に対応するクラスオブジェクトとに基づいて型検査を実
施する。この型検査の結果として、前記各クラスオブジ
ェクトに定義されている属性の型が一致している場合
は、第１の永続オブジェクトが第２の永続オブジェクト
の属性に実際に代入される。また型検査の結果として、
第１の永続オブジェクトに対応するクラスオブジェクト
に定義されている属性の型と、第２の永続オブジェクト
に対応するクラスオブジェクトに定義されている属性の
型を継承しているクラスオブジェクトに定義されている
属性の型とが一致している場合にも、第１の永続オブジ
ェクトが第２の永続オブジェクトの属性に実際に代入さ
れる。従って、この発明によれば、継承関係を考慮した
動的な型検査を行うことができる。

【００１５】第２の発明においては、型検査手段は、特
定のオブジェクト（例えば永続オブジェクト）を集合オ
ブジェクトに関係付けする（挿入する）際に、永続オブ
ジェクトに対応するクラスオブジェクトと、集合オブジ
ェクトに対応するクラスオブジェクトとに基づいて型検
査を実施する。この型検査の結果として、永続オブジェ
クトに対応するクラスオブジェクトに定義されている属
性の型と、集合オブジェクトに対応するクラスオブジェ
クトに定義されている要素の型とが一致している場合
は、永続オブジェクトが集合オブジェクトに実際に挿入
される。また永続オブジェクトに対応するクラスオブジ
ェクトに定義されている属性の型と、集合オブジェクト
に対応するクラスオブジェクトに定義されている属性の
型を継承しているクラスオブジェクトに定義されている
属性の型とが一致する場合にも、永続オブジェクトが集
合オブジェクトに実際に挿入される。従って、この発明
によれば、継承関係を考慮した動的な型検査を行うこと
ができる。

【００１６】

【実施例】以下、本発明の実施例を添付図面を参照して
説明する。

【００１７】図１は、本発明に係るオブジェクト指向デ
ータベース管理システム（Object Oriented Database M
anagement Syatem＝ＯＯＤＢＭＳ）の一実施例を機能ブ
ロック図で示したものである。同図において、ＯＯＤＢ
ＭＳ１０は、管理手段１１と型検査手段１２とを有して
いる。管理手段１１は、オブジェクト指向データベース
を保存しているデータベースファイル２０を管理すると
共に、このファイル内容を主メモリ３０に展開する。一
方、型検査手段１２は、主メモリ３０上に展開されたデ
ータベースファイル２０の内容に対して、継承関係を考
慮した動的な型検査を行う。

【００１８】この実施例においては型変換を禁止してい
る。またこの実施例においては、上述したＯＯＤＢＭＳ
１０は、当該システムの機能を遂行させるためのソフト
ウェア（プログラム）をプロセッサや中央処理装置など
の制御手段が実行することにより実現される。勿論、フ
ァームウェアやハードウェアで実現するようにしても良
い。

【００１９】図２は、図１に示したシステムを実現する
ための装置、例えばコンピュータやワークステーション
等のハードウェア構成を示したものである。同図におい
て、装置は、上記データベースファイル２０を格納する
外部記憶装置２１０と、データベースファイル２０の内
容が展開される主メモリ２２０と、入力装置２３０と、
出力装置２４０と、上記各部を制御すると共に型検査処
理を行う上記制御手段としてのプロセッサ２５０とを有
している。

【００２０】次に、第１の永続オブジェクトを第２の永
続オブジェクトの属性に代入する際の、型検査手段１２
による型検査処理について、図３乃至図５を参照して説
明する。

【００２１】なお図３は型検査手段１２の型検査処理動
作を示すフローチャートであり、図４及び図５は型検査
処理の処理過程を示す図である。

【００２２】最初に、永続オブジェクトの属性への値の
代入における型検査でのデータの状態を図４に示す。こ
の図に示す例においては、永続オブジェクトＩ１の型は
クラスオブジェクトＣ１で与えられている（関係１）。
永続オブジェクトＩ１の属性１の型はクラスオブジェク
トＣ２であること（関係２）が、クラスオブジェクトＣ
１の“属性１の型”によって示されている。クラスオブ
ジェクトＣ３がクラスオブジェクトＣ２を継承している
こと（関係３）が、クラスオブジェクトＣ３の“継承”
によって示されている。一方、永続オブジェクトＩ２の
型はクラスオブジェクトＣ２′で与えられている（関係
４）。ここで、クラスオブジェクトＣ２＝クラスオブジ
ェクトＣ２′とする。

【００２３】なお、永続オブジェクトＩ１、Ｉ２、クラ
スオブジェクトＣ１、Ｃ２、Ｃ３、Ｃ２′は全て外部記
憶装置２１０に格納されており、また上記関係１、２、
３、４を表現している。すなわち図４に示すデータ構造
は、外部記憶装置２１０にデータベースファイルとして
保存されている。

【００２４】また代入操作においては、上記データベー
スファイルの内容つまり永続オブジェクトＩ１、Ｉ２、
クラスオブジェクトＣ１、Ｃ２、Ｃ３、Ｃ２′が、プロ
セッサ２５０（ソフトウェア的には管理手段１１）によ
って外部記憶装置２１０から主メモリ２２０上にロード
され展開される。この結果、主メモリ２２０上におい
て、上述した各永続オブジェクト及び各クラスオブジェ
クト並びに上記関係１、２、３、４が表現されており、
またこれら各関係の確認が可能な状態である。

【００２５】このような前提の下において、第１の永続
オブジェクトとしての永続オブジェクトＩ２を、第２の
永続オブジェクトとしての永続オブジェクトＩ１の属性
へ代入する操作を実施するときに、型検査が行われる。

【００２６】すなわち型検査手段１２は、図３に示すよ
うに、永続オブジェクトＩ２の型情報からクラスオブジ
ェクトＸを得る（ステップ３０１）。この結果として、
クラスオブジェクトＸとしてクラスオブジェクトＣ２′
が得られることになる。

【００２７】次に型検査手段１２は、永続オブジェクト
Ｉ１の型情報からクラスオブジェクトＣ１を得ると共に
（ステップ３０２）、このクラスオブジェクトＣ１から
属性１の型であるクラスオブジェクトＣ２を得る（ステ
ップ３０３）。

【００２８】このようにして各永続オブジェクトの属性
の型つまりクラスオブジェクトを得ると、型検査手段１
２は、クラスオブジェクトＸはクラスオブジェクトＣ２
と同じであるか否か（つまり属性の型が同じであるか否
か）を判断する（ステップ３０４）。

【００２９】上記ステップ３０４においてクラスオブジ
ェクトが同一の場合（属性の型が同じ場合）は、型検査
手段１２は、永続オブジェクトＩ１の属性１へ永続オブ
ジェクトＩ２を代入し（ステップ３０５）、その後、処
理を終了する。

【００３０】これを具体的に説明する。この例において
は、クラスオブジェクトＸはクラスオブジェクトＣ２′
であり、またクラスオブジェクトＣ２′＝クラスオブジ
ェクトＣ２の関係がある。従って上記ステップ３０４に
おいてはクラスオブジェクトが同一であると判断され、
結果として代入操作が実施される。

【００３１】一方ステップ３０４においてクラスオブジ
ェクトが異なっている場合は、型検査手段１２は、クラ
スオブジェクトＸは型を継承しているか否かを判断する
（ステップ３０６）。

【００３２】このステップ３０６において、型を継承し
ていると判断した場合は、現在のクラスオブジェクトＸ
の継承関係に基づいて、このクラスオブジェクトＸの親
クラスオブジェクトを得て、この親クラスオブジェクト
を新たなクラスオブジェクトＸとし（ステップ３０
７）、その後、上記ステップ３０４に戻る。

【００３３】一方、ステップ３０６においてクラスオブ
ジェクトＸは何も型を継承していないと判断した場合
は、エラーを発生する（ステップ３０８）。

【００３４】ここで、クラスオブジェクトＸが型を継承
しているか否かの判定結果に応じた処理について具体的
に説明する。今、主メモリ２２０に、図５に示すような
内容が展開されているとする。この図５に示す内容は、
図４に示した内容において、クラスオブジェクトＣ２′
を削除し、クラスオブジェクトＣ３′を追加した構成に
なっている。ここでは、クラスオブジェクトＣ３′＝ク
ラスオブジェクトＣ３とする。

【００３５】上記同様の処理により、永続オブジェクト
Ｉ２の型情報からはクラスオブジェクトＸとしてクラス
オブジェクトＣ３′が得られ、また永続オブジェクトＩ
１の型情報からはクラスオブジェクトＣ２が得られる。
このようにして得られた各クラスオブジェクトは明らか
に異なっている。そこで、クラスオブジェクトＣ３′が
型を継承しているかどうかを調べる。クラスオブジェク
トＣ３′はクラスオブジェクトＣ３と同一であるので、
このクラスオブジェクトＣ３が型を継承しているかどう
かを調べれば良いことになる。

【００３６】ここで、上述した様にクラスオブジェクト
Ｃ３はクラスオブジェクトＣ２を継承しているので（関
係３）、クラスオブジェクトＣ３の親クラスオブジェク
トはクラスオブジェクトＣ２であるということが分か
る。なおクラスオブジェクトＣ３はクラスオブジェクト
Ｃ３′と同一であるので、現在のクラスオブジェクトＸ
としてのクラスオブジェクトＣ３′の親クラスオブジェ
クトはクラスオブジェクトＣ２であるということも分か
る。

【００３７】そこで、新たなクラスオブジェクトＸとし
てのクラスオブジェクトＣ２と、上記ステップ３０３の
処理で得られたクラスオブジェクトＣ２とが同一か否か
を判断すれば良い。この場合はクラスオブジェクトが同
一であるので、永続オブジェクトＩ１の属性１へ永続オ
ブジェクトＩ２が代入される。

【００３８】従ってこの例では、永続オブジェクトＩ２
の型が、クラスオブジェクトＣ２若しくはクラスオブジ
ェクトＣ３の型を示していれば、代入は正常に行われ、
それ以外のクラスオブジェクトの場合はエラーとなる。

【００３９】次に、集合オブジェクトに要素としての永
続オブジェクトを挿入する際の、型検査手段１２による
型検査処理について図６乃至図８を参照して説明する。

【００４０】なお図６は型検査手段１２の型検査処理動
作を示すフローチャートであり、図７及び図８は型検査
処理の処理過程を示す図である。

【００４１】最初に、集合オブジェクトへの要素の挿入
における型検査でのデータの状態を図７に示す。この図
に示すように、集合オブジェクトＳ１の要素の型はクラ
スオブジェクトＣ２で与えられている（関係７）。クラ
スオブジェクトＣ３がクラスオブジェクトＣ２を継承し
ていること（関係８）が、クラスオブジェクトＣ３の
“継承”によって示されている。一方、永続オブジェク
トＩ２の属性１の型はクラスオブジェクトＣ２′で与え
られている（関係９）。ここでは、クラスオブジェクト
Ｃ２＝クラスオブジェクトＣ２′と定義する。

【００４２】なお、集合オブジェクトＳ１、永続オブジ
ェクトＩ２、クラスオブジェクトＣ２、Ｃ３、Ｃ２′は
全て外部記憶装置２１０に格納されており、また上記関
係７、８、９を表現している。すなわち図７に示すデー
タ構造は、外部記憶装置２１０にデータベースファイル
として保存されている。

【００４３】また挿入操作においては、上記データベー
スファイルの内容、つまり集合オブジェクトＳ１、永続
オブジェクトＩ２、クラスオブジェクトＣ２、Ｃ３、Ｃ
２′が、プロセッサ２５０（ソフトウェア的には管理手
段１１）によって外部記憶装置２１０から主メモリ２２
０上にロードされ展開される。この結果、主メモリ２２
０上において、集合オブジェクトＳ１、永続オブジェク
トＩ２及びクラスオブジェクト並びに上記関係７、８、
９が表現されており、またこれらの関係の確認が可能な
状態である。

【００４４】このような前提の下において、永続オブジ
ェクトＩ２を集合オブジェクトＳ１へ挿入操作を実施す
るときに、型検査が行われる。

【００４５】すなわち型検査手段１２は、図６に示すよ
うに、永続オブジェクトＩ２の型情報からクラスオブジ
ェクトＸを得る（ステップ４０１）。この結果として、
クラスオブジェクトＸとして属性１の型であるクラスオ
ブジェクトＣ２′が得られることになる。次に型検査手
段１２は、集合オブジェクトＳ１の型情報からクラスオ
ブジェクトＣ２を得る（ステップ４０２）。

【００４６】このようにして各クラスオブジェクトを得
た型検査手段１２は、クラスオブジェクトＸはクラスオ
ブジェクトＣ２と同じであるか否か（属性の型と要素の
型とが同じか否か）を判断する（ステップ４０３）。

【００４７】上記ステップ４０３においてクラスオブジ
ェクトが同一の場合（属性の型と要素の型とが同じ場
合）は、型検査手段１２は、集合オブジェクトＳ１へ永
続オブジェクトＩ２を代入し（ステップ４０４）、その
後、処理を終了する。

【００４８】これを具体的に説明する。この例において
は、クラスオブジェクトＸはクラスオブジェクトＣ２′
であり、またクラスオブジェクトＣ２′＝クラスオブジ
ェクトＣ２の関係がある。従って上記ステップ４０３に
おいてはクラスオブジェクトが同一であると判断され、
結果として挿入操作が実施される。

【００４９】一方、ステップ４０３においてクラスオブ
ジェクトが異なっている場合は、型検査手段１２は、ク
ラスオブジェクトＸは型を継承しているか否かを判断し
（ステップ４０５）、この判断の結果、型を継承してい
る場合は、現在のクラスオブジェクトＸの継承関係に基
づいて、このクラスオブジェクトＸの親クラスオブジェ
クトを得て、この親クラスオブジェクトを新たなクラス
オブジェクトＸと再定義し（ステップ４０６）、その
後、上記ステップ４０３に戻る。

【００５０】一方、ステップ４０５においてクラスオブ
ジェクトＸは何も継承していない場合は、エラーを発生
する（ステップ４０７）。

【００５１】ここで、クラスオブジェクトＸが型を継承
しているか否かの判定結果に応じた処理について具体的
に説明する。今、主メモリ２２０に、図８に示すような
内容が展開されているとする。この図８に示す内容は、
図７に示す内容において、クラスオブジェクトＣ２′を
削除し、クラスオブジェクトＣ３′を追加した構成にな
っている。ここでは、永続オブジェクトＩ２の属性１の
型はクラスオブジェクトＣ３′であること（関係１０）
が示されている。またここでは、クラスオブジェクトＣ
３′＝クラスオブジェクトＣ３と定義する。

【００５２】上記同様の処理により、永続オブジェクト
Ｉ２の型情報からはクラスオブジェクトＸとしてクラス
オブジェクトＣ３′が得られ、集合オブジェクトＳ１の
型情報からはクラスオブジェクトＣ２が得られる。この
ようにして得られた各クラスオブジェクトは明らかに異
なっている。そこで、クラスオブジェクトＣ３′が型を
継承しているかどうかを調べる。クラスオブジェクトＣ
３′はクラスオブジェクトＣ３と同一であるので、この
クラスオブジェクトＣ３が型を継承しているかどうかを
調べれば良いことになる。この場合の調査結果は、上述
した永続オブジェクトの代入の処理と同様に、現在のク
ラスオブジェクトＸとしてのクラスオブジェクトＣ３′
の親クラスオブジェクトはクラスオブジェクトＣ２であ
るということが分かる。

【００５３】そこで、新たなクラスオブジェクトＸとし
てのクラスオブジェクトＣ２と、上記ステップ４０２の
処理で得られたクラスオブジェクトＣ２とが同一か否か
を判断すれば良い。この場合は、クラスオブジェクトが
同一であると判断され、集合オブジェクトＳ１へ永続オ
ブジェクトＩ２が挿入される。

【００５４】従ってこの例では、永続オブジェクトＩ２
の属性の型が、クラスオブジェクトＣ２若しくはクラス
オブジェクトＣ３の属性の型を示していれば、挿入は正
常に行われ、それ以外のクラスオブジェクトの場合はエ
ラーとなる。

【００５５】以上説明したように本実施例によれば、第
１の永続オブジェクトを第２の永続オブジェクトの属性
に代入する際に、型検査手段による型検査によって、第
１の永続オブジェクトの属性の型を表しているクラスオ
ブジェクトと、第２の永続オブジェクトの属性の型を表
しているクラスオブジェクト又はこのクラスオブジェク
トの属性の型を継承しているクラスオブジェクトとが、
同じ型を表していると判定されたときに、型検査手段に
よって、第１の永続オブジェクトを第２の永続オブジェ
クトの属性に代入する操作が実施されるので、オブジェ
クトの代入の実行時に、継承関係を考慮した動的な型検
査を行うことができる。

【００５６】また本実施例によれば、永続オブジェクト
を集合オブジェクトへ挿入する際に、型検査手段による
型検査によって、永続オブジェクトの属性の型を表して
いるクラスオブジェクトと、集合オブジェクトの要素の
型を表しているクラスオブジェクト又はこのクラスオブ
ジェクトの要素の型を継承しているクラスオブジェクト
とが、同じ型を表しているときに、型検査手段によっ
て、永続オブジェクトを集合オブジェクトに挿入する操
作が実施されるので、集合オブジェクトへの要素の挿入
時に、継承関係を考慮した動的な型検査を行うことがで
きる。

【００５７】

【発明の効果】以上説明した様に第１の発明によれば、
型検査手段によって、第１のオブジェクトを、第２のオ
ブジェクトに関係付けする際に、第１のオブジェクトに
対応するクラスオブジェクトと、第２のオブジェクトに
対応するクラスオブジェクト又は第２のオブジェクトに
対応するクラスオブジェクトの属性の型を継承している
クラスオブジェクトとに基づいて型検査を行うようにし
たので、第１及び第２のオブジェクトに対応するクラス
オブジェクトに定義されている属性の型を調査すること
により、各属性の型が一致しているか否かを判定するこ
とができることとなり、よって、オブジェクトの代入の
実行時に、継承関係を考慮した動的な型検査を行うこと
ができるという利点がある。

【００５８】また第２の発明によれば、型検査手段によ
って、特定のオブジェクトを集合オブジェクトに関係付
けする際に、特定のオブジェクトに対応するクラスオブ
ジェクトと、集合オブジェクトに対応するクラスオブジ
ェクト又は集合オブジェクトに対応するクラスオブジェ
クトの要素の型を継承しているクラスオブジェクトとに
基づいて型検査を行うようにしているので、特定のオブ
ジェクトに定義されている属性の型及び集合オブジェク
トに定義されている要素の型を調査することにより、各
型が一致しているか否かを判定することができることと
なり、よって、集合オブジェクトへの要素の挿入時に、
継承関係を考慮した動的な型検査を行うことができると
いう利点がある。

【００５９】このように継承関係を考慮した動的な型検
査を行うことができるので、誤ったデータの代入や挿入
を防止することができるという効果を奏する。

【図面の簡単な説明】

【図１】本発明に係るオブジェクト指向データベース管
理システムの一実施例を示す機能ブロック図。

【図２】図１に示した実施例のシステムを実現するため
の装置のハードウェア構成を示すブロック図。

【図３】本実施例の型検査手段による代入操作の際の型
検査処理動作を示すフローチャート。

【図４】代入操作の際に実行される型検査処理の処理過
程を説明する図。

【図５】代入操作の際に実行される型検査処理の処理過
程を説明する図。

【図６】本実施例の型検査手段による挿入操作の際の型
検査処理動作を示すフローチャート。

【図７】挿入操作の際に実行される型検査処理の処理過
程を説明する図。

【図８】挿入操作の際に実行される型検査処理の処理過
程を説明する図。

【符号の説明】

１０…オブジェクト指向データベース管理システム、１
１…管理手段、１２…型検査手段、２０…データベース
ファイル、３０…主メモリ。

Claims (2)

【特許請求の範囲】
1. 【請求項１】複数のオブジェクトと、当該各オブジェク
   トにそれぞれ対応し、かつ当該オブジェクトの属性の型
   を含む型情報を保持すると共に当該型の継承関係に関す
   る情報も保持可能なクラスオブジェクトとを管理する管
   理手段と、 前記複数のオブジェクトの内、第１のオブジェクトを第
   ２のオブジェクトに関係付けする際に、当該各オブジェ
   クトにそれぞれ対応するクラスオブジェクトに基づいて
   型検査を行う型検査手段とを具えたことを特徴とするオ
   ブジェクト指向データベース管理システム。
2. 【請求項２】複数のオブジェクトと、該各オブジェクト
   にそれぞれ対応し、かつ当該オブジェクトの属性の型を
   含む型情報を保持すると共に当該型の継承関係に関する
   情報も保持可能なクラスオブジェクトと、オブジェクト
   の集合を表す集合オブジェクトと、該集合オブジェクト
   に対応し、かつ当該オブジェクトの要素の型を含む型情
   報を保持すると共に当該型の継承関係に関する情報も保
   持可能なクラスオブジェクトとを管理する管理手段と、 前記集合オブジェクトに、前記複数のオブジェクト中の
   特定のオブジェクトを関係付けする際に、当該特定のオ
   ブジェクトに対応するクラスオブジェクトと、前記集合
   オブジェクトに対応するクラスオブジェクトとに基づい
   て型検査を行う型検査手段とを具えたことを特徴とする
   オブジェクト指向データベース管理システム。