完整性约束推理

（计算机科学技术）

完整性约束推理（inference based on integrity constraint），计算机科学技术名词，利用数据的完整性约束建立推理通道，推导出隐含数据的推理方法。