「情報システム工学」の編集履歴（バックアップ）一覧に戻る

情報システム工学 - (2007/07/16 (月) 16:31:56) のソース

[[講義ページ>http://www.itl.t.u-tokyo.ac.jp/~sugi/ise/]]
　(要パスワード)
評価方法
　試験　出席　レポ

7/2 講義終了

*キーワードとか
**概念設計
-実体関連モデル、実体関連図
-スキーマとインスタンス

**論理設計
-データモデル
--リレーショナルデータモデル
--ネットワークデータモデル
--階層データモデル
-リレーショナルデータモデル
--超キー、候補キー、主キー
--実体整合性制約
--参照整合性制約
--第一正規型
-リレーショナル操作
--リレーショナル代数
--タプルリレーショナル論理
--ドメインリレーショナル論理
-関数従属性
--関数従属性、閉包、極小被覆
--アームストロングの公理系
-関数従属性と正規型
--リレーションスキーマの分解、情報無損失分解、関数従属性保存分解
--第二正規型
--第三正規型
--ボイス・コッド正規型
-多値従属性と第四正規型
-結合従属性と第五正規型

**SQL
授業では触れず・・・

**物理設計
-データ格納方式
--索引構造
--B木
--B+木
-問い合わせ最適化(授業では触れず)
-トランザクション
--ACID特性
--スケジュールと直列可能性
--スケジュールの等価性(最終状態等価、ビュー等価、競合等価)
--スケジュールの回復可能性など
--ロックとロッキングプロトコル