期刊文章详细信息
关系演算和SQL中使用量词和实现蕴涵的教学方法探讨
Teaching reform of introduction to using quantification and realization of implication in the mathematical calculations performed tuple relationship and SQL
文献类型：期刊文章
机构地区：[1]西华师范大学计算机科学系
年 份：2005
卷 号：25
期 号：1
起止页码：60-63
语 种：中文
收录情况：普通刊
摘 要：在元组关系演算(尤其是元组关系演算语言ALPHA)和关系数据库标准语言中,量词的含义 理解、直接使用、转换使用以及蕴涵功能(Implication)的实现等是教学难点,结合案例提出了讲授 这些知识点的一些新思路和新方法,取得了较好的教学效果.
关 键 词：SQL 存在量词EXISTS( ) 全称量词FORALL( ) p→Q 蕴涵
分 类 号：G642.0]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
