请教"检查某个 where 查询条件是否包含另一个 where 查询条件"的方法

[zxCoder]

比如 age>18 就包含了 age>10

我想法是先得到语法分析树，然后还是不知道怎么处理。

[zxCoder]

比如大条件分析树是

```
[or]
[and and and]
```

小条件分析树是

```
[or]
[and and]
```

我的想法是递归判断小条件的每一个子树是否被大条件的某一子树所包含，如果是，则小条件被大条件锁包含。

然后递归边界就是一些数值和符号的比较。