JPH0320867A - 参照制約の検証方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 Ａ．産業上の利用分野 本発明は、一般に、データ処理システムにおける改良に
関し、より具体的には、データ処理システム内のりレー
シ譚ナル◆データベースの改良に関する。さらに具体的
には、本発明は、リレーシーナル・データベース内でデ
ータ・テーブルが作成または変更されよウとも、リレー
シａナル・データベース内での参照保全性を維持するた
めの方法に関する。

Ｂ．従来の技術 データ処理システムを利用することの１つの明白な利点
は、大量のデータが体系的に操作及び利用できることで
ある。通常、これらの大量データは、いわゆるデータベ
ース内で順序よく配列されており、データ処理システム
内の任意のブロセッサによって直接的にまたは間接的に
高速でそれにアクセスすることができる。

ごく最近になって、リレーシＢナル・データベースの出
現によって、データベース管理システムの利用は新しい
洗練度のレベルに達した。リレーシロナル・データベー
スは、複数のデータ・テーブルから構成されるデータベ
ースである。このようなデータベースの基礎となるリレ
ーシーナル・モデルは、次の３つの主要なサブセクシー
ンを含む。

すなわち、リレーシーナル・データベースが従わなけれ
ばならない構造を取り扱−５構造サブセクシーンと、リ
レーシーナル・データベース内のデータを操作する方式
を支配するデータ操作サブセクシｅンと、データベース
の１つの領域の変更がデータベースの残りの領域に影響
を与える方式を制御する参照保全性サブセクシｅンであ
る。

参照保全性は、実施するのは難しいが文献では周知の、
選択された制約を厳守することによって実現できる。た
とえば、主要な参照制約は、指定された「外部キー」の
非空文字値が、指定されたデータ・テーブルの「１次キ
ー」の値としても現れる場合にのみ有効であるという主
張である。リレーシ１ナル・データベースの用語法では
、「親」データ・テーブルとは、２つのデータ・テーブ
ルの関係において、指定された１次キーを含むデータ・
テーブルである。同様に、「従属」データ・テーブルと
は、上記の関係において外部キーを含むデータ・テーブ
ルである。

１つのデータ・テーブルが、任意の数の関係において親
テーブルと従属テーブルの両方になりつる。データ・テ
ーブルは、それが親テーブルの従属テーブル、または親
テーブルの従属テーブルの子孫である場合に、親データ
・テーブルの「子孫」であると言う。逆に、データ・テ
ーブルは、それが第２のテーブルの親テーブル、または
第２のテーブルを子孫として含むテーブルの親テーブル
である場合に、その第２データ・テーブルの「先祖」で
あると言う。また、データ・テーブルは、それが他の複
数のデータ・テーブルといわゆる「サイクル」で相互に
結合されている場合、そのデータ・テーブル自体の子孫
及び先祖である。データ・テーブルはまた、いわゆる「
８己参照ｊテーブル内の単一の制約に対して、親データ
・テーブルでも従属データ・テーブルでもありうる。

リレーシ譚ナル・データベースの参照保全性を管理する
には、関係規則を各参照制約と関連づけることが必要で
ある。このような関係において対処しなければ江らない
３つの活動は、更新、挿入、または削除操作の結果であ
る。このようなデータベース内のデータ・テーブル同士
の関係を考えてみると、１つのデータ・テーブル内のこ
れら３つの活動のいずれかのｉつが、そのデータベース
内の他のデータ・テーブルに影響を及ぼす可能性がある
。このように、・一連の現、則が、一般的にこのような
各活動と関連づけられている。

挿入を支配する規則は、きわめて単純である。

１次キーは挿入できる。しかし、外部キーは、それが基
本的参照制約に合致した場合のみ押入できる。すなわち
、外部キーの非空文字値は、それが１次キーの値として
も現れる場合にのみ挿入できる。同様に、外部キーの更
新は、新しい外部キーが有効な１次キーとしても現れる
場合にのみ可能である。本方法の実施例では、１次キー
の更新は「制限」されている。すなわち、その１次キー
が従属キーを持たない場合にしかその更新が許されない
。もちろん、１次キー・の更新が各従属キー中でいわゆ
る「カスケード」動作モードで自動的に実施されるよう
なシステム、または各従属キーを「空文字設定」にする
よろなシステムを実施することも可能である。

本発明のこの実施例では削除操作は、上述の３つの関係
規則のすべてを利用する。したがって、ｒ制限」、「カ
スケード」、または「空文字設定」の削除規則を持つこ
とが可能である。このようにして、データベース内のど
こかでの削除の影響が、従属データ・テーブルに対する
その影響として明確に規定される。リレーシ鍔ナル・デ
ータベースの用語で言うと、第２データ・テーブルを用
いた削除操作に関係するどのデータ・テーブルも、その
第２データ・テーブルに「削除結合」されている。

２つの追加の制限が、一般に、削除結合に関する１組の
データ・テーブル間の関係に適用される。

