论文部分内容阅读
约束数据模型作为一种新的数据模型正受到广泛关注.为了约束数据库的应用,需要研究它的设计.为此本文对约束数据库中的函数依赖给出定义,并提出函数依赖的公理系统,证明了它的有效性和完备性;在此基础上完成了约束数据库设计的核心工作:把约束关系模式分解为3NF或BCNF的算法.
约束数据库中的函数依赖公理系统与设计理论
【摘 要】
：
约束数据模型作为一种新的数据模型正受到广泛关注.为了约束数据库的应用,需要研究它的设计.为此本文对约束数据库中的函数依赖给出定义,并提出函数依赖的公理系统,证明了它
【机 构】
：
厦门大学计算机科学系
【出 处】
：
厦门大学学报：自然科学版
【发表日期】
：
2002年6期
其他文献
回顾了压缩态光场的产生及应用实验历程．提出了产生多模压缩态光场的实验方案．
在合理选择纳米材料及科学选择分散工艺的基础上,通过大量试验研究,研制开发了性能优良的苯丙乳胶涂料.
通过掺氯化钠和亚硝酸钠的模拟混凝土孔溶液中钢筋阳极极化曲线的测定,发现未掺氯化钠混凝土中钢筋,钝化膜比较稳定,钢筋不易腐蚀.而掺氯化钠混凝土中钢筋由于起坑电位降低,
采用红细胞微核和核异常测试法研究了漂染废水对泥鳅（Misgurnus anguillicaudatus）红细胞核的遗传毒性.结果表明,3种不同体积分数的漂染废水均能诱发泥鳅红细胞核异常.方差分析
采用数值模拟方法并结合风洞模型试验数据，对一平屋面和一斜屋面的体育场主看台悬挑屋盖的表面风压进行了计算和分析，对屋盖上下表面的风压分布规律进行了总结和归纳。在此基础
目的观察预防压疮护理在脑卒中长期卧床患者中的应用效果。方法选取我院2014年3月~20l6年6月收治的脑卒中长期卧床患者72例采用预防压疮护理模式管理,观察患者接受护理前后的
D-核糖、肌酸、HMβ、氨基酸(谷氨酰胺)、牛磺酸是近年来被公认的对运动能力的提高有显著作用的运动补剂,本文通过它们在生物体内的来源、作用与运动能力的关系以及如何补充
在1中，简述了毕达哥拉斯、千德谟克利特、柏拉图和伽俐略对不可分量的看法。2中给出了不可分量的定义和两个例子：H和Ω，其中H是指向正无究大的区间的交集合，它是一个R中的空集合3