单调可重写性及查询、视图和规则的分析
数据库
2024-07-23 v1
摘要
我们研究视图、查询和以存在规则形式的背景知识之间的相互作用。引发问题关心查询使用视图相对于规则的单调确定性, 即指通过单调函数从视图中恢复查询答案的能力。我们研究单调确定性的可判定性, 并与要求“恢复函数”在众所周知的单调查询语言中(如 conjunctive 查询或 Datalog)的情况进行比较。令人惊讶的是, 我们发现即使在基本存在规则的存在下, 良好可调性与不良可调性之间的界限与不受约束的情况有着根本不同的差异。为了理解这一边界, 我们需要关于涉及视图和规则的包含问题的新结果。
引用
@article{arxiv.2407.14907,
title = {Monotone Rewritability and the Analysis of Queries, Views, and Rules},
author = {Michael Benedikt and Stanislav Kikot and Johannes Marti and Piotr Ostropolski-Nalewaja},
journal= {arXiv preprint arXiv:2407.14907},
year = {2024}
}