候选关键字的判定理论

来源 :计算机学报 | 被引量 : 0次 | 上传用户:petitlxr
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在关系数据库理论中,确定关系模式的候选关键字是一个NP完全问题,至今尚无有效的理论.本文提出关系模式唯一候选关键字存在性的充要条件和开发了具有单属性函数依赖候选关键字的求解规则.
其他文献
新华网消息.中央农村工作会议决定.2009年中国将切实加强农产品质量安全工作.在农产品生产环节推动标准化生产.在食品加工流通环节强化企业质量安全责任.在政府监管环节健全全程监
归纳结论正确性的自动确认是归纳学习用于软件自动化必须解决的首要问题。本文针对自学习软件自动化系统NDSAIL的需要,提出了保证归纳结论正确性的一致性准则和可满足性准则以及用多
_(γω)理论是一种一阶数学理论,它融合γω演算与谓词演算于一体.本文运用_(γω)理论来描述面向对象编程体裁(00PP)中一种多重继承机制的语义,它象公理语义一样抓住了(语义
本文运用模代数矩阵分析法,导出了简单RM展开式和复杂RM展开式的b_j矩阵判别法则,并给出了将n变量RM展开式化为具有最少和项的单变量函数积之和的规范算法,该算法可以在计算
8月21日.证监会发审委2009年第78次会议审核结果公告发布.广东海大集团股份有限公司(以下简称广东海大)首发荻通过。这标志着饲料行业又多一家上市公司。
中国进出口食品质量检测官员2月21日透露.继欧盟恢复进口中国熟制禽肉产品后。挪威、瑞士也将恢复对中国熟制禽肉的进口.
近些年,笔者接触了众多的中小饲料企业,深刻体会到这些老板们是最繁忙,最辛苦的一族。企业的销售、配方、生产、采购以及对外的交流等,事无巨细,事必躬亲。每天忙得焦头烂额,
为贯彻落实国务院办公厅《关于进一步推进墙体材料革新和推广节能建筑的通知》精神,按照国家发展改革委《“十二五”墙体材料革新指导意见》,以及《关于开展“十二五”城市城区
2月24日.山东新昌集团有限公司与美国泰森食品有限公司在日照签订合作协议.双方共同投资5.25亿元人民币组建日照泰森新昌家禽有限公司,在莒县新建家禽养殖基地。
本文详细讨论了基于超图的关系模式的有关候选关键字的某些理论,给出了相应的定理.圆满地解决了关系模式全部候选关键字的求解问题,具体地给出了以递归形式的求全部候选关键