7/2 講義終了
演習問題を含むプリント
- リレーショナル代数
- ise06, 07, 08
- タプルリレーショナル論理
- ise09
- ドメインリレーショナル論理
- ise10
- 関数従属性
- ise12
- 索引構造
- ise20
- スケジュール
- ise25
キーワードとか
概念設計
- 実体関連モデル、実体関連図
- スキーマとインスタンス
論理設計
- データモデル
- リレーショナルデータモデル
- ネットワークデータモデル
- 階層データモデル
- リレーショナルデータモデル
- 超キー、候補キー、主キー
- 実体整合性制約
- 参照整合性制約
- 第一正規型
- リレーショナル操作
- リレーショナル代数
- タプルリレーショナル論理
- ドメインリレーショナル論理
- 関数従属性
- 関数従属性、閉包、極小被覆
- アームストロングの公理系
- 関数従属性と正規型
- リレーションスキーマの分解、情報無損失分解、関数従属性保存分解
- 第二正規型
- 第三正規型
- ボイス・コッド正規型
- 多値従属性と第四正規型
- 結合従属性と第五正規型
SQL
授業では触れず・・・
物理設計
- データ格納方式
- 索引構造
- B木
- B+木
- 問い合わせ最適化(授業では触れず)
- トランザクション
- ACID特性
- スケジュールと直列可能性
- スケジュールの等価性(最終状態等価、ビュー等価、競合等価)
- スケジュールの回復可能性など
- ロックとロッキングプロトコル