第１に、テーブルは、２つ以上のテーブルのサイクルで
、そのテーブル自体に削除結合することができない。第
２に、あるデータ・テーブルが、複数の径路を介して別
のデータ・テーブルに削除結合されている場合、削除操
作を支配する関係規則は同一でなければならず、「空文
字設定」であってはならない。

このように、リレーシーナル・データベースの構造に対
して変更を試みるには、参照保全性を維持するため、こ
れらの関係規則のそれぞれを注意深く走査しなければな
らない。リレーシ訝ナル・データベース内に多数の関連
するデータ・テーブルが含まれ、かつそれらのテーブル
間に複数の関係が存在するために、そのデータベースの
構造に対して変更を試みた後の関係の検証がきわめて難
し《なる。したがって、リレーシ日ナル・データペース
の構造に対する変更の試みで参照保全性が維持できるか
どろかを、効率的にかつ迅速に確認するために利用でき
る方法が求められていることは明らかである。

Ｃ．発明が解決しようとする課題 本発明の１つの目的は、改良されたりレーシーナル・デ
ータベースを提供することである。

本発明の別の目的は、その関係を変更した後も参照保全
性が維持できる、改良されたりレーシロナル・データベ
ースを提供することである。

本発明の別の目的は、その関係を変更した後も参照保全
性が維持でき、そのデータベース構造全体を再検討する
必要なしに、それらの関係が検証できる、改良されたリ
レーシ臂ナル・データベースを提供することである。

Ｄ．課題を解決するための手段 前記の目的は、これから説明するようにして達成される
。本発明の方法及び装置を利用して、データベース内に
おけるデータ◆テーブルの提案された作成または変更に
よってもたらされる、新しい各参照制約の妥当性を判定
することにより、リレーシ画ナル・データベースの参照
保全性を維持することができる。新しく作成されたまた
は変更されたデータ・テーブルのすべての関係を、まず
新しい参照制約が他のデータ・テーブルに影響を与えな
い既知の非エラー条件があるかどうか検査する。

次に、既知エラー状況を検出するために、自己参照関係
を検査する。その後で、新しく作成または変更されたデ
ータ・テーブル、新しく作成または変更されたデータ・
テーブルに従属するすべてのデータ・テーブル、新しく
作成または変更されたテーブルに削除結合されている従
属テーブルの子孫であるすべてのデータ・テーブル、以
上のデータ・テーブルの親テーブルであるすべてのデー
タ・テーブル、及び上記親テーブルと「カスヶード」削
除規則関係にある任意の先祖データ・テーブルを含むデ
ータベースの選択された部分のモデルを作成する。次に
、データベースの、そのモデルによって表される部分の
みを検査して、提案された関係が参照保全性を実施でき
るかどうか判定することにより、新しい参照制約の妥当
性を検証する。

Ｅ．実施例 図面、特に第１図を参照すると、本発明の方法を実施す
るために利用できるデータ処理システム８の図が示され
ている。図を見るとわかるように、データ処理システム
８は、ローカル・エリア・ネットワーク（ＬＡＮ）１０
及び３２など複数のネットワークを含むことができる。

各ネットワークは、それぞれ複数の個別コンピュータ１
２及び３０を含むことが好ましい。もちろん、当業者な
ら理解する通り、ホスト・プロセッサに結合した複数の
対話型ワークステーシａン（ＩＷＳ）をこのヨウなネッ
トワークのそれぞれに対して利用することもできる。

各個別コンピュータは、このようなデータ処理システム
でよく行なわれているように、記憶装置１４またはプリ
ンタ／出力装置１６あるいはその両方に結合できる。本
発明の方法によれば、１つまたは複数のこのような記憶
装置１４を利用して、リレーシ譚ナル・データベースを
形成する多数のデータ・テーブルを記憶することができ
る。本発明の方法によれば、そのデータベースに対する
提案された変更を検査して、参照保全性が維持されるか
どうか判定することになる。

引き続き第１図を参照すると、データ処理ネットワーク
８はまた、メイン●フレーム・コンピュータ１８など多
数のメイン・フレーム・コンビータを含むことができる
。これらのメイン・フレーム・コンピュータは、通信リ
ンク２２によってローカル・エリア・ネットワーク（Ｌ
ＡＮ）１０に結合できることが好ましい。メイン・フレ
ーム・コンピュータ１８はまた、ローカル・エリア・ネ
ットワーク（ＬＡＮ）１０に対する遠隔記憶装置として
使用される記憶装１ｆ２０にも結合できる。同様に、ロ
ーカル・エリア・ネットワーク（ＬＡＮ）ｉｏは、通信
リンク２４を介し、サブシステム制御装置／通信コント
ローラ２６及び通信り冫ク３４を経てゲートウェイ・サ
ーバ２８に結合できる。

ゲートウェイ・サーバ２８は、個別コンビエータまたは
対話型ワークステーシｅン（ＩＷＳ）であることが好ま
しく、ローカル・エリア・ネットヮ−ク（ＬＡＮ）３２
をローカル・エリア・ネットワーク（ＬＡＮ）１０にリ
ンクする働きをする。

