01 / 导读
导读
关系数据库：选教材，先核对查询在数什么
比较设计、系统与理论三类数据库读物，用原创SQL实例区分键、未知值、没有匹配记录与连接倍增，再检查每列结果的统计单位。
学习路线与例题编辑责任：University Reading List 编辑项目。
适合谁
适合研究生和高年级本科数据库理论课，需先理解关系设计与查询。重点是语言能表达什么、约束如何蕴含其他约束，以及形式模型如何支持推理，而不是产品运维。
需要的基础
建议先学数据库、离散数学、一阶逻辑和可计算性，能熟练使用关系、量词、证明与复杂度类，再进入较后的理论章节。
覆盖内容
由关系模型、合取查询进入代数、演算、依赖、模式设计、Datalog、递归、否定、表达能力和复杂度，再讨论不完整信息、复杂值、对象数据库与动态问题。
如何使用
把同一小查询写成两种形式，在刻意设计的有限数据库上比较语义；分开语法、意义和求值成本。手算chase并逐步写依据的依赖，对等价定理找出限制，再放松一个限制构造反例，不把理论表达力等同于当前引擎功能。
版本与来源
作者迁移后的Webdam站提供678页完整在线稿与分章文件，仅允许个人单份，不得再分发或另站转载。授权访问并非CC许可，在线稿不附未经确认的现行纸本编号。
版别与学习自检
本记录指完整作者在线草稿，不是本次重新核实的纸版，因此不补纸版年份或ISBN。既有授权记录允许个人复制但禁止再分发、转载，并非通用CC许可。2026-11-04核查未能取得该入口，作为唯一读物前应先确认可访问性。先修包括数据库入门、量词与证明；自测是把查询解释为关系，并区分逻辑表达能力与具体SQL引擎行为。
核查来源 (2026-11-04).
