平成１２年度冬学期開講
データベース特論 Ｉ （理学系大学院 情報科学専攻）
複雑計算論（新領域創成科学研究科 複雑理工学専攻）
| 講義内容 | データベース問合せ言語の設計・意味論と実行最適化技法の解説 |
| 講義時間 | 毎週金曜日 午前10時15分から午前11時45分 |
| 講義室 |
理学部７号館１０２講義室 |
| 講義予定日 | 2000/10/06, 10/13, 10/20, 11/10, 11/17, 12/1, 12/8, 12/22, 2001/1/12, 1/19, 1/26 計11回の予定 （10/27, 11/24, 12/15 は出張中にて休講） |
講義ノート
| 問合せ言語の意味論 1 --- 再帰的問合せ | PDF File |
| 問合せ言語の意味論 2 --- 否定記述 | PDF File |
|
問合せ言語の意味論 3 --- 層状でない場合の扱い |
PDF File |
| 問合せ言語の意味論 4--- Well-Founded Model | PDF File |
| 問合せ言語の意味論 5--- ２値モデルと単一モデル | PDF File |
| 問合せ最適化 1 --- 問合せ結果の包含関係 | PDF File |