问题来自美人他爹和Wangjianshuo's blog
一个查询的例子：NOT (AND ((C1>5), OR ((C2<6),(C3<>9))))
问题1：给出两个这样的查询Q1和Q2，如何确定Q1的结果是否是Q2结果的子集？
上面两篇文章主要是讨论实际工作中怎么解决问题1。下面从理论上分析一下这个问题。
问题2：判断Q1查询结果是否为空集。
在问题1中让Q2查询结果为空集，故问题1是比问题2更难的一...