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

摘要

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