关系模犁是一种新的数据库模型。它是建立在严格的数学理论、【 】和谓词演算公式基础上的。