关系上的可编程视图更新策略
数据库
2020-09-01 v3
摘要
视图更新是一种重要的机制，通过将视图上的更新翻译为基关系上的相应更新来允许对视图进行更新。现有文献已表明视图更新翻译的歧义性。为解决该歧义，我们提出了一种基于语言的鲁棒方法，使视图更新策略可程序化且可验证。具体而言，我们引入一种使用 Datalog 描述这些更新策略的新方法。我们提出一种验证算法以检查所写 Datalog 程序的良行为性。我们给出了 Datalog 语言的一个片段，我们的验证对该片段既可靠又完备。该片段不仅在理论上具有良好性质，也可用于解决实际视图更新问题。此外，我们开发了一种优化用户所写程序的算法，以在关系数据库管理系统中高效实现可更新视图。我们已实现所提方法。实验结果表明我们的框架在实践中的可行性与高效性。
引用
@article{arxiv.1911.05921,
title = {Programmable View Update Strategies on Relations},
author = {Van-Dang Tran and Hiroyuki Kato and Zhenjiang Hu},
journal= {arXiv preprint arXiv:1911.05921},
year = {2020}
}