SQL语言中没有全称量词(For all),可以通过使用EXISTS和NOT EXISTS来转换带有全称量词的谓词为等价的存在量词谓词。