JPS62115569A - 管理簿間の整合性矛盾検出方式 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 〔発明の技術分野〕 本発明はデータ処理装置において、各種の管理簿や制御
表などく以下単に管理簿という）を変更するに際して、
その変更により他の管理簿との間に矛盾を生じることの
ないよう、その変更により影響を受ける他の管理簿を漏
れなく検出する方式％式％ 従来より、ある管理簿のある要素Ｘ、が他の管理簿Ｙの
どの要素に影響するか、即ちＸ、が変更された場合にチ
ェックする必要があるのはどの要素かを示す管理溝間関
係記述行列を用意して、変更時のチェックに利用するこ
とが行われている。

しかし、この関係記述行列の作成はプログラムの作成者
が人手で行なっており、これを正確に定義するのはかな
り面倒であり、特に３つ以上の多数の管理簿が影響し合
う場合には一層困難となる。

即ち、管理簿ＸとＹとの間の直接的な関係は比較的容易
に判明するとしても、管理簿Ｘが第３の管理簿Ｚに影響
し、それがさらに管理簿Ｙに影響するような場合、ｘ−
ｙ間の関係記述行列を作成するのに管理簿Ｚとの関係も
考慮する必要があり、非常に複雑となる。管理簿が３つ
程度ならまだ良いが、５つも６つもとなると殆ど人手で
は不可能であるし、自動化するにしても効率のよい方式
が待たれていた。。

〔発明の目的〕

本発明は、多数の管理簿を有するデータ処理装置におい
ても、管理簿間の整合性チェックのための関係記述行列
が簡単に且つ正確に得られるようにすることを目的とす
る。

〔発明の実施例〕

第２図は２つの管理簿間の関係記述行列の例を示す図で
あり、（ａｌは管理簿Ｘの各要素の変更に影響される管
理簿Ｙの各要素を示す行列ＲＸイ、また（ｂｌは逆に管
理’ＮＹの各要素の変更に影響される管理１１Ｘの各要
素を示す行列Ｒ’ｆ−Ｘで、行列要素が例えばＯの場合
は影響なし、１の場合に影響ありを意味する２進行列で
ある。

尚、行列ＲＸ−Ｙは必ずしも行列ＲＹ−Ｘの転置行列と
はならない。即ち、要素Ｘｉの変更時に要素Ｙ、が影響
される可能性はあるが、要素ＹＪの変更時には要素Ｘ、
は変更される可能性はない、という場合もあり得る。

一般にＮ個の管理簿があると、Ｎ（Ｎ−１）個の管理溝
間関係記述行列が作成できる。

また同様にして各管理簿内での各要素間の関係記述行列
ＲＸ−Ｘ　＋　　ＲＹ−Ｙなども作成でき、これらは当
然Ｎ個存在する。

これらの管理簿間および管理簿内の関係記述行列、合計
Ｎ２個を組み合わせると、第３図のごとくの正方行列（
これをＲとする）ができる。ここではＸ、　Ｙ、　　Ｚ
の３つの管理簿がある場合を例示している。

上記各関係記述行列Ｒｘ−ｖ　ｒ　ＲＸ−２＊などがそ
れ自体完全に正確であれば、第３図の正方行列はそのま
ま完全な全管理簿の関係記述正方行列となるが、各関係
記述行列、たとえばＲＸイには上記の如く管理簿Ｚとの
関係で漏れが存在する可能性がある。

そこで、本発明では上記Ｒに算術演算を施すことにより
完全な関係記述行列を自動生成する手段を設ける。算術
演算としては、行列の内積を利用する。ここで内積演算
子＊とは、行列Ａ、Ｂ、Ｃをそれぞれｎ行ｎ列の正方行
列とするとき、Ａ＊Ｂ＝Ｃ但し、 ａｔ ここで記号口は論理和を、記号Ｕは論理積を意味するも
のとする。

上記Ｒｏについて、 Ｒ２＝Ｒｏ　＊Ｒ。

Ｒ３＝Ｒ２＊Ｒ。

Ｒ４−Ｒ３＊Ｒ。

