单函数对象创建合取查询的映射等价与 oid 等价
数据库
2016-01-13 v2 人工智能
计算机科学中的逻辑
摘要
合取数据库查询已扩展了对象创建机制，以捕捉数据交换、数据集成和基于本体的数据访问等重要应用。对象创建在结果中生成新的对象标识符，这些标识符不属于源数据库中的常量集。新的对象标识符也可视为 Skolem 项。因此，对象创建合取查询也可被视为数据交换文献中考虑的受限二阶元组生成依赖（SO tgds）。本文聚焦于单函数对象创建合取查询类（简称 sifo CQs）。我们给出了 sifo CQs 的 oid 等价的新刻画，该刻画比 Hull 和 Yoshikawa 给出的更简单，并将该问题置于复杂度类 NP 中。我们的刻画基于 Cohen 提出的带重数合取查询的等价概念。我们还解决了 sifo CQs 的逻辑蕴涵问题，表明该问题也属于 NP。Pichler 等人之前的结果表明，更一般类 SO tgds 的逻辑等价要么是不可判定的，要么是可判定的但其复杂度上界尚不清楚。
引用
@article{arxiv.1503.01707,
title = {Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries},
author = {Angela Bonifati and Werner Nutt and Riccardo Torlone and Jan Van den Bussche},
journal= {arXiv preprint arXiv:1503.01707},
year = {2016}
}
备注
This revised version has been accepted on 11 January 2016 for publication in The VLDB Journal