论文部分内容阅读
针对一些文献存在的问题,规范了特性谓词在元组关系演算中的表达形式,研究了完整性约束及空值对元组关系演算语义的影响,并通过实例加以说明。
元组关系演算的语义研究
【摘 要】
：
针对一些文献存在的问题,规范了特性谓词在元组关系演算中的表达形式,研究了完整性约束及空值对元组关系演算语义的影响,并通过实例加以说明。
【机 构】
：
西安电子科技大学计算机学院
【出 处】
：
计算机应用
【发表日期】
：
2007年S1期
【基金项目】
：
2005年陕西省精品课程西安电子科技大学《数据库系统原理》支持
其他文献
网络技术的迅速发展使高校大学生思想政治教育面临一系列挑战。高校图书馆作为对大学生进行思想政治教育的第二课堂，要正确认识面临的挑战，利用网络技术和馆藏优势．不断研究探索
针对可执行体系结构中系统数据交换是如何最终落实到具体的通信网络或设备,并进行具体数据传输问题,提出了系统通信模型执行方法。该方法描述了系统通信模型具有的基本元素及相关属性、模型元素之间的关系和表示,阐述了系统通信模型与系统接口描述模型、系统数据交换描述以及系统状态转移/系统时序图之间的关系,说明了系统功能驱动系统数据交换的具体步骤以及系统通信模型执行的过程。系统通信模型的执行使系统体系结构模型在整
解决贫困学生的心理问题是学生工作中的重点也是难点。本文从贫困学生的自我评价角度分析贫困学生的心理特征，重点分析了贫困学生自我评价的两种极端倾向．指出了自我评价的错位
案例教学在倡导素质教育的今天，被各高校教师广泛推崇，而对于“管理运筹学”这门应用基础课来说更显得至关重要，因此在本文作者结合多年教学中的实例从巧用小案例、善用大案例和
0/0型不定式极限是一类常见的极限,而且其它不定式如∞—∞型,0·∞型,1~∞型等的极限,往往需要转化为0/0型才可以求得.本文着重从七个方面探讨求0/0型不定式极限的方法.