01 / 導讀
導讀
關聯資料庫：選教材，先核對查詢在數什麼
比較設計、系統與理論三類資料庫讀物，以原創SQL實例區分鍵、未知值、沒有對應紀錄及連接倍增，再檢查各欄的統計單位。
學習路線與例題編輯責任：University Reading List 編輯專案。
適合誰
適合研究生和高年級本科資料庫理論課，需先理解關係設計與查詢。重點是語言能表達什麼、約束如何蘊含其他約束，以及形式模型如何支援推理，而不是產品運維。
需要的基礎
建議先學資料庫、離散數學、一階邏輯和可計算性，能熟練使用關係、量詞、證明與複雜度類，再進入較後的理論章節。
涵蓋內容
由關係模型、合取查詢進入代數、演算、依賴、模式設計、Datalog、遞迴、否定、表達能力和複雜度，再討論不完整資訊、複雜值、物件資料庫與動態問題。
如何使用
把同一小查詢寫成兩種形式，在刻意設計的有限資料庫上比較語義；分開語法、意義和求值成本。手算chase並逐步寫依據的依賴，對等價定理找出限制，再放鬆一個限制構造反例，不把理論表達力等同於當前引擎功能。
版本與來源
作者遷移後的Webdam站提供678頁完整線上稿與分章檔案，僅允許個人單份，不得再分發或另站轉載。授權訪問並非CC許可，線上稿不附未經確認的現行紙本編號。
版別與學習自檢
本紀錄指完整作者線上草稿，不是本次重新核實的紙版，因此不補紙版年份或ISBN。既有授權紀錄允許個人複製但禁止再散布、轉載，並非通用CC授權。2026-11-04核查未能取得該入口，作為唯一讀物前應先確認可存取性。先修包括資料庫入門、量詞與證明；自測是把查詢解釋為關係，並區分邏輯表達能力與具體SQL引擎行為。
核查來源 (2026-11-04).
