拙著 「論考」 では、Ｔ字形 ER図の作成手順として、以下の 4つを列挙している。
　（1） minimal cover の生成 （entity の生成）
　（2） aRb の生成 （relationship の生成）
　（3） 多義の排除
　（4） 周延の検証

　
　以上の手順のなかでは、以下の 2つは対象にされていない。

　（1） HDR-DTL
　（2） VE （virtual entity）

　
　HDR-DTL は、aRb のなかで、「resource-対-event ＝ 複数-対-複数」として扱われる対象である。
　VE は、拙著 「論考」 では、第 10章のなかで、本節の次ぎに、1つの章を立てて、説明してある。

　
　しかし、精確にいえば、Ｔ字形 ER手法の体系は、以下のように考えるのが妥当である、と思う。

　1. 2つの前提

　（1） entity の定義
　　（1）-1. entity とは、認知番号を付与された対象をいう。
　　（1）-2. entity は、event と resource に仕訳される^{（注 1）}。
　　　　- event とは、性質として、「日付 （date）」が帰属して、時系列のなかで考慮される entity である。
　　　　- resource とは、event 以外の entity をいう （排中律を適用している）。

　（2） 関係の定義
　　（2）-1. aRb （関係の論理） において、R を関数として扱わない。
　　（2）-2．関係は 2項関係を基本形として、主選言標準形を正規形とする。

　2. 4つの推論 ルール

　（1） aRb において、a ≠ b なら、
　　（1）-1. resoruceと resource を結ぶとき、対照表を生成する。
　　（1）-2. resoruceと event を結ぶとき、resource の認知番号を event のなかに複写する。
　　（1）-3. eventと event を結ぶとき、
　　　　- 「１-対-複数」 なら、時系列のおそいほうに、先行する event の認知番号を複写する。
　　　　- 「複数-対-１」 なら、対応表を生成する。

　（2） aRb において、a ＝ b なら、
　　　再帰 （recursive） として扱い、再帰表を生成する。

　3. 4つの検証 ルール

　（1） entity が、集合 （セット、外的性質） として、周延していることを検証する。
　（2） 属性値の多義を排除する。
　（3） HDR-DTL を検証する　（「関係 ＝ モノ」 となっている現象を検証する）。
　（4） VE を生成する （外的性質として周延しているが、内的性質が混成状態になっている entity を割る）。^{（注 2）}

　4つの検証 ルール を、もっと、精確に記述することもできる。
　たとえば、（1） と （2） は、entity が、データ 集合として、周延状態にあるかどうか、という点を検証しているし、（3） は、relationship が、高階 （タイプ 2、関数の関数）になっていることを検証しているし、（4） は、entity が データ 集合として周延状態にあっても、「性質」 が混成状態にあることを検証している、というふうに記述することもできる。そして、そういうふうに記述したほうが、1つの公理系としてまとめるには、精確だと思う。ただ、Ｔ字形 ER手法を 「技術」 として使うことを考えれば、4つの ルール を羅列したほうが簡便だと思う。

　拙著 「論考」 を脱稿したとき、小生は、Ｔ字形 ER手法 （データ 設計技法） に関して、すべて、証明が終わった、と思っていた--だから、引退を考えていた。しかし、Ｔ字形 ER手法のなかに、矛盾がないし、完全性が実現されていることを証明しても、Ｔ字形 ER手法を、1つの公理系として、整然と記述した訳ではなかった。近い将来、公理と定理を使って--スピノザ 作 「エチカ （Ethica）」 の記述のように--、Ｔ字形 ER手法の体系を公にするつもりでいる。

　
[ 注釈 ]

（注 1） 時間 （event） と空間 （resource）
　小生は、「時間」と「空間」に関して、科学的認識として、ホワイトヘッド （Whitehead A.N.） 流の考えかたをしている。
　つまり、現象としての認知対象は出来事であり、出来事は関係項の 「場」 である。
　「空間」 を、「時間」 系列 （持続の系列） のなかで考えて、1つの瞬間的 「いま」 である、と考えている。

　「時間」 と 「空間」 のなかの現象を記述する際、言語の対象として考えたとき、ウィトゲンシュタイン 流の考え方を小生は賛同している。

　
（注 2） 外的性質と内的性質
　外的性質とは、抽象的集合の・集合としての性質であり、内的性質とは、自然的性質のことをいう。 □