阿夫拉蒂、福托;瓦西亚·帕夫拉基 使用带否定的视图重写查询。 (英语) Zbl 1104.68036号 AI社区。 19,第3期,229-237(2006). 摘要:数据集成和查询重新制定是需要在人工智能和数据库系统领域开发技术的问题的经典示例。在这项工作中,我们解决了使用具有许多应用程序的视图重写查询的问题。特别是,我们考虑的查询和视图是带有安全否定(CQN)的连接查询。我们证明了给定一个CQN查询和一组CQN视图,在重写使用CQN语言或CQN联合的两种情况下,找到等价的重写都是可以判定的。我们通过给出重写子目标数的上界来证明可判定性。在查询为CQ的情况下,我们将潜在等价CQN重写和最大包含CQN改写(MCR)的搜索空间限制为CQs的并集语言,我们给出了一个在CQN并语言中寻找等价重写的完善算法,并证明了如果我们考虑没有否定子目标的重写,那么它们在OWA下只计算某些答案。独立感兴趣的是一个简单的测试,用于检查CQN的两个联合之间的包含性。 引用于1文件 MSC公司: 第68页,共15页 数据库理论 第68季度第42季度 语法和重写系统 软件:迷你Con PDF格式BibTeX公司 XML格式引用 \textit{F.Afrati}和\textit{V.Pavlaki},AI Commun。19,第3号,229--237(2006;Zbl 1104.68036)