关系模型是一种新的数据模型，它建立在（       ）和谓词演算公式的基础上。