论文部分内容阅读
本文研究了候选关键字之间的关联,定义了它们之间的等价关系,开发了直接导出和间接导出候选关键字的几个定理和从一个候选关键字导出所有候选关键字算法,并证明了它的正确性和完备性。
求关系模式全部候选关键字理论和算法
【摘 要】
：
本文研究了候选关键字之间的关联,定义了它们之间的等价关系,开发了直接导出和间接导出候选关键字的几个定理和从一个候选关键字导出所有候选关键字算法,并证明了它的正确性
【机 构】
：
江西师范大学计算机系
【出 处】
：
江西师范大学学报：自然科学版
【发表日期】
：
1993年4期
【基金项目】
：
省重点科研项目经费资助
其他文献
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。本文介绍了这一领域的研究现状,重点综述了作者近年来提出的复杂算法程序形式化技术,
本文利用软件工程中的结构分析法对瓷器在制品生产过程进行了系统分析与设计,实现了瓷器在制品生产的微机管理系统。此系统已通过省级鉴定,在陶瓷生产企业中投入使用后效果良
本文旨在改进Nagy的不等式,并相应对Carlson型不等式予以改进.
根据有Четаев型约束的、一般形式的拉格朗日方程,建立有Четаев型约束、保守力学系的拉格朗日方程。根据有非线性约束力学系的哈密顷方程,建立有Четаев型约
本文借助基于NLS方程的守恒量建立起来的单孤子参数的演化方程组,研究了单模光纤中的小损耗、三阶色散和五阶非线性对单孤子脉冲传输的影响,得到了单孤子参数的近似演化关系
9月15日，联想控股宣布以“股权＋债权”的形式，向神州租车注资合计12亿元，同时还将根据企业的发展需求，通过各种形式为神州租车提供资金支持。
6月2日,江山市林业局纪委组织人员对局机关各科室及下属单位作风建设情况进行突击检查。重点检查各单位人员出勤在岗、服务态度、落实内部管理制度规定等情况,取得了及时发现
小学教育本科专业是一个仅有十来年历史的新兴专业。在这个专业设置科学课程，是非常必要的。在科学课程的设置上应完善科学知识体系，完善实践环节，满足学生兴趣，加大科学课程课时