JP2000267908A - データベース管理システム及びその管理方法並びに管理プログラムを格納した記憶媒体 - Google Patents
データベース管理システム及びその管理方法並びに管理プログラムを格納した記憶媒体Info
- Publication number
- JP2000267908A JP2000267908A JP11073847A JP7384799A JP2000267908A JP 2000267908 A JP2000267908 A JP 2000267908A JP 11073847 A JP11073847 A JP 11073847A JP 7384799 A JP7384799 A JP 7384799A JP 2000267908 A JP2000267908 A JP 2000267908A
- Authority
- JP
- Japan
- Prior art keywords
- sheet
- constraint
- query
- violation
- database
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
(57)【要約】
【課題】 制約記述能力が高く、意図しないデータ喪失
を極力防止すると共に、照会を参照利用できるデータベ
ース管理システムを提供する。 【解決手段】 データベース記憶部１１０が、シートを
記憶するシート記憶部１１１と、参照制約を記憶する参
照制約記憶部１１２と、所定のシート間における制約の
違反を照会によって定義した照会制約を記憶する照会制
約記憶部１１３とを備え、データベース整合性管理部１
２０が、参照制約違反を解消する参照制約違反解消部１
２１と、照会制約の違反を検出する照会制約違反検出部
１２２と、各シートに関して照会制約整合性に関する情
報を管理する照会制約整合性管理部１２３と、非更新シ
ートに対して参照制約違反の自動解消及びデータアクセ
スを禁止すると共に、シート参照関係を考慮した順番に
従って非更新シートでないシートに対する参照制約違反
の自動解消を行うシート更新制御部１２４とを備える。
を極力防止すると共に、照会を参照利用できるデータベ
ース管理システムを提供する。 【解決手段】 データベース記憶部１１０が、シートを
記憶するシート記憶部１１１と、参照制約を記憶する参
照制約記憶部１１２と、所定のシート間における制約の
違反を照会によって定義した照会制約を記憶する照会制
約記憶部１１３とを備え、データベース整合性管理部１
２０が、参照制約違反を解消する参照制約違反解消部１
２１と、照会制約の違反を検出する照会制約違反検出部
１２２と、各シートに関して照会制約整合性に関する情
報を管理する照会制約整合性管理部１２３と、非更新シ
ートに対して参照制約違反の自動解消及びデータアクセ
スを禁止すると共に、シート参照関係を考慮した順番に
従って非更新シートでないシートに対する参照制約違反
の自動解消を行うシート更新制御部１２４とを備える。
Description
【０００１】
【発明の属する技術分野】本発明は、データベース管理
システムに関し、特に複数シート（表、照会）間におけ
るデータの整合性管理方法及び更新制御方法に特徴を有
するデータベース管理システム及びその管理方法並びに
管理プログラムを格納した記憶媒体に関する。
システムに関し、特に複数シート（表、照会）間におけ
るデータの整合性管理方法及び更新制御方法に特徴を有
するデータベース管理システム及びその管理方法並びに
管理プログラムを格納した記憶媒体に関する。
【０００２】
【従来の技術】データベース管理システムは、データベ
ースを格納してデータ管理を行うコンピュータシステム
である。一般に、リレーショナルデータベースを管理対
象とするリレーショナルデータベース管理システムが使
われている。リレーショナルデータベースは、列（フィ
ールド、またはアトリビュート）と行（レコード、また
はタプル）とで表される二次元の表（テーブル、または
リレーション）を複数持つデータベースである。リレー
ショナルデータベース管理システムの詳細に関しては、
例えば、文献「Ａｎ Ｉｎｔｒｏｄｕｃｔｉｏｎ ｔｏ
Ｄａｔａｂａｓｅ Ｓｙｓｔｅｍｓ」（Ｃ．Ｊ．Ｄａ
ｔｅ著、ｖｏｌ．１、４ｔｈ ｅｄｉｔｉｏｎ、Ａｄｄ
ｉｓｏｎ−Ｗｅｓｌｅｙ Ｐｕｂｌｉｓｈｉｎｇ Ｃ
ｏ．Ｒｅａｄｉｎｇ、ＭＡ（１９８６））に記載されて
いる。
ースを格納してデータ管理を行うコンピュータシステム
である。一般に、リレーショナルデータベースを管理対
象とするリレーショナルデータベース管理システムが使
われている。リレーショナルデータベースは、列（フィ
ールド、またはアトリビュート）と行（レコード、また
はタプル）とで表される二次元の表（テーブル、または
リレーション）を複数持つデータベースである。リレー
ショナルデータベース管理システムの詳細に関しては、
例えば、文献「Ａｎ Ｉｎｔｒｏｄｕｃｔｉｏｎ ｔｏ
Ｄａｔａｂａｓｅ Ｓｙｓｔｅｍｓ」（Ｃ．Ｊ．Ｄａ
ｔｅ著、ｖｏｌ．１、４ｔｈ ｅｄｉｔｉｏｎ、Ａｄｄ
ｉｓｏｎ−Ｗｅｓｌｅｙ Ｐｕｂｌｉｓｈｉｎｇ Ｃ
ｏ．Ｒｅａｄｉｎｇ、ＭＡ（１９８６））に記載されて
いる。
【０００３】リレーショナルデータベース管理システム
は、複数の表の間を関係づけるために、二つの表におけ
る列どうしを関係づける参照制約を行っている。リレー
ショナルデータベース管理システムで用いられる参照制
約は、データに重複を許さない主キーという列と、主キ
ー列を参照する外部キーという列とを関係づけるもの
で、主キー列にない要素は外部キー列の要素として存在
しないことを意味している。
は、複数の表の間を関係づけるために、二つの表におけ
る列どうしを関係づける参照制約を行っている。リレー
ショナルデータベース管理システムで用いられる参照制
約は、データに重複を許さない主キーという列と、主キ
ー列を参照する外部キーという列とを関係づけるもの
で、主キー列にない要素は外部キー列の要素として存在
しないことを意味している。
【０００４】参照制約では、「ＲＥＳＴＲＩＣＴ」、
「ＣＡＳＣＡＤＥ」、「ＳＥＴ ＮＵＬＬ」、「ＳＥＴ
ＤＥＦＡＵＬＴ」というような規則にしたがって、外
部キー列の関連削除や関連更新を行う。参照制約の動作
の例を、図１２を参照して説明する。図１２において、
参照先の表１２０１のＤＡＴＡ列は主キーであり、参照
元の表１２０２のＤＡＴＡ列は参照先表１２０１のＤＡ
ＴＡ列を参照する外部キーである。
「ＣＡＳＣＡＤＥ」、「ＳＥＴ ＮＵＬＬ」、「ＳＥＴ
ＤＥＦＡＵＬＴ」というような規則にしたがって、外
部キー列の関連削除や関連更新を行う。参照制約の動作
の例を、図１２を参照して説明する。図１２において、
参照先の表１２０１のＤＡＴＡ列は主キーであり、参照
元の表１２０２のＤＡＴＡ列は参照先表１２０１のＤＡ
ＴＡ列を参照する外部キーである。
【０００５】初期的に、参照先表１２０１のＤＡＴＡ列
が「Ａ、Ｂ、Ｃ、Ｄ」、参照元表１２０２のＤＡＴＡ列
が「Ｂ、Ｄ」であるものとする（状態１）。参照先表１
２０１のＤＡＴＡ列からＢを削除すると、状態２に示す
ように、参照先表１２０３のＤＡＴＡ列が「Ａ、Ｃ、
Ｄ」、参照元表１２０４のＤＡＴＡ列が「Ｂ、Ｄ」とな
る。この状態は、主キー列にない要素が外部キー列の要
素として存在しており、参照制約に違反している。そこ
で、参照制約違反を解消する処理が自動的に実行され、
参照元表１２０４のＤＡＴＡ列から「Ｂ」が消去され
る。その結果、状態３に示すように、参照先表１２０３
のＤＡＴＡ列が「Ａ、Ｃ、Ｄ」、参照元表１２０４のＤ
ＡＴＡ列が「Ｄ」となり、参照制約が守られた状態にな
る。
が「Ａ、Ｂ、Ｃ、Ｄ」、参照元表１２０２のＤＡＴＡ列
が「Ｂ、Ｄ」であるものとする（状態１）。参照先表１
２０１のＤＡＴＡ列からＢを削除すると、状態２に示す
ように、参照先表１２０３のＤＡＴＡ列が「Ａ、Ｃ、
Ｄ」、参照元表１２０４のＤＡＴＡ列が「Ｂ、Ｄ」とな
る。この状態は、主キー列にない要素が外部キー列の要
素として存在しており、参照制約に違反している。そこ
で、参照制約違反を解消する処理が自動的に実行され、
参照元表１２０４のＤＡＴＡ列から「Ｂ」が消去され
る。その結果、状態３に示すように、参照先表１２０３
のＤＡＴＡ列が「Ａ、Ｃ、Ｄ」、参照元表１２０４のＤ
ＡＴＡ列が「Ｄ」となり、参照制約が守られた状態にな
る。
【０００６】図１３は、リレーショナルデータベース管
理システムの構成をデータベース整合性管理に注目して
表現したブロック図である。図１３を参照すると、リレ
ーショナルデータベース管理システムは、データベース
記憶部１３１０とデータベース整合性管理部１３２０と
を備えて構成され、データベース記憶部１３１０は、表
や照会を記憶するシート記憶部１３１１と、参照制約を
記憶する参照制約記憶部１３１２とを備え、データベー
ス整合性管理部１３２０は、参照制約違反の自動解消を
行う参照制約違反解消部１３２１を備える。
理システムの構成をデータベース整合性管理に注目して
表現したブロック図である。図１３を参照すると、リレ
ーショナルデータベース管理システムは、データベース
記憶部１３１０とデータベース整合性管理部１３２０と
を備えて構成され、データベース記憶部１３１０は、表
や照会を記憶するシート記憶部１３１１と、参照制約を
記憶する参照制約記憶部１３１２とを備え、データベー
ス整合性管理部１３２０は、参照制約違反の自動解消を
行う参照制約違反解消部１３２１を備える。
【０００７】データベース管理システムでは、データ操
作を行うためにクエリと呼ばれる一組のコマンドが用い
られる。リレーショナルデータベース管理システムで
は、通常、ＳＱＬ（Ｓｔｒｕｃｔｕｒｅｄ Ｑｕｅｒｙ
Ｌａｎｇｕａｇｅ）がクエリとして用いられる。クエ
リには、その機能に応じてＳＥＬＥＣＴクエリ、ＩＮＳ
ＥＲＴクエリ、ＤＥＬＥＴＥクエリ、ＵＰＤＡＴＥクエ
リなどがある。ＳＥＬＥＣＴクエリは、１または複数の
表を入力として行や列の結合を行い、決められた条件を
満たす列を選択して、結果を一つの表として出力するク
エリである。以下の説明では、ＳＥＬＥＣＴクエリとそ
の出力の表とを照会と称す。
作を行うためにクエリと呼ばれる一組のコマンドが用い
られる。リレーショナルデータベース管理システムで
は、通常、ＳＱＬ（Ｓｔｒｕｃｔｕｒｅｄ Ｑｕｅｒｙ
Ｌａｎｇｕａｇｅ）がクエリとして用いられる。クエ
リには、その機能に応じてＳＥＬＥＣＴクエリ、ＩＮＳ
ＥＲＴクエリ、ＤＥＬＥＴＥクエリ、ＵＰＤＡＴＥクエ
リなどがある。ＳＥＬＥＣＴクエリは、１または複数の
表を入力として行や列の結合を行い、決められた条件を
満たす列を選択して、結果を一つの表として出力するク
エリである。以下の説明では、ＳＥＬＥＣＴクエリとそ
の出力の表とを照会と称す。
【０００８】図１４は、この種の他の従来のデータベー
ス管理システムの構成を示すブロック図である。図１４
のデータベース管理システムを図１３に示したデータベ
ース管理システムと比較すると、データベース記憶部１
４１０が、シート記憶部１４１１及び参照制約記憶部１
４１２に加えて照会制約を記憶する照会制約記憶部１４
１３を備え、データベース整合性管理部１４２０が、参
照制約違反解消部１４２１に加えて照会制約違反を検出
する照会制約違反検出部１４２２とを備えている。照会
制約違反検出部１４２２は、データベース閲覧及び編集
時に紹介制約違反を検出した場合、その照会制約違反情
報を提示する。
ス管理システムの構成を示すブロック図である。図１４
のデータベース管理システムを図１３に示したデータベ
ース管理システムと比較すると、データベース記憶部１
４１０が、シート記憶部１４１１及び参照制約記憶部１
４１２に加えて照会制約を記憶する照会制約記憶部１４
１３を備え、データベース整合性管理部１４２０が、参
照制約違反解消部１４２１に加えて照会制約違反を検出
する照会制約違反検出部１４２２とを備えている。照会
制約違反検出部１４２２は、データベース閲覧及び編集
時に紹介制約違反を検出した場合、その照会制約違反情
報を提示する。
【０００９】図１４に示したデータベース管理システム
は、データベースの制約違反を自動解消するのではな
く、制約を表す照会（制約照会または違反リスト）を用
いて、ユーザに違反の提示のみを行う。制約照会によっ
て記述された制約（照会制約）を用いることにより、図
１３に示した従来のデータベース管理システムよりも制
約の表現力が向上するという効果を得ている。また、違
反状態が許されるため、データベース管理の柔軟性が向
上するという効果を得ている。
は、データベースの制約違反を自動解消するのではな
く、制約を表す照会（制約照会または違反リスト）を用
いて、ユーザに違反の提示のみを行う。制約照会によっ
て記述された制約（照会制約）を用いることにより、図
１３に示した従来のデータベース管理システムよりも制
約の表現力が向上するという効果を得ている。また、違
反状態が許されるため、データベース管理の柔軟性が向
上するという効果を得ている。
【００１０】また、この種のさらに他の従来のデータベ
ース管理システムの例として、特開平６−４３８３号公
報に開示されたシステムがある。同公報に記載されたデ
ータベース管理システムは、参照制約違反を自動解消す
るのではなく、参照制約違反のある表に対する閲覧を禁
止することによって利用時のアクセスのみを制御する。
これにより、図１３に示した従来のデータベース管理シ
ステムよりも、参照制約違反が許されるため、データベ
ース管理の柔軟性が向上するという効果を得ている。
ース管理システムの例として、特開平６−４３８３号公
報に開示されたシステムがある。同公報に記載されたデ
ータベース管理システムは、参照制約違反を自動解消す
るのではなく、参照制約違反のある表に対する閲覧を禁
止することによって利用時のアクセスのみを制御する。
これにより、図１３に示した従来のデータベース管理シ
ステムよりも、参照制約違反が許されるため、データベ
ース管理の柔軟性が向上するという効果を得ている。
【００１１】図１５は、同公報に記載されたデータベー
ス管理システムを、データベース整合性管理に注目して
表現したブロック図である。図１５のデータベース管理
システムを図１３に示した従来のデータベース管理シス
テムと比較すると、データベース整合性管理部１５２０
が、参照制約違反解消部１３２１の代わりに、データベ
ースを閲覧する際にアクセス制御を行う参照制約違反検
出部１５２１を備えている。
ス管理システムを、データベース整合性管理に注目して
表現したブロック図である。図１５のデータベース管理
システムを図１３に示した従来のデータベース管理シス
テムと比較すると、データベース整合性管理部１５２０
が、参照制約違反解消部１３２１の代わりに、データベ
ースを閲覧する際にアクセス制御を行う参照制約違反検
出部１５２１を備えている。
【００１２】
【発明が解決しようとする課題】しかし、上述した従来
のデータベース管理システムは、第１に誤入力を発見し
にくい、第２にデータ構築の自由度が低い、第３に重複
したデータ入力が多いという欠点を有していた。
のデータベース管理システムは、第１に誤入力を発見し
にくい、第２にデータ構築の自由度が低い、第３に重複
したデータ入力が多いという欠点を有していた。
【００１３】誤入力を発見するためには、データに対す
る制約をあらかじめ記述しておき、データ編集時に制約
違反がないかチェックするという管理方法が行われる。
制約を分類すると、データ型制約、他の表に対する参照
制約（以下、表参照制約と呼ぶ）、表以外の導出データ
に対する参照制約（以下、照会参照制約と呼ぶ）、その
他の、違反が導出可能である制約（前記照会制約に相
当）、の四つがある。
る制約をあらかじめ記述しておき、データ編集時に制約
違反がないかチェックするという管理方法が行われる。
制約を分類すると、データ型制約、他の表に対する参照
制約（以下、表参照制約と呼ぶ）、表以外の導出データ
に対する参照制約（以下、照会参照制約と呼ぶ）、その
他の、違反が導出可能である制約（前記照会制約に相
当）、の四つがある。
【００１４】図１３に示した従来のベース管理システム
は、データ型制約と表参照制約のみを制約として管理す
ることができたが、照会参照制約や照会制約を制約とし
て管理することができなかった。したがって、制約記述
能力が低かったために、誤入力を十分に発見することが
できなかった。
は、データ型制約と表参照制約のみを制約として管理す
ることができたが、照会参照制約や照会制約を制約とし
て管理することができなかった。したがって、制約記述
能力が低かったために、誤入力を十分に発見することが
できなかった。
【００１５】データ構築の自由度が低いという欠点は、
表参照制約によるデータ管理方法によって引き起こされ
る。データベース編集時に表の間の参照関係を考慮した
データ編集手順を守らなければ、参照制約違反の自動解
消機能によってデータ喪失の危険性があるためである。
すなわち、表参照制約によるデータ管理を行う結果とし
て、必然的にデータ構築の自由度が低いという欠点が生
じる。
表参照制約によるデータ管理方法によって引き起こされ
る。データベース編集時に表の間の参照関係を考慮した
データ編集手順を守らなければ、参照制約違反の自動解
消機能によってデータ喪失の危険性があるためである。
すなわち、表参照制約によるデータ管理を行う結果とし
て、必然的にデータ構築の自由度が低いという欠点が生
じる。
【００１６】重複したデータの入力が多いという欠点
は、全てのデータを人間が一つ一つ入力しているために
生じる。すなわち、機械的に導出可能なデータを列とし
て含む表を作成する際でも人間がデータ入力を行うた
め、同一のデータの入力作業が重複して、作業効率を低
下させることとなる。
は、全てのデータを人間が一つ一つ入力しているために
生じる。すなわち、機械的に導出可能なデータを列とし
て含む表を作成する際でも人間がデータ入力を行うた
め、同一のデータの入力作業が重複して、作業効率を低
下させることとなる。
【００１７】この問題を緩和する手段として、照会の列
への参照制約（前記照会参照制約）を設けて管理する方
法を取ることができる。しかし、照会参照制約を制約と
して管理すると、表参照制約について上述したのと同様
に、データ構築の自由度が下がることとなる。さらに、
照会参照制約を管理する場合、一部のデータを変更した
時に他のデータに与える影響が大きいことが多い。その
ため、データ喪失の危険性がより大きくなる。したがっ
て、データの入力を人間が行わなければならないため、
重複したデータの入力が多くなっていた。
への参照制約（前記照会参照制約）を設けて管理する方
法を取ることができる。しかし、照会参照制約を制約と
して管理すると、表参照制約について上述したのと同様
に、データ構築の自由度が下がることとなる。さらに、
照会参照制約を管理する場合、一部のデータを変更した
時に他のデータに与える影響が大きいことが多い。その
ため、データ喪失の危険性がより大きくなる。したがっ
て、データの入力を人間が行わなければならないため、
重複したデータの入力が多くなっていた。
【００１８】図１４に示した従来のデータベース管理シ
ステムは、制約照会を用いてユーザに誤入力を発見させ
る機能を用意しているため、データ型制約、表参照制約
だけでなく、照会制約についても誤入力を発見できる。
したがって、図１３に示したデータベース管理システム
と比較すれば、誤入力を発見できる可能性が増大する。
また、参照制約の代わりに照会制約を用いて、制約違反
を指摘するのみに留めれば、データ喪失の危険性がない
ため、より自由なデータ編集手順をとることができる。
しかし依然として、重複したデータ入力が多いという欠
点は解決されていない。
ステムは、制約照会を用いてユーザに誤入力を発見させ
る機能を用意しているため、データ型制約、表参照制約
だけでなく、照会制約についても誤入力を発見できる。
したがって、図１３に示したデータベース管理システム
と比較すれば、誤入力を発見できる可能性が増大する。
また、参照制約の代わりに照会制約を用いて、制約違反
を指摘するのみに留めれば、データ喪失の危険性がない
ため、より自由なデータ編集手順をとることができる。
しかし依然として、重複したデータ入力が多いという欠
点は解決されていない。
【００１９】また、特開平６−４３８３号公報に記載さ
れた従来のデータベース管理システムは、参照制約違反
を指摘するのみに留めて、参照制約違反に該当するデー
タを自動的に解消することはないため、データ喪失の危
険性がなく、より自由なデータ編集手順をとることがで
きる。しかし依然として、誤入力を発見しにくいという
欠点と、重複したデータ入力が多いという欠点とは解決
されていない。
れた従来のデータベース管理システムは、参照制約違反
を指摘するのみに留めて、参照制約違反に該当するデー
タを自動的に解消することはないため、データ喪失の危
険性がなく、より自由なデータ編集手順をとることがで
きる。しかし依然として、誤入力を発見しにくいという
欠点と、重複したデータ入力が多いという欠点とは解決
されていない。
【００２０】以上のように、従来のデータベース管理シ
ステムにおいては、誤入力を発見しにくいという欠点、
データ構築の自由度が低いという欠点及び重複したデー
タ入力が多いという欠点を同時に解決するシステムが存
在しなかった。特に、重複したデータ入力が多いという
欠点に関しては、従来、解決手段が全くなかった。
ステムにおいては、誤入力を発見しにくいという欠点、
データ構築の自由度が低いという欠点及び重複したデー
タ入力が多いという欠点を同時に解決するシステムが存
在しなかった。特に、重複したデータ入力が多いという
欠点に関しては、従来、解決手段が全くなかった。
【００２１】本発明の目的は、上記従来の欠点を同時に
解決し、制約記述能力が高く、意図しないデータ喪失を
極力防止すると共に、照会を参照利用できるデータベー
ス管理システム及びその管理方法並びに管理プログラム
を格納した記憶媒体を提供することにある。
解決し、制約記述能力が高く、意図しないデータ喪失を
極力防止すると共に、照会を参照利用できるデータベー
ス管理システム及びその管理方法並びに管理プログラム
を格納した記憶媒体を提供することにある。
【００２２】
【課題を解決するための手段】上記の目的を達成する本
発明は、データベースを格納したデータベース記憶手段
と、データベース記憶手段に格納されているデータを管
理するデータベース整合性管理手段とを備えたデータベ
ース管理システムにおいて、前記データベース記憶手段
が、前記データベースにおける表及び照会からなるシー
トを記憶するシート記憶手段と、前記シートにおける所
定の要素の関係である参照制約を記憶する参照制約記憶
手段と、所定の前記シート間における制約の違反を照会
によって定義した照会制約を記憶する照会制約記憶手段
とを備え、前記データベース整合性管理手段が、参照先
である前記シートの内容変更時に、参照元である表にお
ける参照制約違反の行を自動削除することにより参照制
約違反を解消する参照制約違反解消手段と、前記照会制
約の違反を検出する照会制約違反検出手段と、前記各シ
ートに関して、前記照会制約違反が検出された前記シー
トまたはそのような前記シートを直接または間接的に参
照または照会するシートであるかどうかを示す照会制約
整合性に関する情報を管理する照会制約整合性管理手段
と、照会制約不整合な照会を参照する表及びそのような
表を直接または間接的に参照または照会する前記シート
である非更新シートに対して参照制約違反の自動解消及
びデータアクセスを禁止すると共に、シート参照関係を
考慮した順番に従って前記非更新シートでない前記シー
トに対する参照制約違反の自動解消を行うシート更新制
御手段とを備えたことを特徴とする。
発明は、データベースを格納したデータベース記憶手段
と、データベース記憶手段に格納されているデータを管
理するデータベース整合性管理手段とを備えたデータベ
ース管理システムにおいて、前記データベース記憶手段
が、前記データベースにおける表及び照会からなるシー
トを記憶するシート記憶手段と、前記シートにおける所
定の要素の関係である参照制約を記憶する参照制約記憶
手段と、所定の前記シート間における制約の違反を照会
によって定義した照会制約を記憶する照会制約記憶手段
とを備え、前記データベース整合性管理手段が、参照先
である前記シートの内容変更時に、参照元である表にお
ける参照制約違反の行を自動削除することにより参照制
約違反を解消する参照制約違反解消手段と、前記照会制
約の違反を検出する照会制約違反検出手段と、前記各シ
ートに関して、前記照会制約違反が検出された前記シー
トまたはそのような前記シートを直接または間接的に参
照または照会するシートであるかどうかを示す照会制約
整合性に関する情報を管理する照会制約整合性管理手段
と、照会制約不整合な照会を参照する表及びそのような
表を直接または間接的に参照または照会する前記シート
である非更新シートに対して参照制約違反の自動解消及
びデータアクセスを禁止すると共に、シート参照関係を
考慮した順番に従って前記非更新シートでない前記シー
トに対する参照制約違反の自動解消を行うシート更新制
御手段とを備えたことを特徴とする。
【００２３】請求項２の本発明のデータベース管理シス
テムは、前記参照制約違反解消手段が、参照先の表がデ
ータ修正された場合に、参照元の表における対応する行
を自動修正し、参照先の前記シートが他の方法で内容変
更された場合に、前記参照元表における参照制約違反の
行を自動削除することを特徴とする。
テムは、前記参照制約違反解消手段が、参照先の表がデ
ータ修正された場合に、参照元の表における対応する行
を自動修正し、参照先の前記シートが他の方法で内容変
更された場合に、前記参照元表における参照制約違反の
行を自動削除することを特徴とする。
【００２４】上記の目的を達成する他の本発明は、デー
タベースを格納したデータベース記憶手段と、データベ
ース記憶手段に格納されているデータを管理するデータ
ベース整合性管理手段とを備えたデータベース管理シス
テムによるデータベース管理方法において、前記データ
ベースにおける表及び照会からなるシートと、前記シー
トにおける所定の要素の関係である参照制約と、所定の
前記シート間における制約の違反を照会によって定義し
た照会制約とを記憶し、参照先である前記シートの内容
変更時に、参照元である表における参照制約違反の行を
自動削除することにより参照制約違反を解消し、前記照
会制約の違反を検出し、前記シートに関して、前記照会
制約違反が検出された前記シートまたはそのような前記
シートを直接または間接的に参照または照会するシート
であるかどうかを示す照会制約整合性に関する情報を管
理し、照会制約不整合な照会を参照する表及びそのよう
な表を直接または間接的に参照または照会する前記シー
トである非更新シートに対して参照制約違反の自動解消
及びデータアクセスを禁止すると共に、シート参照関係
を考慮した順番に従って前記非更新シートでない前記シ
ートに対する参照制約違反の自動解消を行うことを特徴
とする。
タベースを格納したデータベース記憶手段と、データベ
ース記憶手段に格納されているデータを管理するデータ
ベース整合性管理手段とを備えたデータベース管理シス
テムによるデータベース管理方法において、前記データ
ベースにおける表及び照会からなるシートと、前記シー
トにおける所定の要素の関係である参照制約と、所定の
前記シート間における制約の違反を照会によって定義し
た照会制約とを記憶し、参照先である前記シートの内容
変更時に、参照元である表における参照制約違反の行を
自動削除することにより参照制約違反を解消し、前記照
会制約の違反を検出し、前記シートに関して、前記照会
制約違反が検出された前記シートまたはそのような前記
シートを直接または間接的に参照または照会するシート
であるかどうかを示す照会制約整合性に関する情報を管
理し、照会制約不整合な照会を参照する表及びそのよう
な表を直接または間接的に参照または照会する前記シー
トである非更新シートに対して参照制約違反の自動解消
及びデータアクセスを禁止すると共に、シート参照関係
を考慮した順番に従って前記非更新シートでない前記シ
ートに対する参照制約違反の自動解消を行うことを特徴
とする。
【００２５】請求項４の本発明のデータベース管理方法
は、前記参照制約違反を解消する場合に、参照先の表が
データ修正された場合に、参照元の表における対応する
行を自動修正し、参照先の前記シートが他の方法で内容
変更された場合に、前記参照元表における参照制約違反
の行を自動削除することを特徴とする。
は、前記参照制約違反を解消する場合に、参照先の表が
データ修正された場合に、参照元の表における対応する
行を自動修正し、参照先の前記シートが他の方法で内容
変更された場合に、前記参照元表における参照制約違反
の行を自動削除することを特徴とする。
【００２６】上記の目的を達成するさらに他の本発明
は、データベースを格納したデータベース記憶手段と、
データベース記憶手段に格納されているデータを管理す
るデータベース整合性管理手段とを備えたコンピュータ
システムを制御してデータベースを管理するデータベー
ス管理プログラムを格納した記憶媒体において、前記デ
ータベースにおける表及び照会からなるシートと、前記
シートにおける所定の要素の関係である参照制約と、所
定の前記シート間における制約の違反を照会によって定
義した照会制約とを記憶し、参照先である前記シートの
内容変更時に、参照元である表における参照制約違反の
行を自動削除することにより参照制約違反を解消し、前
記照会制約の違反を検出し、前記シートに関して、前記
照会制約違反が検出された前記シートまたはそのような
前記シートを直接または間接的に参照または照会するシ
ートであるかどうかを示す照会制約整合性に関する情報
を管理し、照会制約不整合な照会を参照する表及びその
ような表を直接または間接的に参照または照会する前記
シートである非更新シートに対して参照制約違反の自動
解消及びデータアクセスを禁止すると共に、シート参照
関係を考慮した順番に従って前記非更新シートでない前
記シートに対する参照制約違反の自動解消を行うことを
特徴とする。
は、データベースを格納したデータベース記憶手段と、
データベース記憶手段に格納されているデータを管理す
るデータベース整合性管理手段とを備えたコンピュータ
システムを制御してデータベースを管理するデータベー
ス管理プログラムを格納した記憶媒体において、前記デ
ータベースにおける表及び照会からなるシートと、前記
シートにおける所定の要素の関係である参照制約と、所
定の前記シート間における制約の違反を照会によって定
義した照会制約とを記憶し、参照先である前記シートの
内容変更時に、参照元である表における参照制約違反の
行を自動削除することにより参照制約違反を解消し、前
記照会制約の違反を検出し、前記シートに関して、前記
照会制約違反が検出された前記シートまたはそのような
前記シートを直接または間接的に参照または照会するシ
ートであるかどうかを示す照会制約整合性に関する情報
を管理し、照会制約不整合な照会を参照する表及びその
ような表を直接または間接的に参照または照会する前記
シートである非更新シートに対して参照制約違反の自動
解消及びデータアクセスを禁止すると共に、シート参照
関係を考慮した順番に従って前記非更新シートでない前
記シートに対する参照制約違反の自動解消を行うことを
特徴とする。
【００２７】
【発明の実施の形態】以下、本発明の実施の形態につい
て図面を参照して詳細に説明する。始めに、以下の説明
において用いる用語の定義をまとめて示す。「照会」と
は、ＳＥＬＥＣＴクエリとその出力の表のことである。
また、「ＡがＢを照会する」と動詞で使われる場合に
は、Ａがそのクエリの結果を導くのにＢを必要とするこ
とを指す。「シート」とは、表または照会である。「参
照制約」とは、ある表Ａの列が他のあるシートＢの列の
要素から成るという関係であり、この関係を、ＡがＢを
参照すると呼ぶ。従来のリレーショナルデータベース管
理システムにおいて参照整合性と呼ばれる概念にほぼ対
応する。「照会制約」とは、１または複数のシート間で
満たすべき制約において、その制約違反を照会によって
定義したものである。この場合の照会を、特に「制約照
会」と呼ぶ。「シートｘの親」とは、ｘに参照または照
会されるシートのことである。「ｘの一つ前のシート」
とも呼ぶ。「シートｘの子」とは、ｘを参照または照会
するシートのことである。「ｘの一つ後のシート」とも
呼ぶ。「シートｘの祖先」とは、ｘから前に辿れるシー
トのことである。「シートｘの子孫」とは、ｘから後に
辿れるシートのことである。「照会制約不整合なシー
ト」とは、違反検出をしている制約照会に直接または間
接的に照会されているシート及びそのようなシートを祖
先として持つシートのことである。単に、「不整合シー
ト」とも呼ぶ。「照会制約整合なシート」とは、照会制
約不整合シートでないシートのことである。すなわち、
違反検出している制約照会を子として持たず、祖先のシ
ートに照会制約不整合シートが存在しないシートのこと
である。単に、「整合シート」とも呼ぶ。「非更新シー
ト」とは、照会制約不整合な照会を参照する表及びその
ような表を祖先として持つシートのことである。「更新
シート」とは、非更新シート以外のシートのことであ
る。
て図面を参照して詳細に説明する。始めに、以下の説明
において用いる用語の定義をまとめて示す。「照会」と
は、ＳＥＬＥＣＴクエリとその出力の表のことである。
また、「ＡがＢを照会する」と動詞で使われる場合に
は、Ａがそのクエリの結果を導くのにＢを必要とするこ
とを指す。「シート」とは、表または照会である。「参
照制約」とは、ある表Ａの列が他のあるシートＢの列の
要素から成るという関係であり、この関係を、ＡがＢを
参照すると呼ぶ。従来のリレーショナルデータベース管
理システムにおいて参照整合性と呼ばれる概念にほぼ対
応する。「照会制約」とは、１または複数のシート間で
満たすべき制約において、その制約違反を照会によって
定義したものである。この場合の照会を、特に「制約照
会」と呼ぶ。「シートｘの親」とは、ｘに参照または照
会されるシートのことである。「ｘの一つ前のシート」
とも呼ぶ。「シートｘの子」とは、ｘを参照または照会
するシートのことである。「ｘの一つ後のシート」とも
呼ぶ。「シートｘの祖先」とは、ｘから前に辿れるシー
トのことである。「シートｘの子孫」とは、ｘから後に
辿れるシートのことである。「照会制約不整合なシー
ト」とは、違反検出をしている制約照会に直接または間
接的に照会されているシート及びそのようなシートを祖
先として持つシートのことである。単に、「不整合シー
ト」とも呼ぶ。「照会制約整合なシート」とは、照会制
約不整合シートでないシートのことである。すなわち、
違反検出している制約照会を子として持たず、祖先のシ
ートに照会制約不整合シートが存在しないシートのこと
である。単に、「整合シート」とも呼ぶ。「非更新シー
ト」とは、照会制約不整合な照会を参照する表及びその
ような表を祖先として持つシートのことである。「更新
シート」とは、非更新シート以外のシートのことであ
る。
【００２８】図１は、本発明の一実施形態によるデータ
ベース管理システムの構成を示すブロック図である。図
１を参照すると、本実施形態のデータベース管理システ
ムは、データベース記憶部１１０と、データベース整合
性管理部１２０と、データベース閲覧編集部１３０とを
備えて構成される。
ベース管理システムの構成を示すブロック図である。図
１を参照すると、本実施形態のデータベース管理システ
ムは、データベース記憶部１１０と、データベース整合
性管理部１２０と、データベース閲覧編集部１３０とを
備えて構成される。
【００２９】データベース記憶部１１０は、シートを記
憶するためのシート記憶部１１１と、参照制約を記憶す
るための参照制約記憶部１１２と、照会制約を記憶する
ための照会制約記憶部１１３とを備える。
憶するためのシート記憶部１１１と、参照制約を記憶す
るための参照制約記憶部１１２と、照会制約を記憶する
ための照会制約記憶部１１３とを備える。
【００３０】データベース整合性管理部１２０は、参照
先シートの内容変更時に参照元表の参照制約違反行を自
動削除することにより参照制約違反を解消する参照制約
違反解消部１２１と、各照会制約の違反を検出する照会
制約違反検出部１２２と、前述した定義に基づいて各シ
ートの照会制約整合性を判断すると共にその情報を管理
する照会制約整合性管理部１２３と、前述した定義に基
づいて各シートが更新シートであるか非更新シートであ
るかを判断し、非更新シートに対する参照制約違反自動
解消及びデータアクセス（閲覧、編集）の禁止を行い、
シート参照関係を考慮した順番に従って更新シートに対
する参照制約違反自動解消を行うシート更新制御部１２
４とを備える。
先シートの内容変更時に参照元表の参照制約違反行を自
動削除することにより参照制約違反を解消する参照制約
違反解消部１２１と、各照会制約の違反を検出する照会
制約違反検出部１２２と、前述した定義に基づいて各シ
ートの照会制約整合性を判断すると共にその情報を管理
する照会制約整合性管理部１２３と、前述した定義に基
づいて各シートが更新シートであるか非更新シートであ
るかを判断し、非更新シートに対する参照制約違反自動
解消及びデータアクセス（閲覧、編集）の禁止を行い、
シート参照関係を考慮した順番に従って更新シートに対
する参照制約違反自動解消を行うシート更新制御部１２
４とを備える。
【００３１】本実施形態は、パーソナルコンピュータや
ワークステーションその他のコンピュータ端末にて実現
される。そして、データベース記憶部１１０は、例えば
磁気ディスク装置その他の外部記憶装置で実現され、デ
ータベース整合性管理部１２０は、例えばプログラム制
御されたＣＰＵとＲＡＭその他の内部メモリとで実現さ
れる。ＣＰＵを制御してデータベース整合性管理部１２
０の各構成要素を実行するコンピュータプログラムは、
磁気ディスクや光ディスク、半導体メモリ、その他の一
般的な記憶媒体に格納して提供され、内部メモリにロー
ドされる。また、データベース閲覧編集部１３０は、例
えばキーボードその他の入力装置とディスプレイ装置と
データベース記憶部１１０及びデータベース整合性管理
部１２０へのインタフェースとで実現される。なお、図
１には、本実施形態における特徴的な構成のみを記載
し、他の一般的な構成については記載を省略してある。
ワークステーションその他のコンピュータ端末にて実現
される。そして、データベース記憶部１１０は、例えば
磁気ディスク装置その他の外部記憶装置で実現され、デ
ータベース整合性管理部１２０は、例えばプログラム制
御されたＣＰＵとＲＡＭその他の内部メモリとで実現さ
れる。ＣＰＵを制御してデータベース整合性管理部１２
０の各構成要素を実行するコンピュータプログラムは、
磁気ディスクや光ディスク、半導体メモリ、その他の一
般的な記憶媒体に格納して提供され、内部メモリにロー
ドされる。また、データベース閲覧編集部１３０は、例
えばキーボードその他の入力装置とディスプレイ装置と
データベース記憶部１１０及びデータベース整合性管理
部１２０へのインタフェースとで実現される。なお、図
１には、本実施形態における特徴的な構成のみを記載
し、他の一般的な構成については記載を省略してある。
【００３２】図２は、参照制約記憶部１１２に記憶され
る参照制約のデータ構造の例を示す。図である。図２に
示す表２０１は、各行に参照制約を一つずつ対応させた
表である。例えば、１行目の参照制約において、参照元
が「商品要求」という名前の表の「ＨＥＡＤＥＲ１」と
いう名前の列であり、参照先が「顧客一覧」という名前
の表の「名前」という名前の列であることを示してい
る。
る参照制約のデータ構造の例を示す。図である。図２に
示す表２０１は、各行に参照制約を一つずつ対応させた
表である。例えば、１行目の参照制約において、参照元
が「商品要求」という名前の表の「ＨＥＡＤＥＲ１」と
いう名前の列であり、参照先が「顧客一覧」という名前
の表の「名前」という名前の列であることを示してい
る。
【００３３】図３は、シート記憶部１１１に記憶される
照会の構成を示す図である。照会の本体３０１は、ＳＱ
Ｌのようなクエリ言語であるが、以後の処理を簡略化す
るための補助として、その照会に対応するシート間の依
存関係を併せて記憶してもよい。照会によるシート間の
依存関係をまとめて管理する表３０２をシート間照会表
と呼ぶ。また、照会制約記憶部１１３においても、制約
照会を同様の構成で記憶する。
照会の構成を示す図である。照会の本体３０１は、ＳＱ
Ｌのようなクエリ言語であるが、以後の処理を簡略化す
るための補助として、その照会に対応するシート間の依
存関係を併せて記憶してもよい。照会によるシート間の
依存関係をまとめて管理する表３０２をシート間照会表
と呼ぶ。また、照会制約記憶部１１３においても、制約
照会を同様の構成で記憶する。
【００３４】次に、データベース整合性管理部１２０に
ついて説明する。まず、データベース整合性管理部１２
０自体の説明に先立って、本実施形態のデータベース管
理システムで扱うことのできるデータベースの構造につ
いて説明する。図４に、そのようなデータベースの構造
を示す。同図は、シート間のデータフローを表したグラ
フなので、シート間関係グラフと呼ぶ。
ついて説明する。まず、データベース整合性管理部１２
０自体の説明に先立って、本実施形態のデータベース管
理システムで扱うことのできるデータベースの構造につ
いて説明する。図４に、そのようなデータベースの構造
を示す。同図は、シート間のデータフローを表したグラ
フなので、シート間関係グラフと呼ぶ。
【００３５】図４を参照すると、従来のデータベース管
理システムで扱っていたデータベースの構造と明確に異
なる点が２点ある。従来のデータベース管理システムで
扱っていたデータベースと異なる第１の点は、照会から
表へのデータフローが存在していることである。これ
は、表から表への参照しか許可していなかった従来のデ
ータベースにおける制限を緩和し、表から照会への参照
も許可したという変更による。
理システムで扱っていたデータベースの構造と明確に異
なる点が２点ある。従来のデータベース管理システムで
扱っていたデータベースと異なる第１の点は、照会から
表へのデータフローが存在していることである。これ
は、表から表への参照しか許可していなかった従来のデ
ータベースにおける制限を緩和し、表から照会への参照
も許可したという変更による。
【００３６】例えば、照会４０３−Ｈ１から表４０３−
Ｄへのデータフローが存在する。これは、表４０３−Ｄ
のある列が照会４０３−Ｈ１のある列を参照していると
いうことを示す。したがって、参照先である照会４０３
−Ｈ１の列に存在しないデータは、参照元である表４０
３−Ｄの列に存在しないという参照制約を表している。
Ｄへのデータフローが存在する。これは、表４０３−Ｄ
のある列が照会４０３−Ｈ１のある列を参照していると
いうことを示す。したがって、参照先である照会４０３
−Ｈ１の列に存在しないデータは、参照元である表４０
３−Ｄの列に存在しないという参照制約を表している。
【００３７】参照元の表に参照制約違反の行が存在すれ
ば、基本的には、参照制約違反解消部１２１により違反
行の削除が行われる。ただし、参照制約違反解消部１２
１が違反行の削除を実行するかどうかは、シート更新制
御部１２４によって決定される。また、参照先のシート
が表である場合は、違反行を削除するだけでなく、従来
のデータベース管理システムのように、参照先表の編集
に伴って参照元表の同内容のデータが自動変更される設
計としてもよい。
ば、基本的には、参照制約違反解消部１２１により違反
行の削除が行われる。ただし、参照制約違反解消部１２
１が違反行の削除を実行するかどうかは、シート更新制
御部１２４によって決定される。また、参照先のシート
が表である場合は、違反行を削除するだけでなく、従来
のデータベース管理システムのように、参照先表の編集
に伴って参照元表の同内容のデータが自動変更される設
計としてもよい。
【００３８】従来のデータベース管理システムで扱って
いたデータベースと異なる第２の点は、制約照会が存在
することである。これはシートの照会制約整合性を決め
る上で重要であるだけでなく、シートの更新制御を行う
上でも重要である。
いたデータベースと異なる第２の点は、制約照会が存在
することである。これはシートの照会制約整合性を決め
る上で重要であるだけでなく、シートの更新制御を行う
上でも重要である。
【００３９】図４を参照して、シートの照会制約整合性
及び更新、非更新に関する情報の伝播の例を示す。制約
照会４０５が違反だった場合、シートにおける照会制約
の整合、不整合の定義により、表４０２は制約照会４０
５に照会されているため不整合であり、不整合表４０２
の子孫の全て、すなわち照会４０３−Ｈ２、表４０３−
Ｄ、照会４０４−Ｈ、表４０４−Ｄ、制約照会４０５、
照会４０６、照会４０７、制約照会４０８も不整合とな
る。また、照会４０３−Ｈ２が不整合なので表４０３−
Ｄは非更新シート、照会４０４−Ｈが不整合なので表４
０４−Ｄは非更新シート、非更新シートを祖先に持つシ
ートも非更新シートなので、照会４０６、照会４０７、
制約照会４０８も非更新シートとなる。一方、制約照会
４０５に違反がなく、制約照会４０８が違反だった場
合、表４０３−Ｄは制約照会４０８に間接的に照会され
ているので不整合、表４０４−Ｄも照会されているので
不整合、それらの子孫である照会４０６、照会４０７、
制約照会４０８も不整合となる。
及び更新、非更新に関する情報の伝播の例を示す。制約
照会４０５が違反だった場合、シートにおける照会制約
の整合、不整合の定義により、表４０２は制約照会４０
５に照会されているため不整合であり、不整合表４０２
の子孫の全て、すなわち照会４０３−Ｈ２、表４０３−
Ｄ、照会４０４−Ｈ、表４０４−Ｄ、制約照会４０５、
照会４０６、照会４０７、制約照会４０８も不整合とな
る。また、照会４０３−Ｈ２が不整合なので表４０３−
Ｄは非更新シート、照会４０４−Ｈが不整合なので表４
０４−Ｄは非更新シート、非更新シートを祖先に持つシ
ートも非更新シートなので、照会４０６、照会４０７、
制約照会４０８も非更新シートとなる。一方、制約照会
４０５に違反がなく、制約照会４０８が違反だった場
合、表４０３−Ｄは制約照会４０８に間接的に照会され
ているので不整合、表４０４−Ｄも照会されているので
不整合、それらの子孫である照会４０６、照会４０７、
制約照会４０８も不整合となる。
【００４０】上述したように、本実施形態におけるデー
タベース整合性管理部１２０は、図１３乃至図１５に示
した従来のデータベース管理システムにおけるデータベ
ース整合性管理部と同様に参照制約違反解消部１２１及
び照会制約違反検出部１２２を備えると共に、これらに
加えて照会制約整合性管理部１２３と、シート更新制御
部１２４とを備える。
タベース整合性管理部１２０は、図１３乃至図１５に示
した従来のデータベース管理システムにおけるデータベ
ース整合性管理部と同様に参照制約違反解消部１２１及
び照会制約違反検出部１２２を備えると共に、これらに
加えて照会制約整合性管理部１２３と、シート更新制御
部１２４とを備える。
【００４１】照会制約整合性管理部１２３は、上述した
シートの整合性を判断し、その情報を不整合管理表を用
いて記憶する。不整合管理表は、シートの照会制約不整
合の原因も管理し、不整合シートのＩＤ及び不整合の原
因となる制約照会のＩＤを関係づけて記憶する。これに
より、照会制約に関する整合性情報を常に確認すること
ができるため、より誤入力を発見しやすくなる。また、
参照制約の代わりに照会制約を用いて制約違反を指摘す
るのみに留めれば、データ喪失の危険性がないため、よ
り自由なデータ編集手順をとることができる。
シートの整合性を判断し、その情報を不整合管理表を用
いて記憶する。不整合管理表は、シートの照会制約不整
合の原因も管理し、不整合シートのＩＤ及び不整合の原
因となる制約照会のＩＤを関係づけて記憶する。これに
より、照会制約に関する整合性情報を常に確認すること
ができるため、より誤入力を発見しやすくなる。また、
参照制約の代わりに照会制約を用いて制約違反を指摘す
るのみに留めれば、データ喪失の危険性がないため、よ
り自由なデータ編集手順をとることができる。
【００４２】シート更新制御部１２４は、非更新シート
に対する参照制約違反の自動解消及びデータアクセスを
禁止する。そして、シート参照関係を考慮した順番に従
って、非更新シートでないシートに対する参照制約違反
の自動解消を行う。したがって、参照制約における参照
先の対象が表だけでなく照会でもよいため、制約の記述
力が上がり、より誤入力を発見しやすくなる。また、意
図しないデータ喪失を防ぎながら照会の列への参照制約
違反の自動解消を行うことにより、照会参照制約が記述
できるため、重複データの入力が減少する。
に対する参照制約違反の自動解消及びデータアクセスを
禁止する。そして、シート参照関係を考慮した順番に従
って、非更新シートでないシートに対する参照制約違反
の自動解消を行う。したがって、参照制約における参照
先の対象が表だけでなく照会でもよいため、制約の記述
力が上がり、より誤入力を発見しやすくなる。また、意
図しないデータ喪失を防ぎながら照会の列への参照制約
違反の自動解消を行うことにより、照会参照制約が記述
できるため、重複データの入力が減少する。
【００４３】次に、シート更新制御部１２４の動作を、
図５乃至図１０を用いて詳しく説明する。ここでは、シ
ートの状態情報を記憶するためにシート管理表を用い
る。シート管理表は、シートのＩＤ、種類（表、照会、
制約照会）、整合性（整合（０）、不整合（１以上、不
整合の数））及び状態（未更新、更新不可、更新済、更
新中）を関係づけて記憶する。シートの初期状態は更新
済である。
図５乃至図１０を用いて詳しく説明する。ここでは、シ
ートの状態情報を記憶するためにシート管理表を用い
る。シート管理表は、シートのＩＤ、種類（表、照会、
制約照会）、整合性（整合（０）、不整合（１以上、不
整合の数））及び状態（未更新、更新不可、更新済、更
新中）を関係づけて記憶する。シートの初期状態は更新
済である。
【００４４】シート更新制御部１２４は、各シートに対
して更新シートか非更新シートかの判断を行う。当該判
断は、表間参照グラフを利用すると比較的簡単に行うこ
とができる。図６は、図４のシート間関係グラフに対応
する表間参照グラフである。図６には、４個のノード６
０１、６０２、６０３、６０４と、それらを結ぶ参照の
データフローが示されている。各ノード内の符号は、そ
れぞれ図４のノードの名前に対応している。例えば、ノ
ード６０１は、表４０１を中心としたノードであり、照
会４０３−Ｈ１を属性として持っている。また、ノード
６０３は、表４０３−Ｄを中心としたノードであり、照
会４０６、照会４０７、照会４０８を属性として持って
いる。このように、表間参照グラフは、各ノードの中心
に一つの表を持ち、各ノードの属性として複数の照会を
持ち、ノード間に参照のデータフローを持つようなグラ
フである。
して更新シートか非更新シートかの判断を行う。当該判
断は、表間参照グラフを利用すると比較的簡単に行うこ
とができる。図６は、図４のシート間関係グラフに対応
する表間参照グラフである。図６には、４個のノード６
０１、６０２、６０３、６０４と、それらを結ぶ参照の
データフローが示されている。各ノード内の符号は、そ
れぞれ図４のノードの名前に対応している。例えば、ノ
ード６０１は、表４０１を中心としたノードであり、照
会４０３−Ｈ１を属性として持っている。また、ノード
６０３は、表４０３−Ｄを中心としたノードであり、照
会４０６、照会４０７、照会４０８を属性として持って
いる。このように、表間参照グラフは、各ノードの中心
に一つの表を持ち、各ノードの属性として複数の照会を
持ち、ノード間に参照のデータフローを持つようなグラ
フである。
【００４５】図６を参照して、シートの整合性、更新・
非更新に関する情報の伝播の例を示す。制約照会４０５
が違反だった場合、図４の説明で示したように、表４０
２、照会４０３−Ｈ２、表４０３−Ｄ、照会４０４−
Ｈ、表４０４−Ｄ、制約照会４０５、照会４０６、照会
４０７、制約照会４０８が不整合となる。これは、制約
照会４０５を属性として持つノード６０２及びその子孫
のノードの全てが不整合になったとみなすことができ
る。また、非更新シートは、表４０３−Ｄ、表４０４−
Ｄ、照会４０６、照会４０７、制約照会４０８である。
これは、不整合なノード６０２を祖先として持つノード
６０３、６０４の全てのシートが非更新シートになった
とみなすことができる。また、制約照会４０５に違反が
なく、制約照会４０８が違反だった場合、表４０３−
Ｄ、表４０４−Ｄ、照会４０６、照会４０７、制約照会
４０８が不整合である。これは、制約照会４０８を属性
として持つノード６０３、６０４に属する全てのシート
が不整合になったとみなすことができる。このように、
表間参照グラフを用いることで、シートの整合性及びシ
ートの更新、非更新をまとめて管理できるようになる。
非更新に関する情報の伝播の例を示す。制約照会４０５
が違反だった場合、図４の説明で示したように、表４０
２、照会４０３−Ｈ２、表４０３−Ｄ、照会４０４−
Ｈ、表４０４−Ｄ、制約照会４０５、照会４０６、照会
４０７、制約照会４０８が不整合となる。これは、制約
照会４０５を属性として持つノード６０２及びその子孫
のノードの全てが不整合になったとみなすことができ
る。また、非更新シートは、表４０３−Ｄ、表４０４−
Ｄ、照会４０６、照会４０７、制約照会４０８である。
これは、不整合なノード６０２を祖先として持つノード
６０３、６０４の全てのシートが非更新シートになった
とみなすことができる。また、制約照会４０５に違反が
なく、制約照会４０８が違反だった場合、表４０３−
Ｄ、表４０４−Ｄ、照会４０６、照会４０７、制約照会
４０８が不整合である。これは、制約照会４０８を属性
として持つノード６０３、６０４に属する全てのシート
が不整合になったとみなすことができる。このように、
表間参照グラフを用いることで、シートの整合性及びシ
ートの更新、非更新をまとめて管理できるようになる。
【００４６】図５は、シート間関係グラフから表間参照
グラフを作成する方法を表したフローチャートである。
図５を参照すると、まず始めに、表間参照グラフの初期
状態をシート間関係グラフとする（ステップ５０１）。
次に、親同士で直系なものがあるかどうか探し、該当す
るシートを検出したならば、祖先の方への参照をカット
する（ステップ５０２）。同様の処理を、親同士で直系
なものがなくなるまで繰り返す。次に、あるシートの親
として照会が存在すれば、その照会に対して付けられて
いた照会、参照を外し、その更に親を照会先、参照先と
して付け替える（ステップ５０３）。同様の処理を、全
てのシートの親に照会が存在しなくなるまで繰り返す。
最後に、全ての照会はその親の表に所属するとみなす
（ステップ５０４）。こうして完成されたグラフを、表
間参照グラフと呼ぶ。
グラフを作成する方法を表したフローチャートである。
図５を参照すると、まず始めに、表間参照グラフの初期
状態をシート間関係グラフとする（ステップ５０１）。
次に、親同士で直系なものがあるかどうか探し、該当す
るシートを検出したならば、祖先の方への参照をカット
する（ステップ５０２）。同様の処理を、親同士で直系
なものがなくなるまで繰り返す。次に、あるシートの親
として照会が存在すれば、その照会に対して付けられて
いた照会、参照を外し、その更に親を照会先、参照先と
して付け替える（ステップ５０３）。同様の処理を、全
てのシートの親に照会が存在しなくなるまで繰り返す。
最後に、全ての照会はその親の表に所属するとみなす
（ステップ５０４）。こうして完成されたグラフを、表
間参照グラフと呼ぶ。
【００４７】本実施形態は、所定のシートがデータ編集
やプロパティ変更等で内容を変更された場合に、関連す
る他のシートとのデータ整合性を維持するために、関連
するそれらのシートに対する参照制約違反解消や照会更
新を行う。この機能をシート連鎖計算と呼ぶ。
やプロパティ変更等で内容を変更された場合に、関連す
る他のシートとのデータ整合性を維持するために、関連
するそれらのシートに対する参照制約違反解消や照会更
新を行う。この機能をシート連鎖計算と呼ぶ。
【００４８】所定のシートに対する参照制約違反解消や
照会更新を行うためには、それ以前にその参照先や照会
先のシートの違反解消や更新が終了している必要があ
る。また、シート更新制御部１２４は、照会制約不整合
からのデータフローによる参照制約違反解消時のデータ
喪失を最低限に抑えるためにブロック制御を表の前にか
けることを行うが、シート更新制御部１２４による当該
機能の実現を考えると、照会制約違反を正しく判断する
ために、できるだけ表よりも照会を先に実行する必要が
ある。
照会更新を行うためには、それ以前にその参照先や照会
先のシートの違反解消や更新が終了している必要があ
る。また、シート更新制御部１２４は、照会制約不整合
からのデータフローによる参照制約違反解消時のデータ
喪失を最低限に抑えるためにブロック制御を表の前にか
けることを行うが、シート更新制御部１２４による当該
機能の実現を考えると、照会制約違反を正しく判断する
ために、できるだけ表よりも照会を先に実行する必要が
ある。
【００４９】そのような必要条件を正しく満たすため
に、シートの更新順序を管理するための表、すなわちシ
ート更新順序管理表を用意する。シート更新順序管理表
は、全てのシートに渡って次の２点の必要条件を満たす
順序を記憶するものである。すなわち、第１の必要条件
は、シートＡからシートＢへのデータフローがある時、
シートＡがシートＢより必ず先にくるようにすること、
第２の必要条件は、表と照会とが同じ優先順位であれ
ば、照会を先にすることである。例えば、「シートＩ
Ｄ」という名前の列と「順番」という名前の列を持つ表
を考えればよい。本実施形態は、データベース内の複数
シート間のデータフローにループが存在しないように制
限を設ける。データフローにループが存在すると、正し
く参照制約違反解消や照会更新を行えないからである。
そして、データフローにループが存在する場合は、デー
タベースの設計に問題があるとし、システムがループを
検出した場合は、管理者に指摘して修正させる。
に、シートの更新順序を管理するための表、すなわちシ
ート更新順序管理表を用意する。シート更新順序管理表
は、全てのシートに渡って次の２点の必要条件を満たす
順序を記憶するものである。すなわち、第１の必要条件
は、シートＡからシートＢへのデータフローがある時、
シートＡがシートＢより必ず先にくるようにすること、
第２の必要条件は、表と照会とが同じ優先順位であれ
ば、照会を先にすることである。例えば、「シートＩ
Ｄ」という名前の列と「順番」という名前の列を持つ表
を考えればよい。本実施形態は、データベース内の複数
シート間のデータフローにループが存在しないように制
限を設ける。データフローにループが存在すると、正し
く参照制約違反解消や照会更新を行えないからである。
そして、データフローにループが存在する場合は、デー
タベースの設計に問題があるとし、システムがループを
検出した場合は、管理者に指摘して修正させる。
【００５０】ループの検出は、照会の修正などによりシ
ート間関係グラフの構造が変化した時に行われる。具体
的には、例えば修正されたシートからサブツリーを作
り、その作業中にそのシート自身が再登場したらループ
が検出されたと言える。シート更新順序管理表の作成手
順は、当業者には以上の説明で実現可能と思われる。
ート間関係グラフの構造が変化した時に行われる。具体
的には、例えば修正されたシートからサブツリーを作
り、その作業中にそのシート自身が再登場したらループ
が検出されたと言える。シート更新順序管理表の作成手
順は、当業者には以上の説明で実現可能と思われる。
【００５１】図７乃至図１０は、シート更新制御部１２
４によるシート連鎖計算の処理手順を示したフローチャ
ートである。本動作説明におけるシートの親子関係は、
シート間関係グラフにおける参照、照会の親子関係でな
く、表間参照グラフにおける参照、照会の親子関係であ
ると限定することにする。例えば、照会の親は表間参照
グラフにおける所属先の表、表の親は表間参照グラフに
おける参照先の表というような関係になる。
４によるシート連鎖計算の処理手順を示したフローチャ
ートである。本動作説明におけるシートの親子関係は、
シート間関係グラフにおける参照、照会の親子関係でな
く、表間参照グラフにおける参照、照会の親子関係であ
ると限定することにする。例えば、照会の親は表間参照
グラフにおける所属先の表、表の親は表間参照グラフに
おける参照先の表というような関係になる。
【００５２】また通常、シート連鎖計算で更新が必要と
なるのは、祖先のシートが編集された時なのであるが、
祖先が直接編集されないシートでも照会制約不整合が解
消される場合があり、そのようなシートも更新が必要と
なる。図７乃至図１０の流れ図は、このような更新も正
しく行われるように設計してある。
なるのは、祖先のシートが編集された時なのであるが、
祖先が直接編集されないシートでも照会制約不整合が解
消される場合があり、そのようなシートも更新が必要と
なる。図７乃至図１０の流れ図は、このような更新も正
しく行われるように設計してある。
【００５３】図７を参照すると、最初に、状態が更新中
のシートがあれば状態を未更新としてた後、変更された
シートを元としてサブツリーを作成し、作成されたサブ
ツリーにおけるシートの状態を全て未更新にする（ステ
ップ７０１）。次に、シート更新順序管理表から、状態
が未更新または更新中であるシートのうちで、最も順番
の若いシートを一つ選択する（ステップ７０２）。そし
て、シートの種類に応じて図８乃至図１０の各処理へ移
行する（ステップ７０３）。
のシートがあれば状態を未更新としてた後、変更された
シートを元としてサブツリーを作成し、作成されたサブ
ツリーにおけるシートの状態を全て未更新にする（ステ
ップ７０１）。次に、シート更新順序管理表から、状態
が未更新または更新中であるシートのうちで、最も順番
の若いシートを一つ選択する（ステップ７０２）。そし
て、シートの種類に応じて図８乃至図１０の各処理へ移
行する（ステップ７０３）。
【００５４】シートの種類が表の場合は、図８の処理へ
移行し、親の状態が全て更新済かつ整合である場合、ま
たは親が存在しない場合は、シートの更新を行い、シー
トの状態を更新中または更新済（子がいない場合）とす
る（ステップ８０１、８０２）。一方、親が存在する
が、その状態が更新不可または不整合である場合、シー
トの状態を更新不可とする（ステップ８０１、８０
３）。そして、図７に示す共通の処理に戻る。
移行し、親の状態が全て更新済かつ整合である場合、ま
たは親が存在しない場合は、シートの更新を行い、シー
トの状態を更新中または更新済（子がいない場合）とす
る（ステップ８０１、８０２）。一方、親が存在する
が、その状態が更新不可または不整合である場合、シー
トの状態を更新不可とする（ステップ８０１、８０
３）。そして、図７に示す共通の処理に戻る。
【００５５】シートの種類が照会の場合は、図９の処理
へ移行し、親の状態が全て更新済または更新中である場
合か、または親が存在しない場合は、シートの更新を行
い、シートの状態を更新済とする（ステップ９０１、９
０２）。親の表で子が全て更新済となるものがあれば、
それも更新済とする。一方、親が存在するが、その状態
が更新不可である場合、シートの状態を更新不可とする
（ステップ９０１、９０３）。そして、図７に示す共通
の処理に戻る。
へ移行し、親の状態が全て更新済または更新中である場
合か、または親が存在しない場合は、シートの更新を行
い、シートの状態を更新済とする（ステップ９０１、９
０２）。親の表で子が全て更新済となるものがあれば、
それも更新済とする。一方、親が存在するが、その状態
が更新不可である場合、シートの状態を更新不可とする
（ステップ９０１、９０３）。そして、図７に示す共通
の処理に戻る。
【００５６】シートの種類が制約照会の場合は、図１０
の処理へ移行し、親の状態が全て更新済または更新中で
あるか、または親が存在しない場合、まず、シートの更
新を行い、状態を更新済とする（ステップ１００１、１
００２）。親の表で子が全て更新済となるものがあれ
ば、それも更新済とする。当該シートが無違反から違反
に変わった場合、すなわち、違反が新たに発生した場合
は、当該親を元とするサブツリーに属するシートを不整
合管理表に登録し、不整合数の値を１増やした後、未更
新状態にする（ステップ１００３）。当該シートが違反
から無違反に変わった場合は、、すなわち、違反が消滅
した場合は、当該制約照会を原因とする不整合シートの
不整合数の値を１減らす。そして、状態が更新不可であ
るシートにおける不整合数の値が０になったならば、状
態を未更新に書き換え、当該制約照会を原因とする違反
を不整合管理表から削除する（ステップ１００４）。一
方、更新不可な親が存在するならば、当該シートの状態
を更新不可とし（ステップ１００１、１００５）、図７
に示す共通の処理に戻る。そして、図７に示す共通の処
理に戻る。
の処理へ移行し、親の状態が全て更新済または更新中で
あるか、または親が存在しない場合、まず、シートの更
新を行い、状態を更新済とする（ステップ１００１、１
００２）。親の表で子が全て更新済となるものがあれ
ば、それも更新済とする。当該シートが無違反から違反
に変わった場合、すなわち、違反が新たに発生した場合
は、当該親を元とするサブツリーに属するシートを不整
合管理表に登録し、不整合数の値を１増やした後、未更
新状態にする（ステップ１００３）。当該シートが違反
から無違反に変わった場合は、、すなわち、違反が消滅
した場合は、当該制約照会を原因とする不整合シートの
不整合数の値を１減らす。そして、状態が更新不可であ
るシートにおける不整合数の値が０になったならば、状
態を未更新に書き換え、当該制約照会を原因とする違反
を不整合管理表から削除する（ステップ１００４）。一
方、更新不可な親が存在するならば、当該シートの状態
を更新不可とし（ステップ１００１、１００５）、図７
に示す共通の処理に戻る。そして、図７に示す共通の処
理に戻る。
【００５７】図８乃至図１０に示したシートの種類に応
じた処理が終了した後、図７に示す共通の処理に戻り、
シート更新順序管理表において、状態が未更新または更
新中であるシートのうちで、順番が次に若いシートを選
ぶ（ステップ７０４）。そのようなシートが存在すれば
ステップ７０３に戻ってシートの種類に対応した処理に
移行する（ステップ７０５）。一方、そのようなシート
が存在しない場合、シートの種類に対応した各処理を含
むステップ７０３からステップ７０５までの繰り返しに
おいて、シートの状態に変化があったかどうかを調べる
（ステップ７０６）。そして、一度でもシートの状態変
化があればステップ７０２へ戻り、全く変化がなければ
処理を終了する。
じた処理が終了した後、図７に示す共通の処理に戻り、
シート更新順序管理表において、状態が未更新または更
新中であるシートのうちで、順番が次に若いシートを選
ぶ（ステップ７０４）。そのようなシートが存在すれば
ステップ７０３に戻ってシートの種類に対応した処理に
移行する（ステップ７０５）。一方、そのようなシート
が存在しない場合、シートの種類に対応した各処理を含
むステップ７０３からステップ７０５までの繰り返しに
おいて、シートの状態に変化があったかどうかを調べる
（ステップ７０６）。そして、一度でもシートの状態変
化があればステップ７０２へ戻り、全く変化がなければ
処理を終了する。
【００５８】また、本実施形態では、照会制約不整合な
シートを参照する表についての参照制約違反を自動解消
しないようにロックをかけるため、データベースの構造
によってはデッドロックが発生する場合がある。例え
ば、制約照会は、シートＡの更新にロックをかけたま
ま、シートＢの更新終了を待つことがある。この時、他
の制約照会がシートＢの更新にロックをかけたままシー
トＡの更新終了を待っていた場合、両制約照会は解決し
ないため、先に進むことができないこととなる。この状
態を「制約照会によるデッドロック」と呼ぶ。一般に、
複数の制約照会によるシート更新許可依存関係がループ
を形成していれば、「制約照会によるデッドロック」に
なる。
シートを参照する表についての参照制約違反を自動解消
しないようにロックをかけるため、データベースの構造
によってはデッドロックが発生する場合がある。例え
ば、制約照会は、シートＡの更新にロックをかけたま
ま、シートＢの更新終了を待つことがある。この時、他
の制約照会がシートＢの更新にロックをかけたままシー
トＡの更新終了を待っていた場合、両制約照会は解決し
ないため、先に進むことができないこととなる。この状
態を「制約照会によるデッドロック」と呼ぶ。一般に、
複数の制約照会によるシート更新許可依存関係がループ
を形成していれば、「制約照会によるデッドロック」に
なる。
【００５９】デッドロック検出方法には、シート間関係
グラフに変更があった時にシート更新許可依存関係のル
ープを検出するという静的な方法と、シート連鎖計算が
終了しても更新中シートや未更新シートが残っている場
合にはデッドロックが発生しているとみなす動的な方法
とがある。データベース管理システムとして、デッドロ
ックが発生するようなデータベース構造を許さないとい
う方針を採るならば静的な方法を用いるべきである。ま
た、デッドロックが発生した時にそのデッドロックを勝
手に外すという方針を採るならば動的な方法を用いるべ
きである。デッドロックを外す場合は、デッドロックが
発生した時点の更新中シートを全て強制的に更新済に変
更した後にシート連鎖計算を継続するという作業を行う
ことになるため、参照制約違反自動解消によるデータ喪
失の危険性が発生することに注意が必要である。
グラフに変更があった時にシート更新許可依存関係のル
ープを検出するという静的な方法と、シート連鎖計算が
終了しても更新中シートや未更新シートが残っている場
合にはデッドロックが発生しているとみなす動的な方法
とがある。データベース管理システムとして、デッドロ
ックが発生するようなデータベース構造を許さないとい
う方針を採るならば静的な方法を用いるべきである。ま
た、デッドロックが発生した時にそのデッドロックを勝
手に外すという方針を採るならば動的な方法を用いるべ
きである。デッドロックを外す場合は、デッドロックが
発生した時点の更新中シートを全て強制的に更新済に変
更した後にシート連鎖計算を継続するという作業を行う
ことになるため、参照制約違反自動解消によるデータ喪
失の危険性が発生することに注意が必要である。
【００６０】データベース管理の実際の現場において
は、一つの表を作成する際に、暗黙に二つのステップを
踏んで作業を行っていることが多い。第１のステップは
表のテンプレートを作成する作業であり、テンプレート
のヘッダに相当するデータを入力するステップである。
第２のステップは作成したテンプレートに実データを入
力する作業であり、各ヘッダデータに対応するデータを
入力するステップである。
は、一つの表を作成する際に、暗黙に二つのステップを
踏んで作業を行っていることが多い。第１のステップは
表のテンプレートを作成する作業であり、テンプレート
のヘッダに相当するデータを入力するステップである。
第２のステップは作成したテンプレートに実データを入
力する作業であり、各ヘッダデータに対応するデータを
入力するステップである。
【００６１】このうち、第１ステップで入力するヘッダ
データは、適当な規則に従って他の表から導ける単純な
データであることが多く、その場合の第１ステップの作
業は機械的な入力作業となる。テンプレートのヘッダデ
ータが所定の規則に従って他の表から導けるのであれ
ば、多くの場合、テンプレートのヘッダを照会によって
定義することができることとなる。そこで、ヘッダデー
タを作成する照会を使って、自動的にヘッダが生成され
るテンプレートを持つシート（テンプレート自動生成シ
ート）を作ることができる。このテンプレート自動生成
シートの内部構造は、ヘッダ用の照会と実データ用の表
とで構成され、実データ表はヘッダ照会への参照制約を
持つ。
データは、適当な規則に従って他の表から導ける単純な
データであることが多く、その場合の第１ステップの作
業は機械的な入力作業となる。テンプレートのヘッダデ
ータが所定の規則に従って他の表から導けるのであれ
ば、多くの場合、テンプレートのヘッダを照会によって
定義することができることとなる。そこで、ヘッダデー
タを作成する照会を使って、自動的にヘッダが生成され
るテンプレートを持つシート（テンプレート自動生成シ
ート）を作ることができる。このテンプレート自動生成
シートの内部構造は、ヘッダ用の照会と実データ用の表
とで構成され、実データ表はヘッダ照会への参照制約を
持つ。
【００６２】図１１は、テンプレート自動生成シートの
例を示す図である。図１１を参照すると、高額商品在庫
１１０２のテンプレート自動生成シートの内部構造は、
高額商品在庫ヘッダという照会１１０２−Ｈと、高額商
品在庫データという表１１０２−Ｄとで構成される。高
額商品在庫ヘッダ１１０２−Ｈは、商品一覧１１０１を
照会しており、高額商品在庫データ１１０２−ＤのＨＥ
ＡＤＥＲ列は、高額商品在庫ヘッダ１１０２−ＨのＨＥ
ＡＤＥＲ列を参照している。
例を示す図である。図１１を参照すると、高額商品在庫
１１０２のテンプレート自動生成シートの内部構造は、
高額商品在庫ヘッダという照会１１０２−Ｈと、高額商
品在庫データという表１１０２−Ｄとで構成される。高
額商品在庫ヘッダ１１０２−Ｈは、商品一覧１１０１を
照会しており、高額商品在庫データ１１０２−ＤのＨＥ
ＡＤＥＲ列は、高額商品在庫ヘッダ１１０２−ＨのＨＥ
ＡＤＥＲ列を参照している。
【００６３】図示の例では、商品一覧１１０１における
規格ＡＡＡの価格の値を、例えば「１０００」に変更す
ると、照会１１０２−Ｈの結果としてＡＡＡが失われる
ため、参照制約違反解消部１２１により、表１１０２−
ＤにおいてＨＥＡＤＥＲがＡＡＡである行が自動的に削
除され、高額商品在庫１１０２のテンプレートからＡＡ
Ａの列が消えることになる。
規格ＡＡＡの価格の値を、例えば「１０００」に変更す
ると、照会１１０２−Ｈの結果としてＡＡＡが失われる
ため、参照制約違反解消部１２１により、表１１０２−
ＤにおいてＨＥＡＤＥＲがＡＡＡである行が自動的に削
除され、高額商品在庫１１０２のテンプレートからＡＡ
Ａの列が消えることになる。
【００６４】なお、本実施形態は、テンプレート自動生
成シートを自動的に定義できるだけでなく、不用意なデ
ータ喪失を防止するためのシート更新制御部１２４を備
えているため、適当な照会制約を設定することによっ
て、テンプレート内のデータでも意図しない喪失を防ぐ
ことができる。
成シートを自動的に定義できるだけでなく、不用意なデ
ータ喪失を防止するためのシート更新制御部１２４を備
えているため、適当な照会制約を設定することによっ
て、テンプレート内のデータでも意図しない喪失を防ぐ
ことができる。
【００６５】以上好ましい実施の形態をあげて本発明を
説明したが、本発明は必ずしも上記実施の形態に限定さ
れるものではない。
説明したが、本発明は必ずしも上記実施の形態に限定さ
れるものではない。
【００６６】
【発明の効果】以上説明したように、本発明のデータベ
ース管理システム及びその管理方法並びに管理プログラ
ムを格納した記憶媒体によれば、データ型制約、表参照
制約、照会参照制約及び照会制約の四つの制約をいずれ
も記述できるため、従来よりも誤入力を発見しやすいと
いう効果がある。
ース管理システム及びその管理方法並びに管理プログラ
ムを格納した記憶媒体によれば、データ型制約、表参照
制約、照会参照制約及び照会制約の四つの制約をいずれ
も記述できるため、従来よりも誤入力を発見しやすいと
いう効果がある。
【００６７】また、シート更新制御部を設けたことによ
り意図しないデータ喪失を極力防ぐことが可能であると
共に、参照制約の代わりに照会制約を用いて制約違反の
自動解消を行わないという制御も可能であるため、より
自由なデータ編集手順をとることができるという効果が
ある。
り意図しないデータ喪失を極力防ぐことが可能であると
共に、参照制約の代わりに照会制約を用いて制約違反の
自動解消を行わないという制御も可能であるため、より
自由なデータ編集手順をとることができるという効果が
ある。
【００６８】さらにまた、意図しないデータ喪失を防ぎ
ながら照会の列への参照制約違反の自動解消を行うこと
により、照会参照制約を記述できるため、重複したデー
タ入力を減少させることができるという効果がある。
ながら照会の列への参照制約違反の自動解消を行うこと
により、照会参照制約を記述できるため、重複したデー
タ入力を減少させることができるという効果がある。
【図１】 本発明の一実施例によるデータベース管理シ
ステムの構成を示すブロック図である。
ステムの構成を示すブロック図である。
【図２】 本実施例に用いられる参照制約のデータ構造
を示す図である。
を示す図である。
【図３】 本実施例に用いられる照会の構成を示す図で
ある。
ある。
【図４】 本実施例に用いられるデータベースの構造を
示すシート間関係図である。
示すシート間関係図である。
【図５】 シート間関係図から表間参照図を作成する方
法を示すフローチャートである。
法を示すフローチャートである。
【図６】 図４に対応する表間参照図である。
【図７】 シート更新制御部によるシート連鎖計算の処
理手順を示すフローチャートであり、シートの種類に関
わらない共通の処理を示す図である。
理手順を示すフローチャートであり、シートの種類に関
わらない共通の処理を示す図である。
【図８】 シート更新制御部によるシート連鎖計算の処
理手順を示すフローチャートであり、シートの種類が表
である場合に対応する固有の処理を示す図である。
理手順を示すフローチャートであり、シートの種類が表
である場合に対応する固有の処理を示す図である。
【図９】 シート更新制御部によるシート連鎖計算の処
理手順を示すフローチャートであり、シートの種類が照
会である場合に対応する固有の処理を示す図である。
理手順を示すフローチャートであり、シートの種類が照
会である場合に対応する固有の処理を示す図である。
【図１０】 シート更新制御部によるシート連鎖計算の
処理手順を示すフローチャートであり、シートの種類が
制約照会である場合に対応する固有の処理を示す図であ
る。
処理手順を示すフローチャートであり、シートの種類が
制約照会である場合に対応する固有の処理を示す図であ
る。
【図１１】 テンプレート自動生成シートの例を示す図
である。
である。
【図１２】 参照制約の動作を説明する図である。
【図１３】 従来のデータベース管理システムの構成を
データベース整合性管理に注目して表現したブロック図
である。
データベース整合性管理に注目して表現したブロック図
である。
【図１４】 従来の他のデータベース管理システムの構
成をデータベース整合性管理に注目して表現したブロッ
ク図である。
成をデータベース整合性管理に注目して表現したブロッ
ク図である。
【図１５】 従来のさらに他のデータベース管理システ
ムの構成をデータベース整合性管理に注目して表現した
ブロック図である。
ムの構成をデータベース整合性管理に注目して表現した
ブロック図である。
１１０ データベース記憶部 １１１ シート記憶部 １１２ 参照制約記憶部 １１３ 照会制約記憶部 １２０ データベース整合性管理部 １２１ 参照制約違反解消部 １２２ 照会制約違反検出部 １２３ 照会制約整合性管理部 １２４ シート更新制御部 １３０ データベース閲覧編集部
Claims (6)
- 【請求項１】 データベースを格納したデータベース記
憶手段と、データベース記憶手段に格納されているデー
タを管理するデータベース整合性管理手段とを備えたデ
ータベース管理システムにおいて、 前記データベース記憶手段が、 前記データベースにおける表及び照会からなるシートを
記憶するシート記憶手段と、 前記シートにおける所定の要素の関係である参照制約を
記憶する参照制約記憶手段と、 所定の前記シート間における制約の違反を照会によって
定義した照会制約を記憶する照会制約記憶手段とを備
え、 前記データベース整合性管理手段が、 参照先である前記シートの内容変更時に、参照元である
表における参照制約違反の行を自動削除することにより
参照制約違反を解消する参照制約違反解消手段と、 前記照会制約の違反を検出する照会制約違反検出手段
と、 前記各シートに関して、前記照会制約違反が検出された
前記シートまたはそのような前記シートを直接または間
接的に参照または照会するシートであるかどうかを示す
照会制約整合性に関する情報を管理する照会制約整合性
管理手段と、 照会制約不整合な照会を参照する表及びそのような表を
直接または間接的に参照または照会する前記シートであ
る非更新シートに対して参照制約違反の自動解消及びデ
ータアクセスを禁止すると共に、シート参照関係を考慮
した順番に従って前記非更新シートでない前記シートに
対する参照制約違反の自動解消を行うシート更新制御手
段とを備えたことを特徴とするデータベース管理システ
ム。 - 【請求項２】 前記参照制約違反解消手段が、 参照先の表がデータ修正された場合に、参照元の表にお
ける対応する行を自動修正し、 参照先の前記シートが他の方法で内容変更された場合
に、前記参照元表における参照制約違反の行を自動削除
することを特徴とする請求項１に記載のデータベース管
理システム。 - 【請求項３】 データベースを格納したデータベース記
憶手段と、データベース記憶手段に格納されているデー
タを管理するデータベース整合性管理手段とを備えたデ
ータベース管理システムによるデータベース管理方法に
おいて、 前記データベースにおける表及び照会からなるシート
と、前記シートにおける所定の要素の関係である参照制
約と、所定の前記シート間における制約の違反を照会に
よって定義した照会制約とを記憶し、 参照先である前記シートの内容変更時に、参照元である
表における参照制約違反の行を自動削除することにより
参照制約違反を解消し、 前記照会制約の違反を検出し、 前記シートに関して、前記照会制約違反が検出された前
記シートまたはそのような前記シートを直接または間接
的に参照または照会するシートであるかどうかを示す照
会制約整合性に関する情報を管理し、 照会制約不整合な照会を参照する表及びそのような表を
直接または間接的に参照または照会する前記シートであ
る非更新シートに対して参照制約違反の自動解消及びデ
ータアクセスを禁止すると共に、シート参照関係を考慮
した順番に従って前記非更新シートでない前記シートに
対する参照制約違反の自動解消を行うことを特徴とする
データベース管理方法。 - 【請求項４】 前記参照制約違反を解消する場合に、 参照先の表がデータ修正された場合に、参照元の表にお
ける対応する行を自動修正し、 参照先の前記シートが他の方法で内容変更された場合
に、前記参照元表における参照制約違反の行を自動削除
することを特徴とする請求項３に記載のデータベース管
理方法。 - 【請求項５】 データベースを格納したデータベース記
憶手段と、データベース記憶手段に格納されているデー
タを管理するデータベース整合性管理手段とを備えたコ
ンピュータシステムを制御してデータベースを管理する
データベース管理プログラムを格納した記憶媒体におい
て、 前記データベースにおける表及び照会からなるシート
と、前記シートにおける所定の要素の関係である参照制
約と、所定の前記シート間における制約の違反を照会に
よって定義した照会制約とを記憶し、 参照先である前記シートの内容変更時に、参照元である
表における参照制約違反の行を自動削除することにより
参照制約違反を解消し、 前記照会制約の違反を検出し、 前記シートに関して、前記照会制約違反が検出された前
記シートまたはそのような前記シートを直接または間接
的に参照または照会するシートであるかどうかを示す照
会制約整合性に関する情報を管理し、 照会制約不整合な照会を参照する表及びそのような表を
直接または間接的に参照または照会する前記シートであ
る非更新シートに対して参照制約違反の自動解消及びデ
ータアクセスを禁止すると共に、シート参照関係を考慮
した順番に従って前記非更新シートでない前記シートに
対する参照制約違反の自動解消を行うことを特徴とする
データベース管理プログラムを格納した記憶媒体。 - 【請求項６】 前記参照制約違反を解消する場合に、 参照先の表がデータ修正された場合に、参照元の表にお
ける対応する行を自動修正し、 参照先の前記シートが他の方法で内容変更された場合
に、前記参照元表における参照制約違反の行を自動削除
することを特徴とする請求項５に記載のデータベース管
理プログラムを格納した記憶媒体。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11073847A JP2000267908A (ja) | 1999-03-18 | 1999-03-18 | データベース管理システム及びその管理方法並びに管理プログラムを格納した記憶媒体 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP11073847A JP2000267908A (ja) | 1999-03-18 | 1999-03-18 | データベース管理システム及びその管理方法並びに管理プログラムを格納した記憶媒体 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2000267908A true JP2000267908A (ja) | 2000-09-29 |
Family
ID=13529960
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP11073847A Pending JP2000267908A (ja) | 1999-03-18 | 1999-03-18 | データベース管理システム及びその管理方法並びに管理プログラムを格納した記憶媒体 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2000267908A (ja) |
Cited By (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7124265B2 (en) | 2003-06-27 | 2006-10-17 | Hitachi, Ltd. | Storage system which controls access to logical devices by permitting attribute modes for logical devices to be set |
| JP2010191922A (ja) * | 2009-02-20 | 2010-09-02 | Mitsubishi Electric Corp | 履歴追跡結果出力装置及び履歴追跡結果出力プログラム及び記録媒体 |
| JPWO2013136442A1 (ja) * | 2012-03-13 | 2015-08-03 | 株式会社野村総合研究所 | データ処理システム |
-
1999
- 1999-03-18 JP JP11073847A patent/JP2000267908A/ja active Pending
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7124265B2 (en) | 2003-06-27 | 2006-10-17 | Hitachi, Ltd. | Storage system which controls access to logical devices by permitting attribute modes for logical devices to be set |
| US7447858B2 (en) | 2003-06-27 | 2008-11-04 | Hitachi, Ltd. | Storage system which controls access to logical devices by permitting attribute modes for the logical devices to be set |
| JP2010191922A (ja) * | 2009-02-20 | 2010-09-02 | Mitsubishi Electric Corp | 履歴追跡結果出力装置及び履歴追跡結果出力プログラム及び記録媒体 |
| JPWO2013136442A1 (ja) * | 2012-03-13 | 2015-08-03 | 株式会社野村総合研究所 | データ処理システム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7028057B1 (en) | Versioned relational database system with an optimistic constraint model | |
| US5504879A (en) | Resolution of relationship source and target in a versioned database management system | |
| US5592661A (en) | Detection of independent changes via change identifiers in a versioned database management system | |
| US5386559A (en) | Variant domains and variant maps in a versioned database management system | |
| US7240054B2 (en) | Techniques to preserve data constraints and referential integrity in asynchronous transactional replication of relational tables | |
| AU2006240541B2 (en) | Systems and methods for manipulating data in a data storage system | |
| US5890166A (en) | Versioned-database management system in which tasks are associated with promote groups which comprise a set of parts whose changes are to be promoted | |
| US6714943B1 (en) | Method and mechanism for tracking dependencies for referential integrity constrained tables | |
| US7421458B1 (en) | Querying, versioning, and dynamic deployment of database objects | |
| US10452645B2 (en) | Modification and validation of spatial data | |
| US6772155B1 (en) | Looking data in a database system | |
| KR101159311B1 (ko) | 임의의 데이터 모델에 대한 맵핑 시스템 및 방법 | |
| US7836028B1 (en) | Versioned database system with multi-parent versions | |
| US6728719B1 (en) | Method and mechanism for dependency tracking for unique constraints | |
| US6952692B1 (en) | Execution of requests in a parallel database system | |
| EP1645977A2 (en) | Partially materialized views | |
| US8214354B2 (en) | Column constraints based on arbitrary sets of objects | |
| US6567798B1 (en) | Method and system for consistent updates of redundant data in relational databases | |
| US7370049B2 (en) | Detection and prevention of writing conflicts within nested query statements | |
| US20080270407A1 (en) | System for ensuring referential integrity in highly concurrent database environments | |
| JP5555550B2 (ja) | データ変換方法、その装置およびそのプログラム | |
| US7801921B2 (en) | Deletion of data from child tables with multiple parents | |
| JP2000267908A (ja) | データベース管理システム及びその管理方法並びに管理プログラムを格納した記憶媒体 | |
| KR20020062309A (ko) | 데이타베이스 내용 수정 방법 | |
| JP4393498B2 (ja) | 構造化文書管理システム及びプログラム |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20040413 |