布尔查询的改写算法

研究数据集成中的布尔查询的改写问题.考虑布尔查询的特殊性,简化了布尔查询的改写处理,给出了在封闭世界假设下的多项式改写算法和开放世界假设下的指数型改写算法,同时说明两个算法都是可靠的.