收敛于 Chase——有限可控性工具
数据库
2015-12-08 v3
摘要
我们解决了 [CGP10] 中提出的一个问题，证明了该引用论文中定义为 Datalog± 项目组成部分的 Sticky Datalog 具有有限可控性。为此，我们开发了一种技术，我们相信该技术可以有进一步的应用，即对于数据库实例 D 和某些元组生成依赖集 T，通过一个无限的有限结构序列来逼近 Chase(D, T)，所有这些结构都是 T 的模型。
引用
@article{arxiv.1204.3432,
title = {Converging to the Chase - a Tool for Finite Controllability},
author = {T. Gogacz and J. Marcinkowski},
journal= {arXiv preprint arXiv:1204.3432},
year = {2015}
}