m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ データベース 教育 用語法 STEM 型＝データ型＝集合 基本型＝基本データ型＝基本集合 直積型構成子 直積型＝直積データ型＝直積集合 直積型＝タプル型 ペア型⊆タプル型 ベキ集合型構成子＝ベキ型構成子 { {ベキ集合}{型 | データ型} | {ベキ}{型 | データ型 | 集合} } {制約 | 制限}{_ | 条件} を使った型 {制約 | 制限}型 基本的直積型 := 基本型を型引数にした直積型 ベキ制限型 := ベキ型に制限を使った型 基本型（＝単純型＝プリミティブ型＝スカラー型）は事前に決める（例：bool, int, real, string, unit）。基本型に直積型構成子（＝直積集合構成子＝直積集合演算子＝直積… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20171107%2F1510045943" 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-11-07 18:12:23 rich https://m-hiyama-memo.hatenablog.jp/entry/20171107/1510045943 1.0 100%