【摘 要】
：
主键约束是描述关系数据一致性的常用方法,基于主键约束的数据一致性修复返回一个极大子集,子集中不同数据的主键不同.对于合取查询Q,一致性合取查询返回一个答案集合,答案集
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家“九七三”重点基础研究发展规划项目基金（2012CB316200）, 国家自然科学基金（61003046,6111113089）, 国家教育部博士点基金（20102302120054）资助
论文部分内容阅读
主键约束是描述关系数据一致性的常用方法,基于主键约束的数据一致性修复返回一个极大子集,子集中不同数据的主键不同.对于合取查询Q,一致性合取查询返回一个答案集合,答案集合是Q在数据集合I的每一个修复下查询结果的交集.文中将Q在I中的查询结果满足一致性的个数占总的结果个数的比例定义为查询结果的一致性程度.若Q不可一阶表达且不能在多项式时间内得到其一致性解,则当Q答案个数超过30时,使用抽样的方法给答案集合一致性程度的一个（ε,δ）-估计.由于布尔合取查询的一致性判定问题是coNP-完全问题,因此在估计过程中,
其他文献
分析了国际钨市场近几年来的特征,论述了中国钨工业对国际钨市场的影响,认为中国钨工业在国际上的影响越来越凸显。
葛源稀有金属矿床中铌、钽矿床赋存于隐伏蚀变花岗岩岩体内，通过对该矿床铌、钽矿化特征及赋存状态的研究．查明矿床中铌、钽两种元素主要以类质同象、独立矿物和包体三种形式存
当密码系统被部署到不安全环境或者遇到木马攻击时,密钥泄漏问题将不可避免.为减少密钥泄漏带来的损失,基于密钥进化思想的前向安全、密钥隔离以及入侵容忍等密码体制被陆续
在江西省委、省政府的领导下,赣州市委、市政府高度重视有色金属工业的发展,尤其是钨工业,依托资源优势,加大产业结构调整和资源整合的力度,呈现出飞速发展之势,为江西有色金
综述了赣州市钨产业的资源情况、发展历史与发展现状，论述了赣州市钨产业的发展目标、发展重点和主要措施。