m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ メモ 雑記／備忘 データベース 実体ノードEとその属性集合Aがあり、Aを含むリレーション型Rがあるとき、AがRに置いて網羅的とは、 A:E→Tuple(A) は単射である。 Rの任意のインスタンスrにおいて、r[A] = A[E] が成立する。 さらに、r|→r[A] が常に単射（つまり、キー）なら、完全と呼ぶ。リレーション型RにEの完全属性集合Aがあるなら、R[A]をEの代理にしてよい。属性集合が、世界モデル側では、射としての属性の集合、リレーションモデル側では、属性名の集合で射影を定義する、と解釈をしている。ER-リレーション図を描けば分かりやすい。関連が全域かどうかは、完全属性セットがないと判断できない。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171009%2F1507533648" title="網羅性と完全性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-10-09 16:20:48 rich https://m-hiyama-memo.hatenablog.jp/entry/20171009/1507533648 1.0 100%