第２図には、データ・テーブルの相互関係を示すために
利用できる、多数のデータ・テーブルの図が示されてい
る。図を見るとわかるように、データ・テーブル４０は
、仮空の組織の各部に関する情報を含んでいる。データ
・テーブル４０内の情報は、部番号、部名、及び部長を
含む３つの独立した欄内に配列されている。これらの欄
は、それぞれ４２、４４、及び４６とラベルをつけてあ
る。

同様に、データ・テーブル４８は、この仮空組織内の課
を対象とするデータ・テーブルを示している。上記と同
様に、このデータ・テーブルは、課番号、課名、課長、
及びその課が所属する部番号を含む４つの欄に分かれて
いる。これらの欄は、５０、５２、５４、及び５６と番
号が付けてある。

最後に、データ・テーブル５８は、この仮空組織の従業
員データ・テーブルであり、従業員名、従業員番号、課
番号、部番号、その従業員の上司、及びその上司の従業
員番号を含む６つの欄に分かれている。これらの欄は、
それぞれ，ＥＩ０，８２、６４、８６、６８、及び７０
と番号が付けてある。

これらの各種データ・テーブルの相互関係を、図に示さ
れている１つまたは複数の欄に関して例示することがで
きる。たとえば、部データ・テーブル４０と課データ・
テーブル４８の間の関係で、部番号は、部データ・テー
ブル４０内の１次データ・キーと考えることができる。

同様に、部番号は、課データ・テーブル４８内に外部キ
ーとして現れる。上述のよろに、参照保全性は、部番号
に対する非空文字値が部データ・テーブル４ｏの欄４２
内の１次キーとしても現れないかぎり、その値が、課デ
ータ・テーブル４８の欄５６にリストされないことを必
要とする。このようにして、２つの関係づけられたデー
タ・テーブルの参照保全性が維持される。

同様に、従業員データ・テーブル５８は、部データ・テ
ーブル４０または課データ・テーブル４８のどちらかに
関係をたどれるいくつかのキーを含んでいる。たとえば
、従業員データ・テーブル５８の欄６４に示されている
課番号は、従業員データ・テーブル５８内の外部キーで
あり、課データ・テーブル４８内の１次キーである。さ
らに、従業員データ・テーブル５８の欄６８にリストさ
れた部番号は、参照保全性を維持するために部データ・
テーブル４０の欄４２にもなければならない、外部キー
である。

関係づけられたデータ・テーブルのもう１つの態様を、
従業員データ・テーブル５８に関して例示することがで
きる。すなわち、欄６２にリストされた従業員番号は、
従業員データ・テーブル５８の１次キーである。したが
って、従業員データ・テーブル５８の欄７０に示されて
いる上司従業員番号は外部キーであり、上司従業員番号
が有効であるには、それが、従業員データ・テーブル５
８内の１次従業員番号データ・キーである。欄６２にも
現れなければならないこのタイプの関係が、自己参照関
係と呼ばれる。

このように、第２図を参照すると、当業者なら理解する
通り、多数のデータ・テーブルがリレーシロナル・デー
タベース内で関係づけられ、これらの多数のデータ・テ
ーブル間には多数の異なる関係が存在しうる。

次に、第３Ａ図、第３Ｂ図、及び第３ｃ図を合わせて参
照すると、提案された新しい参照制約の追加後も参照保
全性が維持されることを検証するために利用できる、本
発明の方法を示す論理流れ図が示されている。このプロ
セスはプロ７ク７，２から始まる。本明細書で開示する
方法は、既知の非エラー条件が存在するか否か判定する
ために、まずオブジェクト・テーブル、すなわち本方法
の説明で作成または変更されるデータ・テーブルに対す
るすべての関係を検査する。

このプロセスは、ブロック７４から始まり、そこで、提
案された参照制約削除規則が「制限」であるかどうか指
示するために従属制限フラグが開始される。次に、ブロ
ック７８で、従属カスヶード・フラグを偽に設定する。

その後、ブロック７８で、オブジェクト●テーブルが従
属テーブルとなっている、第１の制約を得る。次に、ブ
ロック８０で、すべての制約が処理されたか否か判定し
、否の場合は、ブロック・８２で、オブジェクト・テー
ブルが従属テーブルとなっている、考慮中の制約に対す
る削除規則が「制限」であるか否か判定する。否の場合
は、ブロック８４で、従属制限規則フラグを偽に設定す
る。

次に、ブロック８６で、検査中の制約における削除規則
が「カスケード」か否か判定する。「カスケード」の場
合は、ブロック８８で、従属カスケード・フラグを真に
設定する。その後、ブロック９０で、オブジェクト・テ
ーブルが従属テーブルとなっている次の制約を得て、ブ
ロック８０に戻る。

ブロック８２で、考慮中の制約における削除規則が「制
限」であると判定された場合、またはブロック８６で削
除規則が「カスケード」ではないと判定された場合は、
ブロック９０に進んで、考慮すべき次の制約を得る。オ
ブジェク・ト・テーブルが従属テーブルとなっていると
ブロック８ｏで判定されたすべての制約を検査した後、
ブロック９２に進んで、オブジェクト・テーブルが親テ
ーブルとなっている関係を検査する。

