谓词数据模型

（计算机科学技术）

谓词数据模型（predicate data model），计算机科学技术名词，用一阶谓词逻辑来描述数据对象、模式以及它们之间的关系和语义的一种数据模型。