表示为合取查询包含式的布尔查询的单调保持结果
数据库
2019-03-04 v2
摘要
当查询关系数据库时，结果通常是一个关系。然而，有些查询只需要是/否答案；此类查询常被称为布尔查询。数据库理论中习惯通过测试查询表达式的非空性来表达布尔查询。表达布尔查询的另一种有趣方式是形如 的包含陈述，其中 和 是查询表达式。这里，对于任意输入实例 ，若 是 的子集，则布尔查询结果为 ，否则为 。在本文中，我们将关注关于合取查询的非空性和包含陈述。主要目标是研究合取查询包含式的单调片段。具体地，我们展示了该单调片段的一个类似保持的结果。即，我们表明，在表达力上，合取查询的单调包含式恰好等于在非空性下的合取查询。
引用
@article{arxiv.1808.08822,
title = {A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries},
author = {Dimitri Surinx and Jan Van den Bussche},
journal= {arXiv preprint arXiv:1808.08822},
year = {2019}
}