基于谓词逻辑的除法运算语义及其SQL实现

来源 :浙江万里学院学报 | 被引量 : 0次 | 上传用户：flash_chen

【摘要】

：

关系数据库是具有严格数学模型的一种数据库系统，该系统有效地解决了数据存储和数据应用问题；除法运算是关系数据库的基本运算之一，在MS SQL里面较难实现相关操作．文章利用谓词逻

【作者】

：

王路帮张庆元储成哲

【机构】

：

浙江万里学院

【出处】

：

浙江万里学院学报

【发表日期】

：

2008年2期

【关键词】

：

关系代数谓词演算 SQL除法 relational algebra predicate calculus SQL division

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

关系数据库是具有严格数学模型的一种数据库系统，该系统有效地解决了数据存储和数据应用问题；除法运算是关系数据库的基本运算之一，在MS SQL里面较难实现相关操作．文章利用谓词逻辑的基本推理方法有效地分解了除法运算的基本过程，给出了除法运算的基本语义，并对除法运算提供了有效的SQL实现手段，从而提供了MS SQL实现除法运算的有效手段，也为MS SQL有关的教学提供了操作模式．

其他文献

试论信息资源管理的标准化问题

标准化可以提高信息资源管理效率和质量,促进信息资源共享.在信息资源管理基础标准中,信息资源本身的标准化和数据标准化是关键.鉴此,主要就标准对信息资源管理的影响,信息资

期刊

信息资源管理标准化information resource management standardization

医学图书馆虚拟咨询人员的整合

文章通过分析医学图书馆虚拟咨询服务的特点及咨询人员整合的必要性,拟定了咨询人员的选择标准、整合范围.并着重探讨了对馆外虚拟咨询人员的整合方式,包括对医学及其他学科

期刊

虚拟咨询咨询人员整合医学图书馆virtual reference consultation personnel integration medi

CRM在文献信息个性化服务中的应用

论述了图书馆导入客户关系管理,实行文献信息个性化服务的必要性与现实意义,提出了客户关系管理在图书馆文献信息个性化服务中应用的基本条件,并对图书馆如何将客户关系管理

期刊

图书馆CRM文献信息个性化服务library CRM cultural heritage information individualized s

高校音乐选修课教学改革探析

文章从教育形式、教学方法及创造性思维三个角度出发，探索高校音乐选修课的教学改革，并提出如何在教学实践中“激发音乐想象”，实施音乐引导性教学，在音乐学习中培养学生的创新意

期刊

激发情商创造教学改革inspiration emotion quotient creation teaching reform

基于谓词逻辑的除法运算语义及其SQL实现

其他学术论文