リレーショナルデータベース入門第 3 版(リレーショナル データ ベース ニュウモン .)

リレーショナルデータベースの「なぜそう動くのか」を理論の側から体系的に学ぶ教科書です。著者の増永良文氏はデータベース研究の大家であり、本書はサイエンス社から版を重ねて第 3 版に至っています。関係代数、関係論理、正規化理論、トランザクション管理といった主題を、数学的な基礎付けとともに展開する構成です。

「入門」と銘打っていますが、その射程は学部の情報科学課程から大学院レベルの議論まで及びます。 SQL の書き方を学ぶ本ではなく、 SQL の背後にある関係モデルの意味論を理解するための本です。実務で「なぜ第 3 正規形にするのか」「なぜこの分解が情報無損失なのか」を数学的に説明する必要に迫られたとき、本書の記述が拠り所になります。

実践的な DB 設計のパターン集 (たとえば『達人に学ぶ DB 設計 徹底指南書』) とは役割が異なり、理論の深さと厳密さで補完し合う関係にあります。章末問題も証明寄りのものが多いため、手を動かしてテーブルを作りながら学びたい人は実践本を先に読み、本書を理論的な裏付けとして参照する順番が効率的です。