【摘 要】
：
关系代数的派生算子在关系数据库查询语言中得到了广泛应用.它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式.但有关的文献资料都没
【机 构】
：
江西省高性能计算技术重点实验室,中国科学院,江西财经大学
论文部分内容阅读
关系代数的派生算子在关系数据库查询语言中得到了广泛应用.它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式.但有关的文献资料都没有给出这两种表达式等价性的严格证明.文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性.从派生算子(主要是除算子)语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式.所使用的变换方法能为关系代数表达式的正确性证明打下基础.
其他文献
钢结构节点的设计与工程的质量有着密切的关系，本文介绍了钢结构接点设计的一般措施并提出了优化改进的途径。
景观设计师借助设计形式和功能等方面将“人性化”因素的注入场地，赋予环境景观“人性化”的标签，使其具有情感、个性、情趣和生命，满足人的物质和精神、生理和心理等诸方面的需
随着我国经济的高速发展，人民的生活水平得到了质的飞跃，现代建筑的功能越来越趋向于多样化，由于现代建筑中的人员更加密集、内部构造非常复杂，一旦发生火灾，消防难度将大大提高。
本文通过对新建本科院校与办学历史较长本科院校教务管理工作的对比,找出了这类学校在教务管理工作方面的差距,重点分析了综合教务系统对新建本科院校教务管理工作规范、有序
建筑自然通风条件下的室内外空气流动及其对热舒适性的影响是绿色建筑设计的重要因素。基于CFD技术，定量的模拟分析自然通风热舒适性已成为绿色建筑设计中不可或缺的重要环节
目前，随着技术的不断发展和工艺的继续改进，钢结构已经逐渐运用于各个领域中，尤其是在厂房结构中使用更加普遍。本文阐述了钢结构建筑有哪些优点以及在厂房设计、应用过程中在考
在铁路工程施工中，预防混凝土裂缝的发生，提高铁路工程施工质量是施工单位的不断追求。但在施工中由于受到原材料、施工管理、混凝土养护等因素的影响，混凝土裂缝问题依然存在，它
施工项目管理的内容在施工项目管理的全过程中，为了取得各阶段目标和最终目标的实现，在进行各项活动中，必须加强管理工作。必须强调，施工项目管理的主体是以施工项目经理为首的项
郑煤集团富堡煤矿与鹤煤公司王河煤矿相邻，富堡煤矿淹井对王河煤矿造成威胁，通过对王河煤矿的威胁分析，采取相应的安全措施，确保安全生产。