论文部分内容阅读
介绍了条件函数依赖理论及如何用于检测不一致数据。首先介绍了条件函数依赖的概念及其推理系统，以及如何通过依赖传播实现视图的规范化；阐述了条件函数依赖的一致性和蕴含判定问题，并在此基础上介绍了基于条件函数依赖检测关系数据库数据一致性的技术；最后讨论了条件函数依赖的扩展及应用。
条件依赖理论及其应用展望
【摘 要】
：
介绍了条件函数依赖理论及如何用于检测不一致数据。首先介绍了条件函数依赖的概念及其推理系统，以及如何通过依赖传播实现视图的规范化；阐述了条件函数依赖的一致性和蕴含判定
【机 构】
：
国防科学技术大学C4ISR技术国防科技重点实验室
【出 处】
：
计算机科学
【发表日期】
：
2009年12期
【基金项目】
：
本文受国家自然科学基金（70701038和70771109）资助.
其他文献
随着Internet网络的快速发展，网络操作员迫切需要知道网络中数据的流动情况，以便更好地进行网络管理、网络监控、网络设计和网络规划等网络流量工程管理。流量矩阵作为网络流量
实现骨骼动画的一个前提是获取人体模型的骨架,现有的骨架提取算法不是计算复杂度高,就是提取准确度不高,或者需要手工干预。提出一种基于人体特点和黄金比例律的人体模型骨架提取算法,首先对模型进行精简,然后根据人体的特点与黄金比例律确定模型关节点的大概位置,在此基础上对模型进行分割。由于人体存在个体差异且姿势也可能不一致,采用测地距离方法对关节点的位置进行修正,确定其位置。与现有的算法相比,本方法效率高,
立德树人是高校的根本任务。思想政治工作应贯穿教育教学全过程,实现全员、全过程、全方位育人。高校档案工作是育人环节中不可或缺的部分,高校档案工作者作为全员中的一员,
查询扩展技术中引入语义计算是一个重要的研究方向。针对现有解决方法普遍存在缺少主题知识、引入无关词以及筛选函数不恰当的问题，提出了一种结合主题选取与局部反馈方法的语
BGP和OSPF是目前网络中普遍使用的域间和域内路由协议，路由协议的运行状态直接影响网络性能。本文设计和实现了一个通用的路由监控分析系统，能实时收集路由信息，自动生成域间域
由于参与节点多、移动性强，武器协同数据链一般采用分层的网络结构。战场环境下，己方通信经常会受到敌方干扰，而这将对武器协同数据链网络的一个很重要的性能指标—时延产生明显
翻译记忆库(TM)作为计算机辅助翻译(CAT)软件的核心模块(CPU),是产出高质量高数量译文的关键。从对CNKI近二十年(1998—2017)来的统计信息来看,中国学术界对TM研究主要集中在
复杂网络环境下的系统组件往往处于多种不同状态，二值逻辑（BL）在描述多种组件状态时显得无能为力。本文提出了采用多值逻辑（MVL）分析组件状态，重点描述k-out-of-n：S系统模型，并采用Mi