应用离散数学的有关理论,把具有全称量词的查询问题转换成等价的存在量词的查询问题 ,并用sql语言予以实现,