ブロック９２で、親カスケード・フラグを偽に初期設定
し、その後、プロ，ク９４で、オブジェクト・テーブル
が親テーブルとなっている第１の制約を得る。次に、ブ
ロック９８で、オブジェクト・テーブルが親テーブルと
なっているすべての制約が処理されたか否か判定する。

否の場合は、ブロック９８で、考慮中の制約に対する削
除規則が「カスケード」であるか否か判定する。考慮中
の制約に対する削除規則が「カスケード」である場合は
、ブロック１００で、親カスヶード・フラグを真に設定
し、ブロック１０２に進む。ブロック１０２で、オブジ
ェクト・テーブルが親テーブルとなっている、考慮すべ
き次の制約を得る。同様に、削除規則が「カスケード」
ではないとブロック９８で判定された場合は、ブロック
１０２に進み、考慮すべき次の制約を得る。その後、ブ
ロック９６に戻って、オブジェクト・テーブルが親テー
ブルとなっているすべての制約が処理されたか否か判定
する。

次に、ブロック１０４に進む。このブロックでは、従属
制限フラグが偽であるか否か、または親カスケード・フ
ラグが真であるか否か判定する。

これらの条件のどちらも成立しない場合、ブロック１０
６に示すように、処理を終了し、エラーがないとの指示
を出す。上述の論理流れ図のこの部分を利用して、オブ
ジェクト・テーブルのすべての関係を検討し、オブジェ
クト・テーブルが従属テーブルとなっているすべての関
係について、削除規則が「制限」であるか否か判定し、
オブジェクト・テーブルが親テーブルとなっているすべ
ての関係について削除規則が「カスケード」であるか否
か判定する。この条件下では、提案された新しい制約は
、参照保全性に悪影響を及ぼすことがなく、検査を続け
る必要はない。

本方法の次の部分では、ブロック１０８を通うて新しい
セクシロンに入る。このセクシロンは、考慮中のデータ
ベース内に存在する可能性のある自己参照制約を検査す
るために利用される。ブロック１１０で、オブジェクト
・テーブルが、新しく提案された制約を含めて自己参照
制約をその内部に含むか否か判定する。含む場合は、ブ
ロック１１２で、新しく提案された制約が自己参照制約
であるか否か判定する。その後、ブロック１１４で、既
存の自己参照制約が「カスケード」削除規則を利用する
かどうか判定する。既存の自己参照制約が「カスケード
」削除規則を利用しない場合は，、ブロック１１６で、
新しく提案された制約が「カスケード」削除規則である
か否か判定する。そうである場合は、ブロック１１８で
エラーの指示を出して終了する。

既存の自己参照制，約が「カスケード」削除規則制約を
利用するか、または新しく提案された制約が「カスケー
ド」削除規則を利用しない場合は、ブロック１３２に進
む。再びブロック１１２を参照すると、新しく提案され
た制約が自己参照制約である場合は、ブロック１２０に
進む。ブロック１２０で、既存の自己参照制約が「空文
字設定」削除規則を利用するか否か判定する。利用する
場合は、ブロック１２２に示すように、エラー・メッセ
ージを出して終了する。既存の自己参照制約が「空文字
設定」削除規則を利用しない場合は、ブロック１２４で
、既存の自己参照制約が新しく提案された自己参照制約
とは異なる削除規則をもつか否か判定する。削除規則が
異なっている場合は、やはりブロック１２２に進み、エ
ラー・メッセージを出して終了する。

既存の自己参照制約と提案された自己参照制約が同じ削
除規則をもつ場合には、ブロック１２８に進む。ブロッ
ク１２６で、従属カスケード・フラグが真であるかどう
か判定することにより、既存の非自己参照制約が「カス
ケード」削除規則を利用するか否か判定する。利用する
場合は、ブロック１２８で、新しい制約が「カスケード
」削除規則を利用するか否か判定する。利用しない場合
は、ブロック１３０に示すように、やはりエラー・メッ
セージを出して終了する。

既存の非自己参照制約が「カスケード」削除規則を利用
しないとブロック１２８で判定された場合、または新し
く提案された制約が「カスケード」削除規則を利用する
場合は、ブロック１３２に進む。ブロック１３２では、
新しく提案された制約が自己参照制約であるか否か判定
する。そつである場合は、ブロック１３４で、エラーが
ないとの指示を出して終了する。論理流れ図の上述の部
分は、複数の自己参照制約があるかどうか、それらの削
除規則が同じでないかどうか、または削除規則が「空文
字設定」であるかどうかの判定に利用されてきた。その
ような場合は、エラー条件が存在するはずである。同様
に、「カスケード」削除規則に他の制約があり、すべて
の自己参照制約が「カスケード」削除規則を利用するの
ではない場合は、エラーが発生するはずである。この時
点で、オブジェクト関係が自己参照制約である場合は、
エラーは発生せず、先に進む必要はない。ここで、この
後は、図示した論理流れ図では、非自己参照制約のみを
考慮することに留意されたい。

