俗語というか、けっこう世間で使われている用語法。 RDB正統派用語 俗語 ドメイン 基本データ型 属性 カラム タプル レコード リレーション テーブル 外部キーによる参照 リレーション 僕は俗語擁護派だけど、「リレーション」の乖離がひどい。無駄な争いや…

リレーションを張る ： ここでの「リレーション」は参照のこと。 トランザクションを張る SQLを流す ： 主語が「スクリプト」とかも プログラムを組む ： これは普通か サーバーを立てる（建てる？） ： これも普通かも まー、別にいいけど。

関係は、スパン（あるいはn-スパン）の特殊なもの。特殊性は、jointlyに単射なこと。で、関係をスパン（あるいはn-スパン）の置き換えること。一般的な関係（あるいは非決定性写像）を避けて、単葉な関係（あるいは全域単葉な関係）に直す手法。関係をスパン…

テーブルAからテーブルBへの参照があるとき、つまり、テーブルAのとあるカラムが、テーブルBの主キーを値とするとき、参照する側をなぜか「子テーブル」、参照される側をなぜか「親テーブル」と呼ぶ。親子の解釈はどうでもいいとして、これは約束。

アリーナ周り - (新) 檜山正幸のキマイラ飼育記 メモ編 も参照。以下はほぼ同義語： バンドル ファミリー コンテナ ファイバー付き集合 順序なしの低木林 低木林は低木〈シュラブ〉の林だが、 低木＝カローラ＝単頂点ループなし半グラフ＝付点有限集合 林＝…

finite-product-preserving functor をデカルト関手と呼ぶこともあるし、バンドルのデカルト射を保存する関手をデカルト関手と呼ぶこともある。 cartesian functor デカルト自然変換も、自然性四角形がデカルト四角形である自然変換と： cartesian natural t…

指標 モデル マニフェステーション コンテキスト モデル 射影・セクション・ペア 形状 図式 埋め込み・レトラクション・ペア 判断 根拠 証明、導出 主張 事実 説明 命題 モデル 証拠 スキーマ インスタンス 問い合わせ 充足関係、正当化関係、居住関係： 相…