其实我在一开始学的时候也有同样的疑问,ALPHA引用了离散数学的这两个量词来表达逻辑运算。为什么不用GET W (SC.SNO):SC.PCNO="6",因为只有关系Course里含有属性Pcno,关系SC里没有,需要一个桥梁来过渡,ALPHA规定条件中使用量词的时候必须range元祖变量。
在这个例子中,不能使用全称变量(不可能所有的都符合条件),只能用存在变量“存在”,才能保证逻辑运算的准确,如果有一个就返回值,如果没有就返回空。
alpha 语言并不是指的某一种语言,在计算中通常指测试版本。Google翻译将正在测试的语言称为“alpha 语言”,这些语言的翻译质量欠佳。
备注:
Alpha通常用在软件版本中,Alpha版本的产品需要完整的功能测试,其功能亦未完善,但是可以满足一般需求。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)