层次查询静态与动态评估中的权衡
数据库
2024-02-14 v7 计算机科学中的逻辑
摘要
我们研究具有任意自由变量的层次查询在静态与动态评估中的权衡。在静态设定中，权衡在于部分计算查询结果的时间与枚举其元组所需延迟之间。在动态设定中，我们额外考虑在数据库单元组插入或删除下更新查询结果所需的时间。我们的方法观测数据库中值的度，并对高度（重）与低度（轻）值采用不同的计算与维护策略。对后者部分计算结果，而对前者计算足够信息以允许即时枚举。我们定义预处理时间、更新时间与枚举延迟作为轻/重阈值的函数。通过适当选择该阈值，我们的方法在限定于层次查询时恢复了若干先前结果。我们表明对于一类受限的层次查询，我们的方法在Online Matrix-Vector Multiplication猜想条件下实现了最坏情况最优的更新时间与枚举延迟。
引用
@article{arxiv.1907.01988,
title = {Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries},
author = {Ahmet Kara and Milos Nikolic and Dan Olteanu and Haozhe Zhang},
journal= {arXiv preprint arXiv:1907.01988},
year = {2024}
}