【摘 要】
：
数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,由于一条元组中属性取值存在多种可能,属性
【基金项目】
：
国家自然科学基金项目(61070032)资助
论文部分内容阅读
数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,由于一条元组中属性取值存在多种可能,属性间取值相互约束的情况要比一般关系中的复杂。为进一步研究不确定关系中数据间的联系,给出了不确定关系模式的形式化定义,提出了3类不确定函数依赖,并证明了其推导规则。此3类不确定函数依赖可以检查不确定关系的可能世界中是否存在违反规范化设计要求的风险,从而避免数据冗余,更新异常操作。
其他文献
花卉的自然花期各异,为了集中满足并保证元旦、春节、国庆、五一等节日批量用花和市场所需,在花卉的生产实践中,人们往往采用多种措施来提早或延缓花的自然开花时期,以达到应
建立一个有效运作的筹资机制是新型农村合作医疗得以可持续发展的基础。从目前的试点情况来看,在新型农村合作医疗的筹资方面仍然存在筹资主体责任不强、筹资标准忽视公平原
低矿化度水驱作为一种经济有效的提高采收率技术,正引发人们越来越多的关注。国外低矿化度水驱已取得良好的矿场效果,而低矿化度水注入时机对开发的影响却未见研究。针对这一
2007年在美国爆发的经济危机对全球经济影响甚重。近年来,受此次经济危机的影响,我国部分沿海地区密集出现了比以往严重的外商非法撤资的情况,其中尤以韩企最为严重。对非法
作曲的技巧,有很多人都在谈,很多人都在和弦上花工夫。也有一些人完全按照感觉来写。诚然,按照下行5度和弦圈的经典走位,旋律怎么写都不是很难听,但学一些作曲的另外一些技巧
<正>俗话说:"良好的开端是成功的一半."导入新课是为了引出新课,虽不是主体,但它却在整节课堂教学中起到了至关重要的作用,导入新课的成败往往直接影响着整节课的成败,因此设
为了提高多传感器光电跟瞄系统瞄准精度,提出了多传感器光电跟瞄系统瞄准精度测试的3种方法：像纸法、CCD法和靶标法。系统采用宽光谱大口径平行光管,结合光电跟瞄系统的激光、
本文对青海省洪涝灾害的严重情况作了分析，针对产生洪涝灾害的主要原因，提出各项防治对策。