在更新下维护三角形查询
数据库
2020-04-09 v1
摘要
我们考虑在输入关系进行单元组更新时,增量维护具有任意自由变量的三角形查询的问题。我们引入一种称为 IVM 的方法,该方法在更新时间、空间以及查询结果枚举的延迟之间展现出权衡,使得更新时间在数据库大小的平方根到线性之间变化,而延迟在常数到线性时间之间变化。在在线矩阵-向量乘法猜想的条件下,IVM 在更新-延迟空间中实现了帕累托最坏情况最优性。对于具有零个或三个自由变量的三角形查询,它是强帕累托最优的;对于具有一个或两个自由变量的三角形查询,它是弱帕累托最优的。
引用
@article{arxiv.2004.03716,
title = {Maintaining Triangle Queries under Updates},
author = {Ahmet Kara and Milos Nikolic and Hung Q. Ngo and Dan Olteanu and Haozhe Zhang},
journal= {arXiv preprint arXiv:2004.03716},
year = {2020}
}
备注
47 pages, 18 figures