01 / 読書ガイド
読書ガイド
関係データベース：教材を選び、集計の単位を確かめる
設計・システム・理論の三冊を比較し、独自のSQL例でキー、欠測、未対応行と結合による重複を区別して集計を検証します。
学習順路・例題の編集責任：University Reading List編集プロジェクト。
対象読者
大学院と高学年のデータベース理論課程向け。関係設計と問合せの基礎が必要である。言語の表現力、制約の含意、形式モデルによる推論を重視し、特定製品の運用とは目的が異なる。
前提知識
データベース入門、離散数学、一階論理、計算可能性を勧める。関係、量化、証明、計算量クラスを理解して後半の理論へ進む。
扱う内容
関係モデルと連言問合せから代数、論理式、依存性、スキーマ、Datalog、再帰、否定、表現力と計算量へ進む。不完全情報、複雑な値、オブジェクト、動的側面も扱う。
使い方
同じ問合せを二つの形式で書き、小さな有限データベースで意味を比べる。構文、意味、評価コストを分ける。chaseを手計算し、各段階の依存性を記す。同値定理の条件を一つ外した反例を作り、理論上の表現力と製品機能を混同しない。
版と出典
移転後の著者Webdamサイトに678頁の全稿と章別ファイルがある。個人用の一部コピーは許すが再配布と再掲は禁じる。CC許諾ではなく、未確認の現行印刷版番号を付けない。
版と学習準備の確認
この記録は著者による完全オンライン草稿であり、新たに確認した紙版ではありません。紙版の年・ISBNは追加しません。既存記録の許諾は個人用コピーを認めても再配布・転載を禁止しており、一般的なCCライセンスではありません。2026年11月4日の確認では接続できなかったため、唯一の教材にする前に利用可能性を確認してください。DB入門、量化記号、証明を準備し、論理的な表現能力と製品固有のSQL動作を区別します。
確認した出典 (2026-11-04).
