● Ｔ字形 ER図の作成法には、「命題論理方式」 と 「コード 体系方式」 がある。

　Ｔ字形 ER図の作成法には、以下の 2つがある。

　（1） 命題論理方式
　（2） コード 体系方式

　命題論理方式は、その名称が示しているように、命題論理を、そのまま、使う方式である。
　すなわち、1つの情報 （たとえば、画面とかレポートとか） を 1つの複文とみなして、1つの複文 （組立て） を、いくつかの単文に バラバラ にして、単文 （主語-述語） を entity とみなす やりかた である。
　コード 体系方式は、1つずつの データ 項目を単位にして、認知番号 （×× コード や××番号） を規準にしながら、entity を生成する やりかた である。
　いずれの やりかた を使っても、最終的な アウトプット は同じになる。

　2つの やりかた の使用比率は、たぶん、命題論理方式は 20％程度で、コード 体系方式が 80％程度だと思う。DA たちは、コード 体系方式を使うことが多い。コード 体系方式は、かって、100％近い使用比率であったが、ここ数年では、命題論理方式の使用比率が、次第に高くなってきている。命題論理方式の使用比率が高くなってきた理由は、小生が、最近、命題論理方式を教えることが多いからである。たとえば、早稲田大学 エクステンションセンター が開催している小生の講座では、命題論理方式を教えている。というのは、命題論理方式のほうが、エンドユーザ に教えやすいからである。コード 体系方式では、個々の データ を扱うので、データ 項目という用語を使うが、命題論理方式では、ことば （日常言語） を使いながら、教えることができる。

　命題論理方式の具体的な やりかた については、「論理 データベース 論考」を読んでいただくとして、本稿では、以下の 2点を述べたい。
　（1） 2種類の語彙
　（2） Ｔ字形 ER手法が生まれた理由

　
● 統語論 （数理モデル） と意味論は切り離して検討したほうがよい。

　2種類の語彙という意味は、命題論理方式を使って、情報のなかで使われている ことば を仕訳すれば-- 1つのＴ字形のなかで、左側と右側に、ことば を仕訳すれば--、左側には、「コード」 が記述されて、右側には、日常言語が記述される、ということである。コード は、事業に関与している人たちが、データ の通用 （情報の伝達） を円滑にするために導入された ことば である。したがって、コード を付与された データ は、1つのまとまった単位として考えられている。とすれば、コード を、entity 生成の規準として考えてよい。
　ただし、コード が妥当であるかどうか、という点は、改めて検討されなければならない論点である。というのは、たとえば、品目 コード が 34桁の桁数を使って記述されていて、7桁目の値が 「S」 という英文字であれば、社内消費用の品目である、というような コード は妥当ではない。なぜなら、1つのまとまった単位として、モノ を認知するための番号のなかに、アルゴリズム が混入しているから。

　認知番号の 「形式 （導入） 」 と認知番号の 「実質 （中味）」 は、べつの論点である。まず、形式 （コード） を基礎にして「構造」を作り、それから、（コード の妥当性をふくめて） 「構造」 の整合性を検討すれば、効率的かつ効果的な作業になる。すなわち、統語論 （数理モデル） と意味論は切り離して検討したほうがよい。

　Ｔ字形 ER手法の 「Ｔ字形」 は、当初、複式簿記の 「T勘定 （T-account）」 の形式を転用した。すなわち、借方 （左側） として、コード 体系を記述して^（注１）、貸方 （右側） として、日常言語を記述する形式である。事業のなかで使われている日常言語を 「資本」 にして、コード という 「資産」 を形成する、という考えかたである。T字形勘定を起点にして、データ を仕訳して、ウィトゲンシュタイン 氏の「論理哲学論考」 のなかで扱われている以下の 2つの考えかたを理論的枠組みとした。
　（1） 統語論として、「主語-述語」 形式を使って、「構造」 を記述する。
　（2） 意味論として、写像理論を使って、「構造」 は、現実の事態と対応関係を検討されなければならない。

　
● Ｔ字形 ER手法は、命題論理の推論 ルール （真理値表、あるいは、主選言標準形） を前提にしている。

　さて、統語論として、Ｔ字形 ER手法は、4つの推論 ルール として、まとめることができた。そして、論点になったのが、意味論としての写像理論である。この論点については、すでに、述べてきたので、再度、収録することはしない（「論考を読む」 の前々回および前回を参照されたい）。
　Ｔ字形 ER手法は、徹底して、命題論理の推論 ルール （真理値表、あるいは、主選言標準形） を前提にしている、という点を覚えておいていただきたい。この点を理解していないと、Ｔ字形 ER手法の推論 ルール のなかに、述語論理 （タイプ 理論という意味） を、場当たり的に混入されて、推論 ルール の整合性を崩されてしまう--小生が関与していない プロジェクト では、そういう間違った使いかた がされているようである （苦笑）。

　「構造」 が、いったん、生成されたら、データ 集合に対して、検証手段として、セット 概念を使うことは正しいが^（注２）、「構造」 の記述は、あくまで、命題論理の推論 ルール に従う、という点を忘れないでほしい。

　
[ 注釈 ]

（注 1）
　コード 体系のなかには、以下の 2種類の コード がある。
　（1） １つのまとまった単位の セット を記述するための コード （××コード、××番号）
　（2） １つの セット のなかの サブセット を記述するための コード （××区分コード、××種別コード）

　（1） の コード は、Ｔ字形の左側に記述されるが、（2） の コード は、右側に記述される。
　（2） は サブセット を記述するので、単独の モノ を認知するための コード ではないので、右側に記述される。

　
（注２）
　Ｔ字形 ER図のなかで、セット 概念を使って周延を検証できる対象は、entity であって、対照表は、セット 概念では検証できない。対照表の検証は、主選言標準形を使う。ちなみに、主選言標準形とは、以下の正規形である。
　（ｐ∧ｑ）∨（ｐ∧¬ｑ）∨（¬ｐ∧ｑ）∨（¬ｐ∧¬ｑ）. □