数据库基本概念扫除:

indicator/characteristic funtion:定义在集合x上的函数，x上某一个值是否属于子集A
数理逻辑中谓词常被理解为bool值函数，P X->{true, false},称为基于X的谓词
当定义了relation的概念后，谓词仅仅是relation的characteristic function，也可以仅仅表示布尔表达式
relation就是tuple的集合，每一个元素都是数据域的子集也可以理解为表头加表体