m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 用語法 データベース STEM タプルを入れ子ペアとするか、インデックス集合からの写像とするか。 インデックス集合からの写像のほうが扱いやすい。これを仮にマップタプルと呼ぶ。 入れ子ペアを右標準形または左標準形にすれば、{1, ..., n}上で定義されたマップタプルと対応が付く。 インデックスは、添字＝サフィックス、引数と同じ。 インデックス集合は添字集合、サフィックス集合、引数集合＝写像の域、用語がイッパイ タプルの型は、スキーマ、指標、見出し（heading） タプルの全体はタプル空間。Lindaのタプル空間とは関係ない。 タプル空間のあいだの非決定性写像で、射影とその逆（転置）で作られたものからなる圏をタプル圏と呼ぶ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171005%2F1507185568" 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-05 15:39:28 rich https://m-hiyama-memo.hatenablog.jp/entry/20171005/1507185568 1.0 100%