このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

タプルとリレーション

RDB的タプルの呼び名:

ハッシュマップ、ハッシュ、マップなどは実行時に名前を持っているもの。構造体やオブジェクト(の多くは)実行時に名前が残ってない。が、そんな違いを無視すると、山のような同義語。

さらに次が同じ概念:

  • Rel(A, B) 数学的関係(RDB的関係ではない)
  • Pow(A×B)
  • Map(A, Pow(B))

Map(A, Pow(B)) は NDMap(A, B) または、Fam(A, B) とも書けて、呼び名は

  • 関係(ちゃんと言えば二項関係)の集合
  • 直積のベキ集合 部分集合の集合
  • 非決定性写像の集合
  • 多値関数の集合
  • 対応の集合
  • 集合値関数の集合
  • 有界添字族の集合