紧致依赖与内涵亏值

来源 :软件学报 | 被引量 : 0次 | 上传用户:bjbdn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了“内涵亏值”与“紧致依赖”的概念,证明了由“紧致依赖”组成的依赖基对于“左部加属性、右部枣属性”这一规则的公理系统是无冗余而完整的,由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭开了寻找多种无冗余完整依赖基以满足多样化需求的序幕.
其他文献
结合生产实践,对非织造布生产过程中静电现象的产生机理、危害及影响因素进行了探讨和分析,提出了静电现象的判断方法和一些有效防治措施。
基于指针推进机制的分层移动IPv6方案因未考虑移动锚点管理域的影响,导致较高的注册和报文分发开销.提出一种面向分层移动IPv6网络的动态指针推进机制(dynamicpointerforwarding
进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于
四边形网格的结构特点要求网格单元满足全局一致性,难以取得网格质量与表达效率之间的平衡.为此,提出一种基于全局的各向异性四边形主导网格重建方法,可生成网格质量好且冗余
高速行车易肇事的心理因素傅家振高速行车时,驾驶员不容易全面而正确地感知车外的事物根据心理学关于认识过程的研究表明,要正确感知车外的事物,首先必须便刺激物具有一定的强度
中国网民规模之庞大、增长之快速无疑为网络公共领域主体的形成准备了前提,然而网民对网络的态度、他们在网上的活动类型则对网络公共领域的形成更具实质意义。中国网民从网
全军计划生育工作“三个结合”经验交流会于4月中旬在北京召开。这次会议的主要任务是贯彻中央有关计划生育的方针政策,总结交流全军部队“九五”以来贯彻落实计划生育工作“三
从传统文明走向生态文明,是人类审视经济理性、生态危机后对社会发展模式的重新反思。构筑“生产绿色化”、“政绩生态化”、“消费低碳化”、“法律环保化”和“文化生态化”
面对不断高涨的网络民意,应清醒的认识到网民参与不能代表公民参与,网民参与只是公民参与的一种新的途径和方式,借助网民参与不断探求和改善公民有序、有效参与民主政治,是民