面向安全查询的确定性可分解电路构建
数据库
2019-12-25 v1
摘要
在元组独立数据库上进行 UCQ 的精确概率推断存在两种方法。在外延方法中，查询求值通过在 DBMS 中利用查询结构来执行。在内延方法中，首先构建查询在数据库上血缘（lineage）的表示，然后计算该血缘的概率。本文提出一种新技术，以 PTIME 时间构造确定性可分解电路作为血缘表示。该技术可应用于一类 UCQ，该类查询曾被推测可分离两种方法的复杂度。我们对该技术进行了实验测试，结果表明其在达到某一规模参数之前（即超过 2000 万个查询）的此类所有查询上均成功。
引用
@article{arxiv.1912.11098,
title = {Towards Deterministic Decomposable Circuits for Safe Queries},
author = {Mikaël Monet and Dan Olteanu},
journal= {arXiv preprint arXiv:1912.11098},
year = {2019}
}
备注
10 pages. Appeared in the workshop AMW'18