不等式合取查询包含问题的研究

查询包含问题是数据库查询处理和优化中的基本问题,集语义下的合取查询包含问题是NP-complete问题,但在实际的数据库系统中,查询通常是在包语义下求值的。近十年来包语义下的合取查询包含问题已经成为一个公共问题,这个问题是否是可判定的还不清楚。本文主要研究包语义下的不等式合取查询包含问题,在包语义下的一类特殊数据库上的不等式合取查询包含问题是不可判定的。