この時点で、ブロック１３Ｂを通って論理流れ図の次の
部分に進む。次の部分では、参照保全性がデータ・テー
ブルの提案された作成または変更の後も維持されうるか
否か判定するために検査される、考慮中のデータベース
の選択された部分のモデルの作成を示している。上述の
モデルは、グラフとして示すことができ、このグラフで
、ノードはデータ・テーブルを表し、弧はデータ・テー
ブル間の関係を表す。このプロセスは、ブロック１３８
から始まる。ブロック１３８で、オブジェクト・テーブ
ルに対する新しいノードを既存ノードに連鎖し、そのノ
ードをマークする。次に、ブロック１４０で、第４図に
示すＡｄｄ　Ｄｅｐｅｎｄｅｎｔｓ（従属テーブル追加
）手順を呼び出す。

ここで第４図を参照すると、Ａｄｄ　Ｄｅｐｅｎｄｅｎ
ｔｓ手順が示されている。この手順は、ブロック１７４
から始まる。その後、ブロック１７６で、考慮中のテー
ブルが親テーブルとなっている第１の制約を得る。次に
、ブロック１７８で、すべての制約が処理されたか否か
判定する。処理されている場合は、ブロック１８４に示
すように、ＡｄｄＤｅｐｅｎｄｅｎｔｓ手順は終了する
。

すべての制約が処理されてはいないとブロック１７８で
判定された場合は、次にブロック１８０で、その従属テ
ーブルに対するノードが存在するかどうか調べるために
ノード連鎖を走査する。その後、ブロック１８２で、そ
のよウなノードが存在するか否か判定する。否の場合は
、ブロック１８４で、そのテーブルの従属テーブルに対
する新しいノードを既存のノ一ドに連鎖し、そのノード
をマークする。すでにノードが存在するとブロック１８
２で判定された場合、またはブロック１８４に示すよう
に、テーブルに対する新ノードを既存のノードに連鎖し
た後は、ブロック１８８に進む。ブロック１８６で、新
しい弧を既存の弧に連鎖し、かつ親テーブル・ノードお
よび従属テーブル・ノードに連鎖する。その後、モデル
化手順が完了した後、参照保全性が維持されることの検
証を支援するために、新しい弧をマークしまたはフラグ
を立てる。弧とは、データベース内の２つのデータ●テ
ーブル間の関係を示す、データベース●モデルの部分を
意味する。

次に、ブロック１８８で、いま追加したばかりの制約が
「カスケード」削除規則を利用するか否か判定をする。

利用する場合は、次の子孫テーブルを「カスケード」削
除関係に追加するため、ブロック１９０に示すように、
ブロック１７４で始まるＡｄｄ　Ｄｅｐｅｎｄｅｎｔｓ
手順を繰り返し呼び出す。

このようにして、オブジェクト・ノードの従属テーブル
が、構築中のデータベースのモデルならびに「カスケー
ド」削除規則を介して従属テーブルにリンクされている
従属テーブルに追加される。当業者なら理解する通り、
「カスケード」削除規則を下向きに従属テーブルへとた
どるだけでよい。

というのは、削除結合はそれ以外の方法では不可能だか
らである。考慮中の制約の削除規則が「カスケード」で
ない場合、または「カスケード」削除規則をもつすべて
の従属テーブルを追加した後、ブロック１９２に進む。

ブロック１９２で、考慮中のテーブルが親テーブルとな
っている次の制約を得る。すべての制約が処理されたと
ブロック１７８で判定された後、ブロック１８４に進み
、Ａｄｄ　Ｄｅｐｅｎｄｅｎｔｓ手順を終了する。

第３Ａ図、第３Ｂ図、及び第３ｃ図を再び参照すると、
次にブロック１４２で、これまで述べてきたモデル化プ
ロセスによって作成されたノード連鎖内の第１ノードを
得る。次に、ブロック１４４で、マークされたすべての
ノードが処理されたか否か判定をする。否の場合には、
ブロック１４６に進む。ブロック１４Ｂで、処理中のノ
ードに対するテーブルが従属テーブルである第１の非自
己参照制約を得る。

次に、ブロック１４８で、すべての制約が処理されたか
否か判定する。否の場合は、ブロック１５０で、このノ
ードに対する親弧が存在するか否か、または親弧がマー
クされていないかどうか、または親弧の削除規則がその
制約における親テーブルの削除規則と等しくないかどう
か判定する。

これらの条件のいずれにも該当しない場合は、ブロック
１６４に進む。ブロック１６４で、このノードに対する
考慮中のテーブルが従属テーブルとなっている次の非自
己参照制約を得る。その後、ブロック１４８に戻って、
すべての制約が処理されたか否か判定する。

ブロック１５０で述べた条件のいずれか１つに該当する
場合は、ブロック１５２に進む。ブロック１５２で、親
テーブルに対するノードが存在するかどうか調べるため
にノード連鎖を走査する。

