第二章 集合论和谓词逻辑

　　本章将概要介绍数学发展史上的两个重要基石：集合论和谓词逻辑，它们和数据库领域有着非常密切的关系。数据库中的表代表事实的集合，数据库查询就是在查询谓词的基础上生成结果集。

　　逻辑学的研究对象是命题(proposition)和命题函数。命题是表达事实或为真、或为假的语句。命题函数是带有一个或多个没有指定取值的变元的开放语句。数据库表保存了代表事实的语句，而查询谓词则是命题函数。