Data query for proposition with universal quantifier and data query for implication proposition are two categories of the most practical and difficult data queries.

• 带有全称量词命题与蕴含命题的数据查询是数据库应用系统中最实用的两类查询,但也是最难的两种数据查询。