次にブロック１５４で、そのノードが存在するか否か判
定する。否の場合は、ブロック１５６で、新しいノード
を既存のノードに連鎖し、ブロック１５８に進む。親テ
ーブルに対するノードが存在するとブロック１５４で判
定された場合も、ブロック１５４からブロック１５８に
進む。

次に、ブロック１５８で、親ノード及び従属ノードに対
する新しい弧を既存の弧に連鎖する。次にブロック１６
０で、ノードが連鎖に追加されたか否か判定する。ノー
ドが追加された場合は、ブロック１６２に進む。ブロッ
ク１８２では、第５図に示すような、親テーブルに対す
るＡｄｄ　Ｐａｒｅｎｔｓ（親テーブル追加）手順を呼
び出す。

次に第５図を参照すると、／ｌｄｄ　ｐａｒｅｎｔｓ手
順が示されている。この手順はブロック１９６で始まる
。その後、ブロック１９８で、考慮中のテーブルが従属
テーブルとなっている第１の制約を得る。

次にブロック２００で、すべての制約が処理されたか否
か判定する。否の場合は、ブロック２０２で、考慮中の
制約に対する削除規則が「カスケード」であるか否か判
定する。

考慮中の制約に対する削除規則が「カスケード」の場合
には、ブロック２０４で、このプロセスによって見つか
った親テーブルに対するノードが存在するかどっか調べ
るためにノード連鎖を走査する。ブロック２０８で、そ
のノードが存在するか否か判定する。そのノードが存在
しない場合には、ブロック２０８で、このテーブルに対
する新しいノードを既存のノードに連鎖する。そのノー
ドがすでに存在する場合は、ブロック２１０に進む。

ブロック２１０で、新しい弧を既存の弧に連鎖し、かつ
親テーブル・ノード及び従属テーブル・ノードに連鎖す
る。ブロック２１２で、追加の先祖テーブルが存在する
場合にそれを追加するために、ブロック１９６から始ま
るＡｄｄ　Ｐａｒｅｎｔｓ手順を繰り返し呼び出す。

考慮中の制約の削除規則が「カスケード」でないとブロ
ック２０２で判定された場合、またはすべての親テーブ
ルがモデルに追加された後は、ブロック２１４に進む。

ブロック２１４で、このテーブルが従属テーブルとなっ
ている次の制約を得る。

その後、ブロック２００に戻って、すべての制約が処理
されたか否か判定する。このような制約がすべて処理さ
れた後、ブロック２１６で示すようにＡｄｄ　Ｐａｒｅ
ｎｔｓ手順を終了する。

第３Ａ図、第３Ｂ図、第３Ｃ図に示した論理流れ図を再
度参照すると、第５図に示したＡｄｄＰａｒｅｎｔｓ手
順を利用して、必要なすべての親テーブルをモデルに追
加した後、ブロック１６４に戻る。ブロック１６４で、
考慮中のテーブルが従属テーブルとなっている次の非自
己参照制約を得る。

再びブロック１４８を参照すると、すべての制約が処理
された後、ブロック１７０に進む。プロック１７０で、
連鎖内の次のノ一ドを得る。その後、ブロック１７２を
通ってブロック１４４に戻り、マークされたすべてのノ
ードが処理されたか否か判定する。マークされたすべて
のノードが処理されている場合は、ブロック１６６に進
む。ブロック１６６で、第６Ａ図及び第６Ｂ図に示すＡ
ｄｄＣｏｎｓｔｒａｉｎｔ　（制約追加）手順を呼び出
す。その後、ブロック１６８に示すように終了する。

次に、第６Ａ図及び第６Ｂ図を参照すると、Ａｄｄ　Ｃ
ｏｎｓｔｒａｉｎｔ手順が示されている。この手順はブ
ロック２１８で始まる。その後、ブロック２２０で、親
テーブルに対するノードが存在するかどうか調べるため
にノード連鎖を走査する。ブロソク２２２で、そのノー
ドが存在するか否か判定する。そのノードが存在しない
場合は、ブロック２２４で、そのテーブルに対する新し
いノードを既存のノードに連鎖する。このノードはマー
クされていないことに留意されたい。ノードがすでに存
在するとブロック２２２で判定された場合、またはブロ
ック２２４に示したように新しいノードを既存のノード
に連鎖した後、ブロック２２６に進む。ブロック２２８
で、新しい弧を既存の弧に連鎖し、かつ親テーブル・ノ
ード及び従属テーブル・ノードに連鎖する。この弧は、
定義中の制約を表す場合のみマークされる。

次に、ブロック２２８で、ノードがすでに存在したか否
か判定する。否の場合は、ブロック２３２で、このテー
ブルが従属テーブルとなっている第１の制約を得る。次
に、ブロック２３４で、すべての制約が処理されたか否
か判定する。処理されている場合、ブロック２４２に示
すよつに、Ａｄｄ　Ｃｏｎｓｔｒａｉｎｔ手順は終了す
る。

