论文部分内容阅读
在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究,证明了关于Boyce-Codd(BC)范式两个定义的等价性,提出了关于BC范式的一个实用的判定定理并加以证明.提出了一整套实用关系规范化的具体方法,有助于关系规范化理论的进一步完善及其学习和运用.
关系模型规范化的有关理论与应用
【摘 要】
：
在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究,证明了关于Boyce-Codd(BC)范式两个定义的等价性,提出了关于BC范式的一个实用的判定定理并加以证明.提出
【机 构】
：
同济大学经济与管理学院
【出 处】
：
上海交通大学学报
【发表日期】
：
2003年4期
其他文献
对自适应逆控制理论中的对象动态控制问题和对象扰动控制问题分别进行了探讨,并且针对船舶模型特性,改进了自适应逆控制的框图,使其能够更好地应用于船舶操纵控制.在算法上用
基于直接序列码分多址(DS/CDMA)系统中的多址干扰(MAI)和窄带干扰(NBI),提出了一种变步长盲恒包络算法(AS-CMA),并同自适应变步长最小均方算法(AS-LMS)进行了比较.仿真结果表
努力实现返乡农民工创业就业是促进当地社会经济发展,保持社会稳定,提高人民生活水平的有效途径。本文结合广西桂林市龙胜各族自治县的实际,对新形势下的返乡农民工创业就业
通过分析韩国现代5 250 m3高炉达产过程各时期对炮泥性能的要求,濮阳濮耐高温材料(集团)股份有限公司(以下简称"濮耐")据此研制出与各时期相匹配的环保低耗型无水炮泥,对各时