导出关系相关硕士博士期刊学术论文 - 信丰网

导出关系相关论文

基于函数依赖的导出关系候选码计算

基于函数依赖的候选码计算在基于压缩策略的快照差分算法、数据一致性检测、数据不一致修复、数据完整性约束等方面有重要的作用。......

期刊

候选码计算导出关系函数依赖快照差分一致性 candidate code calculation derived relation functio

道义命题演算OK的树枝图及其应用

【正】树枝(有的文章译为表列方法)是一种树形的反驳逻辑系统,在人工智能文献中又叫语义树。命题和一阶逻辑的树枝图理论是由Beth......

期刊

树枝图命题演算可能世界当且仅当语义模型结点非标准逻辑人工智能文献导出关系逻辑系统

看过本文同时还关注