「情報システム工学」の編集履歴(バックアップ)一覧に戻る
情報システム工学 - (2007/07/16 (月) 16:30:52) のソース
[[講義ページ>http://www.itl.t.u-tokyo.ac.jp/~sugi/ise/]] (要パスワード) 評価方法 試験 出席 レポ 7/2 講義終了 *キーワードとか **概念設計 +実体関連モデル、実体関連図 +スキーマとインスタンス **論理設計 +データモデル --リレーショナルデータモデル --ネットワークデータモデル --階層データモデル +リレーショナルデータモデル --超キー、候補キー、主キー --実体整合性制約 --参照整合性制約 --第一正規型 +リレーショナル操作 --リレーショナル代数 --タプルリレーショナル論理 --ドメインリレーショナル論理 +関数従属性 --関数従属性、閉包、極小被覆 --アームストロングの公理系 +関数従属性と正規型 --リレーションスキーマの分解、情報無損失分解、関数従属性保存分解 --第二正規型 --第三正規型 --ボイス・コッド正規型 +多値従属性と第四正規型 +結合従属性と第五正規型 **SQL 授業では触れず・・・ **物理設計 +データ格納方式 --索引構造 --B木 --B+木 +問い合わせ最適化(授業では触れず) +トランザクション --ACID特性 --スケジュールと直列可能性 --スケジュールの等価性(最終状態等価、ビュー等価、競合等価) --スケジュールの回復可能性など --ロックとロッキングプロトコル