すべての制約が処理されてはいないとブロック２３４で
判定された場合は、ブロック２３６で、考慮中の制約に
対する削除規則が「カスケード」であるか否か判定する
。そうである場合は、ブロック２３８で示すように、ブ
ロック２１８から始まるＡｄｄ　Ｃｏｎｓｔｒａｉｎｔ
手順を繰り返し呼び出す。考慮中の制約の削除規則が「
カスケード」ではないとブロック２３６で判定された場
合は、次にプロツク２４０で、考慮中のテーブルが従属
テーブルとなっている次の制約を得る。

再びブロック２２８を参照すると、考慮中のノードがす
でに存在する場合は、ブロック２３０を通って、ブロッ
ク２４４に進む。ブロック２４４で、すでに存在するノ
ードがマークされたノードであるか否か判定する。そう
である場合は、ブロック２４６で、親弧が「カスケード
」削除規則を利用するか否か判定する。そつである場合
は、ブロック２４８に示すよウに、エラー・メッセージ
を出して終了する。親弧削除規則が「カスケード」でな
い場合は、ブロック２５０で、新しい制約に対する削除
規則が「カスケード」であるか否か判定する。そつであ
る場合は、ブロック２５２に示すよウに、やはりエラー
・メッセージを出して終了する。

再びブロック２４４を参照すると、すでに存在するノー
ドがマークされていない場合は、ブロック２５４で、第
７図に示すＣｈｅｃｋ　ＭｕｌｔｉｐｌｅＤｅｌｅｔｅ
　Ｃｏｎｎｅｃｔｉｏｎｓ　（接続多重削除検査）手順
を呼び出す。その後、いずれの場合でも、ブロック２４
２に示すように、Ａｄｄ　Ｃｏｎｓｔｒａｉｎｔ手順は
終了する。

次に第７図を参照すると、先に第６Ｂ図の説明で参照し
たＣｈｅｃｋ　Ｍｕｌｔｉｐｌｅ　Ｄｅｌｅｔｅ　Ｃｏ
ｎｎｅｃｔｉｏｎｓ手順が示されている。このプロセス
はブロック２５８で始まり、その後、ブロック２５８で
、考慮中のノードに連鎖された第１の従属弧を得る。次
に、ブロック２８０で、すべての従属弧が処理されたか
否か判定する。すべての従属弧が処理されている場合は
、ブロック２８４に示すように、手順は終了する。

すべての従属弧が処理されてはいない場合は、ブロック
２６２で、従属ノードがマークされているか否か判定す
る。従属ノードがマークされていない場合は、ブロック
２６４で、次の従属弧を考慮すべくブロック２５６から
始まるＣｈｅｃｋＭｕｌｔｉｐｌｅ　Ｄｅｌｅｔｅ　Ｃ
ｏｎｎｅｃｔｉｏｎｓ手順を繰り返し呼び出す。従属ノ
ードがマークされているとブロック２６２で判定された
場合は、ブロック２６６に進む。ブロック２６６では、
従属ノードがオブジェクト・テーブルに対するノードで
あるか否か判定する。そうである場合は、ブロック２６
８で、従属弧がマークされているか否か判定する。従属
弧がマークされている場合は、ブロック２８２に進む。

ブロック２８２で、考慮中のテーブルが従属テーブルと
なっている次の制約を得る。

従属弧がマークされていない場合は、ブロック２７０で
、従属弧に対する削除規則が「空文字設定」であるか否
か判定する。削除規則が「空文字設定」である場合は、
ブロック２８０に示すように、エラー・メッセージを出
して終了する。従属弧に対する削除規則が「空文字設定
」でない場合は、ブロック２７２に進んで、従属弧とマ
ークされた弧の削除規則が異なっているか否か判定する
。

削除規則が異なっている場合は、ブロック２８０に示す
よウに、やはりエラー・メッセージを出して終了する。

マークされた弧と従属弧の削除規則が異なっていない場
合は、ブロック２８２に進む。

ブロック２８２で、このテーブルが従属テーブルとなっ
ている次の制約を得る。

再びブロック２６６を参照すると、従属ノードがオブジ
ェクト・テーブルに対するノードではないと判定された
場合は、ブロック２７４に進み、新しい制約が「カスケ
ード」削除規則を利用するか否か判定する。新しい制約
が「カスケード」削除規則を利用しない場合は、ブロッ
ク２８２に進む。ブロック２８２で、このテーブルが従
属テーブルとなっている次の制約を得る。

新しい制約が「カスケード」削除規則を利用する場合に
は、ブロック２７６で、従属弧及び親弧に対する削除規
則が両方とも「空文字設定」であるか否か判定する。そ
うである場合は、ブロック２８０に示すように、エラー
・メッセージを出して終了する。従属弧及び親弧の削除
規則が両方とも「空文字設定」でない場合は、ブロック
２７８に進み、従属弧と親弧の削除規則が異なっている
か否か判定する。削除規則が異なっている場合は、ブロ
ック２８０に示すように、エラー・メッセージを出して
終了する。従属弧と親弧に対する削除規則が同じである
場合は、ブロック２８２に戻る。

