空值环境下函数依赖公理系统存在性研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户:fdghghjhghjjh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文详细讨论了在空值环境下满足强保持、中间保持、弱保持条件的函数依赖相应公理存在的可能性及存在条件。
其他文献
<正>德国一项研究表明:25%造成严重伤害的交通事故和60%引起死亡的交通事故都是因为车辆侧滑所致。研究显示,当车辆行驶于湿滑路面或高速转向时,电子稳定程序ESP能够帮助车身
<正> 我院1984至1986年以脑血栓形成收治的患者中,有10例后经手术证实为脑肿瘤。现报告如下:讨论脑血栓形成发病人数近年来逐渐增多,以卒中形式起病的脑肿瘤者不少见。本组病
近年来,工程建设领域不断发生的质量事故,没有严格的管理和监督,价格再高也不能保证质量。因此,在整个采购过程中,都要围绕项目质量管理这个中心,落实措施,强化责任,使质量管理落到实
通过对广州市番禺区高中足球集训队31名男运动员的对比研究,发现高强度间歇训练“以赛促练”模式深受学生喜爱,也激发学生足球运动的兴趣。经过10周高强度间歇训练,运动员的
随着人们生活水平的不断提高,对于电力的需求也随之日益增长,使得我国电网的规模也迅速扩大,但是由于各种自然因素或者人为因素,导致配电网中的电缆时常出现故障问题。配电网电缆
<正> 先天性支气管肺囊肿是肺芽支气管树发育障碍引起的疾病,临床少见,但误诊率颇高。作者所在两家医院1980年至1990年手术治疗并经病理证实该病共28例,全部病例在住院前后均
<正>腹腔镜根治性肾切除术是根治肾癌的主要手段,近年来随着诊断技术的不断进步,很多肾肿瘤得以早期发现[1]。越来越多的学者倾向于对T1期肾癌采用肾部分切除术[2]。目前,后
<正> 徐霞客(1587—1641年),名弘祖,字振之,号霞客,江苏省江阴人。是明代伟大的旅行家、地理学家和探险家。毕生从事实地考察探险,著有《徐霞客游记》。1987年11月,在江苏省无锡市召开了由中国科协等主办的“纪念徐霞客诞辰400周年会
本文提出一种新的高效率压缩及还原算法-自适应数据压缩/还原算法,阐述了算法原理,实现流程及实现过程中可能遇到的问题。
IC日益增长的设计复杂性和在时间、代价方面的需求,使得验证工作很重要却又困难重重。传统的简单验证方法和手段已不能满足要求,采用新的验证方法势在必行。以存储系统功能性的