主キー／外部キーなんてドーデモイイ - 檜山正幸のキマイラ飼育記 (はてなBlog)

土曜日の「データベースは圏なんだよ！の会」（hirataraさんのメモ）で、「主キー／外部キーなんてドーデモイイでしょ」的なことを言ったので、「どういう観点ならドーデモヨク見えるのか」を補足しておきます。別な観点からはドーデモヨクナイでしょうが、そういう別な観点を否定するものではありません*1。 以下の話は、集合圏に関する練習問題にもなっています。モノ射とプルバックの定義を確認して、集合圏のなかで具体的に考えてみてください。手を動かして具体的に追いかければ、ドーデモヨサが実感できるはずです*2。 Cは集合圏の部分圏としまします。したがって、Cの対象は集合で射は写像です。データベースを考える文脈では、Cは有限個の対象からなる小規模なもの（有限表示を持つ圏）です。Cは、Cと同じ“形状”を持つスキーマSのデータベースインスタンス（スナップショット）だと思ってください。 Cの対象Aごとに対象K(A

[terazzo]

自分がよく言う「PKやFKをアプリケーションプログラム上から排除したい(http://d.hatena.ne.jp/terazzo/20080506/1210089224)」を学術的に言うとこうなるのか。

[rryu]

人工キーに余り好い感情を抱かないのは、ただでさえ余計なキー構造なのにあえてさらにそれだけの為のものを追加するなんてとんでもないと仄かに感じているからかもしれない。

[katzchang]

「キー構造の必要性はソフトウェアが動くための仕掛けとしてなんです。仕掛けとしては必須で重要ですが、情報のモデリングとしては恣意的で余分な構造です」まあそうだよね、という結論だけは理解した。

[yojik]

"キー構造の必要性はソフトウェアが動くための仕掛けとしてなんです。仕掛けとしては必須で重要ですが、情報のモデリングとしては恣意的で余分な構造です"

[habuakihiro]

面白い！！