论文部分内容阅读
本文对关系模式的高阶范式提出了新的简易实用的判别条件。文中的一些结果借助函数依赖为数据库设计者提供了实现高阶范式的简单，充分条件。
关系数据库中保证高阶范式的简单条件
【摘 要】
：
本文对关系模式的高阶范式提出了新的简易实用的判别条件。文中的一些结果借助函数依赖为数据库设计者提供了实现高阶范式的简单，充分条件。
【出 处】
：
计算机科学
【发表日期】
：
1994年3期
其他文献
１９９３年８月在爱尔兰首都都柏林举行了第１９届国际超大型数据库会议（ＶＬＤＢ９３）。会议的一个特邀报告是Ｍ．Ｓｔｏｎｅｂｒａｋｅｒ所作的“处于十字路口的ＤＢＭＳ研究：维也纳修改意见”。该报告回顾了１９８８年２月美国加州拉古纳海滩讨论会以
本文介绍了一种０实用化的软件重用方法ＩＰ。这种方法对软件部件的生成和重用过程提供了可视化和原型化支持，它还可以支持最终用户生成和维护软件，该方法实用性强，具有很好的应用前景
针对分布式电源的接入将影响配电网短路电流和继电保护整定等问题,提出基于自适应算法的含分布式电源配电网继电保护方法,该方法将分布式电源戴维南模型接入配电网的不同位置
<正>一、基于模型的知识工程方法 基于知识的系统(KBS)作为复杂软件系统,其自身及开发程遵循一定准则。早期的KBS构造基于快速原型法,即将获取的知识立即转换实现为相应的
文章针对不同充液量且长径比均为191的铜-水热虹吸管进行了实验研究,并对比分析了其在水平及微倾角状态下的传热特性。在冷却水流量恒定状态下,测量不同加热功率的热虹吸管轴
基于双馈感应风力发电机两相静止坐标系下的数学模型,推导了电压跌落和恢复过程定转子磁链的表达式,并利用空间矢量图分析了磁链的变化规律。当故障持续时间较短,且电压恢复
<正> 一、引言 1990年2月美国国家科学基金会(NSF)在加州Palo Alto召开了一次由数据库学术研究界和工业界代表参加的工作会议。会议的主要结论是: 1.支持21世纪初工业化经济
<正> 一、什么是超媒体近年来迅速崛起的多媒体(multimedia)技术,是一种使计算机具有交互式地综合处理和管理文字、图形、图象、声音、视频等多种媒体能力的技术,必将使计算
<正>1引言 许多时态逻辑考虑定性的确定时态信息。Allen~[1.2]推荐一种区l可代数,提出了3定性的确定时态关系。VanBek~[14],Ligozat~[10],Pape~[12],RitL~[13],Ladkin~[5]
本文主要参考《Ｄｉｓｔｒｉｂｕｔｅｄ ａｎｄ Ｐａｒａｌｌｅｌ Ｄａｔａｂａｓｅ Ｓｙｓｔｅｍ》杂志１９９３年第４期上刊登的论文“Ｐａｒａｌｌｅｌ ＤＢｓ：Ｏｐｅｎ Ｐｒｏｂｌｅｍｓ ａｎｄ Ｎｅｗ Ｉｓｓｕｅｓ”并结合自己的研究工作综合编写而成。全文综述了并行数据库系统的目标、体系结构及尚未解决的问题。