ブロック２８２で、このテーブルが従属テーブルとなっ
ている新しい制約を得る。

上記の説明を参照すると、当業者なら理解する通り、こ
こに出願者等が開示する方法は、リレーシロナル・デー
タベースに対する提案された変更を検証して、まず作成
または変更すべきテーブルに対する関係を既知の非エラ
ー条件、またはエラー条件をもたらす自己参照制約があ
るかどうか検査することにより、参照保全性が、維持さ
れるかどうか判定する方法を提供する。その後、本明細
書に記述した方法は、まずオブジェクト・テーブルから
始め、その後オブジェクト・テーブルに削除結合された
すべてのテーブルを追加することにより、リレーシｌナ
ル●データベースの一部分のモデルを作成する。次に、
この手順では、以前にモデルに追加されていなかった親
テーブルがあればそれを、また「カスケード」削除規則
によって親テーブルに結合された先祖テーブルがあれば
それも追加する。

モデル内の，各ノードまたは弧は、従属テーブルを考慮
する際にはマークされるが、親テーブル及び先祖テーブ
ルを介して上方にカスケード弧をたどる場合にはマーク
されないことに留意されたい。

ノードまたは弧をマークすることの意味は、上記の説明
を参照すれば、当業者には明らかなはずである。あるテ
ーブルが複数のテーブルのサイクルで自分自身に削除結
合されるために制限違反が起こるときは、マークされた
ノードが常に必要である。さらに、あるテーブルが多数
の径路を介して別のテーブルに削除結合され、かつその
テーブルが従属テーブルとなっている当該の諸関係が同
じ削除規則を持たない場合には、削除結合されるテーブ
ルは、常にマークされたノードであり、マークされた弧
が常に必要である。データベースの提案された新しい参
照制約によって影響を受ける部分のモデルを作成した後
、本発明の方法では、提案された変更が参照保全性の維
持に関して有効か否か判定するために、それらのテーブ
ルを検査するだけでよい。

Ｆ．発明の効果 本発明を用いれば、リレーシ廖ナル・データベースにお
いて参照保全性を容易に維持することができる。

【図面の簡単な説明】

第１図は、本発明の方法を実施するために利用できるデ
ータ処理ネットワークの絵画図である。 第２図は、このようなデータ・テーブルの相互関係を示
すために利用できる多重データ・テーブルの絵画図であ
る。 第３Ａ図、第３Ｂ図、及び第３Ｃ図は、提案された新参
照制約の追加後も参照保全性が維持されることを検証す
るために利用できる本発明の方法を示す論理流れ図であ
る。 第４図は、選択された従属テーブルがデータベース・モ
デルに追加される方式を示す論理流れ図である。 第５図は、選択された親テーブルがデータベース・モデ
ルに追加される方式を示す論理流れ図である。 第６Ａ図及び第６Ｂ図は、選択された追加制約がデータ
ベース・モデルに追加される方式を示す論理流れ図であ
る。 第７図は、リレーシリナル・データベース内で参照保全
性が維持されることを検証するために省略されたデータ
ベース・モデル内の多数の削除結合が検査される方式を
示す論理流れ図である。

Claims (3)

【特許請求の範囲】
1. （１）データ処理システムにおける、複数の関連したデ
   ータ・テーブルをもつリレーショナル・データベース内
   の選択されたデータ・テーブルの作成または変更によっ
   て引き起こされる新しい参照制約の妥当性を判定する方
   法であって、 前記複数の関連データ・テーブルのうちのどれが前記の
   新しい参照制約の存在によって影響を受けるかを識別す
   るステップ、及び 前記識別された関連データ・テーブルに対してのみ前記
   新しい参照制約の妥当性を検証するステップ、 を含む前記の方法。
2. （２）データ処理システムにおける、複数の関連したデ
   ータ・テーブルをもつリレーショナル・データベース内
   の選択されたデータ・テーブルの作成または変更によっ
   て引き起こされる新しい参照制約の妥当性を判定する方
   法であって、 前記選択されたデータ・テーブルに対するすベての関係
   を検査して、前記複数の関連データ・テーブルのいずれ
   かが前記新しい参照制約の存在によって影響を受けるか
   どうか判定するステップ、前記複数の関連データ・テー
   ブルのいずれかが影響を受ける場合、前記複数の関連デ
   ータ・テーブルのうちのどれが前記新しい参照制約の存
   在によって影響を受けるかを識別するステップ、及び前
   記識別された関連データ・テーブルに対してのみ前記新
   しい参照制約の妥当性を検証するステップ、 を含む前記の方法。
3. （３）複数の関連したデータ・テーブルをもつデータ処
   理システム内のリレーシヨナル・データベース内の選択
   されたデータ・テーブルの作成または変更によって引き
   起こされる新しい参照制約の妥当性を判定する装置であ
   って、 前記複数の関連データ・テーブルのうちのどれが前記新
   しい参照制約の存在によって影響を受けるかを識別する
   手段、及び 前記識別された関連テーブルに対してのみ前記新しい参
   照制約の妥当性を検証する手段、 を含む前記装置。