いまさら聞けないテーブル設計 / Table design that can not be heard now

テーブル設計手法の紹介

Transcript

1. いまさら聞けない テーブル設計 テクノロジー本部R&D部インフラG所属 鈴木利房
2. こんな質問 を受けた時 テ ー ブ ル 設 計 っ て
3. 堂々と答えられ てますか？ テ ー ブ ル 設 計
4. まさか雰囲気でテーブル設計を？ • 既存システムを参考に
5. まさか雰囲気でテーブル設計を？ • 既存システムを参考に • 先輩から教わった方法で
6. まさか雰囲気でテーブル設計を？ • 既存システムを参考に • 先輩から教わった方法で • ググって出てきたページを参考に
7. まさか雰囲気でテーブル設計を？ • 既存システムを参考に • 先輩から教わった方法で • ググって出てきたページを参考に • 雑誌の記事を参考に
8. まさか雰囲気でテーブル設計を？ • 既存システムを参考に • 先輩から教わった方法で • ググって出てきたページを参考に • 雑誌の記事を参考に • 会社の書棚に置いたあった本を参考に
9. テーブル設計の手法って 調べると色々見つかるんですが、自分はTMが一番しっ くり来てるので紹介します。
10. TM（Theory of Models）とは
11. TM（Theory of Models）とは • 佐藤正美氏が提唱するデータモデリング手法
12. TM（Theory of Models）とは • 佐藤正美氏が提唱するデータモデリング手法 • 1999年に「T字形ERデータベース設計技法」として発表
13. TM（Theory of Models）とは • 佐藤正美氏が提唱するデータモデリング手法 • 1999年に「T字形ERデータベース設計技法」として発表 • 2015年にTM（Theory of Models）に改称
14. TM（Theory of Models）とは • 佐藤正美氏が提唱するデータモデリング手法 • 1999年に「T字形ERデータベース設計技法」として発表 • 2015年にTM（Theory of Models）に改称 • T字形の独特なER図を使う • ルールに則ったモデリングでモデルの属人性を排除する
15. TMのER図ってこんな感じです • 左にキー • 右にアトリビュートを配置する
16. TMの歴史 1999年
17. TMの歴史 1999年 2000年
18. TMの歴史 1999年 2000年 T字形ER
19. TMの歴史 1999年 2000年 2005年 T字形ER
20. TMの歴史 1999年 2000年 2005年 2009年 T字形ER
21. TMの歴史 1999年 2000年 2005年 2009年 T字形ER TM1.0
22. TMの歴史 1999年 2000年 2005年 2009年 2015年 T字形ER TM1.0
23. TMの歴史 1999年 2000年 2005年 2009年 2015年 T字形ER TM1.0 TM2.0
24. モデル作成手順
25. モデル作成の手続き 1. 個体を構成する
26. モデル作成の手続き 1. 個体を構成する 2. 個体を仕訳する
27. モデル作成の手続き 1. 個体を構成する 2. 個体を仕訳する 3. 関係を構成する
28. モデル作成の手続き 1. 個体を構成する 2. 個体を仕訳する 3. 関係を構成する 4. 集合を整える
29. モデル作成の手続き 1. 個体を構成する 2. 個体を仕訳する 3. 関係を構成する 4. 集合を整える 5. 個体が事実として正しいか調べる
30. １．個体を構成する • 手順
31. １．個体を構成する • 手順 1. 情報を仕訳する
32. １．個体を構成する • 手順 1. 情報を仕訳する 2. 語彙を転記する
33. １．個体を構成する • 手順 1. 情報を仕訳する 2. 語彙を転記する • 定義
34. １．個体を構成する • 手順 1. 情報を仕訳する 2. 語彙を転記する • 定義 • 個体である＝
35. １．個体を構成する • 手順 1. 情報を仕訳する 2. 語彙を転記する • 定義 • 個体である＝個体指定子が付与されている対象である
36. 情報を仕訳する
37. 情報の例 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN NNNNNNNNNNNNNN 999,999.9 999
38. 仕訳の仕方 • 個体指定子を左に • それ以外を右に
39. 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN NNNNNNNNNNNNNN 999,999.9 999
40. 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN NNNNNNNNNNNNNN 999,999.9 999
41. 仕訳された状態
42. 語彙を転記する
43. 個体指定子を転記して元帳を作る
44. 個体指定子を転記して元帳を作る
45. 語彙を元帳に転記する
46. 語彙を元帳に転記する
47. ２．個体を仕訳する
48. ２．個体を仕訳する • 個体の種類
49. ２．個体を仕訳する • 個体の種類 • event（出来事・行為）
50. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの）
51. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの） • 定義
52. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの） • 定義 • eventである＝
53. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの） • 定義 • eventである＝条件として「日付」が帰属する
54. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの） • 定義 • eventである＝条件として「日付」が帰属する • 全順序集合
55. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの） • 定義 • eventである＝条件として「日付」が帰属する • 全順序集合 • resourceである＝
56. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの） • 定義 • eventである＝条件として「日付」が帰属する • 全順序集合 • resourceである＝event以外のentityである
57. ２．個体を仕訳する • 個体の種類 • event（出来事・行為） • resource（行為に関与するもの） • 定義 • eventである＝条件として「日付」が帰属する • 全順序集合 • resourceである＝event以外のentityである • 半順序集合
58. 個体を仕訳する
59. 個体を仕訳する
60. 個体を仕訳する • 仕訳する＝並べる
61. 個体を全順序と半順序に分けて並べる
62. 個体を全順序と半順序に分けて並べる
63. 個体を全順序と半順序に分けて並べる
64. 個体を全順序と半順序に分けて並べる
65. 個体を全順序と半順序に分けて並べる
66. ３．関係を構成する • 種類 1. E-R型
67. ３．関係を構成する • 種類 1. E-R型 2. E-E型
68. ３．関係を構成する • 種類 1. E-R型 2. E-E型 3. R-R型
69. ３．関係を構成する • 種類 1. E-R型 2. E-E型 3. R-R型 4. 再帰
70. E-R型
71. E-R型 • 行為者（resource）が、行為・出来事（event）に関与する
72. E-E型
73. E-E型 • 出来事（event）の、先行・後続の関係
74. E-E型
75. E-E型 • 出来事（event）間の、対応表（onto-mapping）
76. R-R型
77. R-R型 • 制約・束縛
78. R-R型
79. R-R型 • resource間のevent • 「日付」が帰属、または仮想できる場合、 resource間のeventとして解釈 する
80. 再帰 • resourceの再帰
81. 再帰 • resourceの再帰 • 部品表、カテゴリーなど階層構造を表す
82. 再帰 • eventの再帰
83. 再帰 • eventの再帰 • 赤黒伝票などの消し込み、上書きを表す
84. ４ 集合を整える
85. ４ 集合を整える • 個体が集合（set）として正しいか調べる
86. ４ 集合を整える • 個体が集合（set）として正しいか調べる • セットとサブセット
87. ４ 集合を整える • 個体が集合（set）として正しいか調べる • セットとサブセット • 部分集合（区分コード）
88. ４ 集合を整える • 個体が集合（set）として正しいか調べる • セットとサブセット • 部分集合（区分コード） • 多値（「OR関係」と「AND関係」）
89. 部分集合 • 部分集合の間に「交わり」はない 集合X x1 x2 x3 x4 x5
90. 部分集合 • 部分集合の間に「交わり」はない 集合X x1 x2 x3 x4 x5
91. 従業員の部分集合 • 従業員区分コード「正社員／パート」 従業員E e1 e2 e3 e4 e5
92. 従業員の部分集合 • 従業員区分コード「正社員／パート」 従業員E e1 e2 e3 e4 e5 正社員 パート
93. 相違のサブセット • 部分集合同士のアトリビュート構成が相違する
94. 相違のサブセット • 部分集合同士のアトリビュート構成が相違する
95. 相違のサブセット • 部分集合同士のアトリビュート構成が相違する
96. 相違のサブセット • 部分集合同士のアトリビュート構成が相違する • この例では福利厚生費の有無が違う
97. 相違のサブセット • 部分集合同士のアトリビュート構成が相違する • この例では福利厚生費の有無が違う 矢印は実装方向を表 す
98. 営業所の部分集合 • 営業所区分コード「国内／海外」 営業所B b1 b2 b3 b4 b5
99. 営業所の部分集合 • 営業所区分コード「国内／海外」 営業所B b1 b2 b3 b4 b5 国内営業所 海外営業所
100. 同一のサブセット • 部分集合同士のアトリビュート構成が同じである
101. 同一のサブセット • 部分集合同士のアトリビュート構成が同じである
102. 部分集合間で「AND関係」が起こる場合 • 取引先コード「請求先／支払先／納入先」 取引先C c7 c8 c5 c6 c3 c1 c2 c4
103. 部分集合間で「AND関係」が起こる場合 • 取引先コード「請求先／支払先／納入先」 取引先C c7 c8 c5 c6 c3 納入先 支払先 c1 c2 c4 請求先
104. 部分集合間で「AND関係」が起こる例 • 集合をこのように切断できない
105. 部分集合間で「AND関係」が起こる場合 • 区分コードをエンティティとして認知し、多対多の関係を作る
106. ひとつの個体の中に区分コードが複数帰 属している例 • 例）個体に営業所区分コードと、運営形態区分コードが存在する
107. ひとつの個体の中に区分コードが複数帰 属している例 • 営業所区分コードが上位階になって、運営形態区分コードが下位階になる
108. ひとつの個体の中に区分コードが複数帰 属している例 • 運営形態区分コードが上位階になって、営業所区分コードが下位階になる
109. ひとつの個体の中に区分コードが複数帰 属している例 • 上下の階を入れ替えて、意味が通じる場合、どちらかの区分 コードは、そのエンティティに帰属しない
110. ひとつの個体の中に区分コードが複数帰 属している例 • 上下の階を入れ替えて、意味が通じる場合、どちらかの区分コードは、 そのエンティティに帰属しない • 「そのもの-の」性質（不変的性質）か
111. ひとつの個体の中に区分コードが複数帰 属している例 • 上下の階を入れ替えて、意味が通じる場合、どちらかの区分コードは、 そのエンティティに帰属しない • 「そのもの-の」性質（不変的性質）か、「-に対する」性質（流動的性質）か
112. ひとつの個体の中に区分コードが複数帰 属している例 • 上下の階を入れ替えて、意味が通じる場合、どちらかの区分コードは、 そのエンティティに帰属しない • 「そのもの-の」性質（不変的性質）か、「-に対する」性質（流動的性質）か
113. Nullの除去 共時的 OR関係
114. Nullの除去 共時的 状態遷移 OR関係
115. Nullの除去 共時的 状態遷移 OR関係 OR関係
116. 多値のOR関係 非正規形
117. 多値のOR関係 非正規形 正規形 「商品.単価」は、（商品単価が商品に帰属する性質なので）商品番号を継承する
118. 多値のAND関係 • 「event 対 resource」が「複数 対 複数」の時に起こる現象 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999
119. 多値のAND関係 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999
120. 多値のAND関係 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999
121. 多値のAND関係 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999
122. 多値のAND関係 受注入力 受注番号 受注日 999999999 YYYY/MM/DD 顧客番号 顧客名称 顧客区分 999999999 商品コード 商品名称 商品単価 受注数 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999 XXXXXXX-XXX NNNNNNNNNNNNNN 999,999.9 999
123. 多値のAND関係
124. 個体が事実として正しいか調べる • みなしエンティティ
125. 個体が事実として正しいか調べる • みなしエンティティ • スーパーセット
126. みなしエンティティ
127. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している
128. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している • ひとつのresourceのなかに、ほかのresource的性質が混入して いる
129. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している • ひとつのresourceのなかに、ほかのresource的性質が混入して いる • ひとつのeventのなかに、 resource的性質が混入している
130. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している • ひとつのresourceのなかに、ほかのresource的性質が混入して いる • ひとつのeventのなかに、 resource的性質が混入している • ひとつのeventのなかに、ほかのevent的性質が混入している
131. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している
132. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している
133. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している
134. みなしエンティティ • ひとつのresourceのなかに、event的性質が混入している
135. みなしエンティティ • ひとつのresourceのなかに、ほかのresource的性質が混入している
136. みなしエンティティ • ひとつのresourceのなかに、ほかのresource的性質が混入している
137. みなしエンティティ • ひとつのresourceのなかに、ほかのresource的性質が混入している
138. みなしエンティティ • ひとつのresourceのなかに、ほかのresource的性質が混入している
139. みなしエンティティ • ひとつのeventのなかに、 resource的性質が混入している
140. みなしエンティティ • ひとつのeventのなかに、 resource的性質が混入している
141. みなしエンティティ • ひとつのeventのなかに、 resource的性質が混入している
142. みなしエンティティ • ひとつのeventのなかに、 resource的性質が混入している
143. みなしエンティティ • ひとつのeventのなかに、ほかのevent的性質が混入している
144. みなしエンティティ • ひとつのeventのなかに、ほかのevent的性質が混入している
145. みなしエンティティ • ひとつのeventのなかに、ほかのevent的性質が混入している
146. みなしエンティティ • ひとつのeventのなかに、ほかのevent的性質が混入している
147. スーパーセット
148. スーパーセット • 家族的類似性の高い概念をくくる
149. スーパーセット • 家族的類似性の高い概念をくくる • 数学的なクラス概念ではない
150. スーパーセット entityをくくった例
151. スーパーセット entityをくくった例
152. スーパーセット entityをくくった例
153. スーパーセット entityをくくった例
154. スーパーセット entityをくくった例 アトリビュートをくくった例
155. スーパーセット entityをくくった例 アトリビュートをくくった例
156. スーパーセット entityをくくった例 アトリビュートをくくった例
157. スーパーセット entityをくくった例 アトリビュートをくくった例 定価
158. スーパーセット entityをくくった例 アトリビュートをくくった例 定価 時価
159. スーパーセット entityをくくった例 アトリビュートをくくった例 定価 時価
160. TMの感想
161. TMの感想 • ルールがシンプルで分かりやすい • 関係がパターン化されているので悩まない • 関係を実体化させているので（対応表、対照表）、新しい関係 を作る時、テーブル定義の変更が要らない • ひとつのエンティティが分割されて実装されている場合、全て のテーブルで同じキーを継承するのが、実装上便利
162. キーの継承
163. キーの継承
164. TMの学び方
165. TM2.0の参考書 まだ出版されていませんが、以下で公開されてます • 佐藤正美ホームページ • http://www.sdi-net.co.jp/ • TM2.0の基本的な考え方 • http://www.sdi-net.co.jp/tm2-1.pdf • TM2.0の技術 • http://www.sdi-net.co.jp/tm2-2.pdf
166. TMのモデリングツール 製品名 開発者 URL TER-MINE 株式会社アイティーエス http://www.its-mine.jp/ モデビ 株式会社モデビ https://www.modebi.jp/tool/ TMD-Maker 中嶋さん https://ja.osdn.net/projects/tmdmaker/releases/ • 専用のツールはTMの文法にそったモデリングをアシストして くれます
167. TMのコミュニティ • TMの会 • https://www.tm-net.org/ • 2004年11月に早稲田エクステンションセンターでTMを学んだ有志が集まっ て活動を開始 • 月一で佐藤正美氏を招いて開催 • TMに関する提唱者本人自身の解説を聞いたり質問したり • 土勉会 • 毎週土曜日にTM初心者が書いたER図を経験者がレビューしています
168. インタビュー記事 • モデルとは何か<第32回IT勉強宴会in東京> • http://blog.benkyoenkai.org/2014/06/32itin.html • データモデリング ～佐藤正美氏、若手エンジニアにデータモデ リングを語る～ • https://www.sei-info.co.jp/it-keyword/data_modeling.html
169. 完