SQL语言中量词和空值的使用技术

Technique of the Use for Quantifications and Null Values in SQL

摘要: 在ＳＯＬ语言中可以引入全称量词符号ＦＯＲＡＬＬ，使ＳＯＬ语言使用更为自然、方便。本文讨论全称量词、存在量词和ＡＬＬ三种谓词之间的转换、联系和区别，以及空值存在时ＳＱＬ的使用技术。

Abstract: In SQL we introduce a mark of universal quantification-FORALL to use SQL more naturally.This paper discusses the transformations,relationships and differences between FORALL predicates,EXISTS predicates and ALL predicates in existing or not existing null values.