您的位置： 专家智库 > >

张庆元

作品数：1 被引量：1H指数：1
供职机构：浙江万里学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇代数
  • 1篇谓词
  • 1篇谓词逻辑
  • 1篇谓词演算
  • 1篇关系代数
  • 1篇SQL

机构

  • 1篇浙江万里学院

作者

  • 1篇王路帮
  • 1篇张庆元
  • 1篇储成哲

传媒

  • 1篇浙江万里学院...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于谓词逻辑的除法运算语义及其SQL实现被引量：1
2008年
关系数据库是具有严格数学模型的一种数据库系统,该系统有效地解决了数据存储和数据应用问题;除法运算是关系数据库的基本运算之一,在MS SQL里面较难实现相关操作.文章利用谓词逻辑的基本推理方法有效地分解了除法运算的基本过程,给出了除法运算的基本语义,并对除法运算提供了有效的SQL实现手段,从而提供了MS SQL实现除法运算的有效手段,也为MS SQL有关的教学提供了操作模式。
王路帮张庆元储成哲
关键词：关系代数谓词演算
全选 清除 导出
共1页<1>
聚类工具0