【摘 要】
：
主键约束是描述关系数据一致性的常用方法,基于主键约束的数据一致性修复返回一个极大子集,子集中不同数据的主键不同.对于合取查询Q,一致性合取查询返回一个答案集合,答案集
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家“九七三”重点基础研究发展规划项目基金（2012CB316200）, 国家自然科学基金（61003046,6111113089）, 国家教育部博士点基金（20102302120054）资助
论文部分内容阅读
主键约束是描述关系数据一致性的常用方法,基于主键约束的数据一致性修复返回一个极大子集,子集中不同数据的主键不同.对于合取查询Q,一致性合取查询返回一个答案集合,答案集合是Q在数据集合I的每一个修复下查询结果的交集.文中将Q在I中的查询结果满足一致性的个数占总的结果个数的比例定义为查询结果的一致性程度.若Q不可一阶表达且不能在多项式时间内得到其一致性解,则当Q答案个数超过30时,使用抽样的方法给答案集合一致性程度的一个（ε,δ）-估计.由于布尔合取查询的一致性判定问题是coNP-完全问题,因此在估计过程中,
其他文献
科学地定位和确立发展目标,是更名后的西北民族大学非常急迫的任务.认真分析我们所面临的机遇与挑战,盘点我们的优势与不足,扎扎实实、一步一个脚印地做好教学、科研、管理等
多路径并行传输（CMT）是一个基于流控制传输协议（SCTP）的新传输协议,它使用SCTP协议的多宿特性,在一条端到端偶联中的多条路径上并行地进行数据分发,相对单路径传输具有聚合带宽、
分析了国际钨市场近几年来的特征,论述了中国钨工业对国际钨市场的影响,认为中国钨工业在国际上的影响越来越凸显。
模型机设计实验是计算机组成原理实验中的一个综合性较强的实验，要求学生在掌握各部件单元电路的基础上，构建一台模型计算机。文章选用TD—CMA实验教学系统，针对采用微程序控制
通过阐述当前影响企业科技成果转化的主要障碍和提高科技成果转化为生产力的对策，提出了江西钨业集团有限公司应重视和加快科技成果转化，以形成公司经济发展新的增长点而确保公
葛源稀有金属矿床中铌、钽矿床赋存于隐伏蚀变花岗岩岩体内，通过对该矿床铌、钽矿化特征及赋存状态的研究．查明矿床中铌、钽两种元素主要以类质同象、独立矿物和包体三种形式存
当密码系统被部署到不安全环境或者遇到木马攻击时,密钥泄漏问题将不可避免.为减少密钥泄漏带来的损失,基于密钥进化思想的前向安全、密钥隔离以及入侵容忍等密码体制被陆续
在江西省委、省政府的领导下,赣州市委、市政府高度重视有色金属工业的发展,尤其是钨工业,依托资源优势,加大产业结构调整和资源整合的力度,呈现出飞速发展之势,为江西有色金
陈诚的《西域番国志》、《西域行程记》是明代惟一的亲历西域实录。比勘《西域番国志》与《明史·西域传》，确定《明史·西域传》采拉《西域番国志》的版本系统，进一步
综述了赣州市钨产业的资源情况、发展历史与发展现状，论述了赣州市钨产业的发展目标、发展重点和主要措施。