集合理论
集合,我们的意思是:任意集合体M是我们感知或想到的,能够确定的、互异的对象m(称为M的元素)的整体。
——Joseph W. Dauben 和 Georg Cantor(普林斯顿大学出版社,1990年)
谓词逻辑
一般来说,谓词是一个属性或是一个表示“持有”或“不持有”的表达式,换句话说,也就是“真”或“假”。
关系模型
关系模型是基于集合理论和谓词逻辑进行数据管理和操作的语义模型。
*参考:
《SQL Server 2012 T-SQL基础教程》Itzik Ben-Gan 著;张洪举,李联国,张昊天 译