を順次計算し、Ｒ５−Ｒ５＋１となったとき、即ちある
次数の内積がそれより１次低い次数の内積と同一になっ
たとき、このＲｓは全管理簿間の関係を正しく記述した
行列となる。従って、ある管理簿のある情報を変更する
際には、この行列Ｒｓの対応する行の要素の１，０を調
べればチェックすべき管理簿の要素が判明するので、矛
盾を生じることなく整合性を保証することができる。

第１図は上記の処理を行うための一実施例ブロック図で
あり、■は管理簿間の関係記述行列を作成する手段、２
は管理簿内の関係記述行列を作成する手段、３は全体の
関係記述正方行列Ｒｏを作成する手段、４は上記内積演
算を実行する手段、５はＲｓ　＝Ｒｓ＋１となったこと
を検出する手段、６は上記最終的に得られた正方行列Ｒ
ｓ’にもとづいて、管理簿の変更に際してチェックの必
要な情報要素を抽出し、チェックを行なう手段である。

各手段の具体的構成は、プログラム処理により容易に実
現できるのでその詳細説明は省略する。

尚、Ｎ個の管理簿が存在していたところへ新たに管理簿
を１つ追加する場合には２Ｎ＋１個の関係δｄ述行列を
追加作成して、上記全体の関係を示す正方行列を再作成
し、上記のごとく内積演算を行えばよい。

上記内積演算にはそれなりの時間を要するが、矛盾チェ
ック処理は上記行列作成処理とは分離できる。全体の関
係記述性方行列Ｒｓを得るのは管理簿の種類やそれらの
関係に変更が無い限りは、一度作成したものを常に利用
できる。

〔効果〕

以上の如く本発明によれば、多数の管理簿や制御表を矛
盾なく管理維持する必要のあるデータ処理装置において
、管理簿間の関係記述行列を正確に且つ容易に作成維持
できるので、信頼性の高いデータ処理装置の提供が可能
となる。

また２進行列なので少ない記憶容量で済み、情報要素数
３０の管理簿が１０個あったとしても、関係記述正方行
列Ｒｓは約１０にバイト程度で済む。

【図面の簡単な説明】

第１図は本発明の一実施例ブロック図、第２図は関係記
述行列の例、第３図は全体の関係記述正方行列の例であ
る。 ネｆ昭の一実媚イ列フ゛ｎ・ソ７図 療　−１図 （θ）ｉｎ’ｌ　Ｉ？ｘ−ｙ　　　　　　　　　　　　
（Ｊ　ｆ”ｒＦ’ｌ　　ｆｆＹ−ＸｌＡ係ｆこ正行列の
イク・ｌ 庫　２　ｍ 正方行列のづ列 キ′３図

Claims (1)

1. 【特許請求の範囲】 それぞれ１または複数の情報要素を含むＮ個（Ｎは２以
   上の整数）の管理簿を有するデータ処理装置において、 該管理簿の２つづつの組み合わせの全てについて、一方
   の管理簿の各要素の変更が他方の管理簿の各要素に影響
   するか否かを示すＮ（Ｎ−１）個の管理簿間関係記述行
   列を作成する手段と、各管理簿についてその各要素の変
   更が同一管理簿内の他の各要素に影響するか否かを示す
   Ｎ個の管理簿内関係記述行列を作成する手段と、 上記Ｎ（Ｎ−１）個の管理簿間関係記述行列と上記Ｎ個
   の管理簿内関係記述行列とを組み合わせて正方行列Ｒを
   作成する手段と、 正方行列間の内積を演算する手段を用いて、上記正方行
   列Ｒの各次数の内積Ｒ＾２、Ｒ＾３、Ｒ＾４・・を順次
   作成する手段と、 該各次数の内積がそれより１次低い内積と同一になった
   ことを検出する手段とを設け、 該同一となった内積の正方行列を用いて、任意の管理簿
   の任意の要素の変更に際して、影響を受ける全要素を検
   出することを特徴とする管理簿間の整合性矛盾検出方式
   。