无原子布尔代数中将数据库独立性归约为可除性
逻辑
2017-12-08 v5
摘要
我们证明了数据库理论和独立性逻辑中涉及的条件独立性形式可归约为无原子布尔代数理论中的一阶可除性演算。这建立了数据库理论中的独立性与随机独立性之间有趣的联系。事实上，鉴于上述归约以及 Ben-Yaacov [4] 的近期工作，前一种独立性情形可被视为后一种情形的离散版本。
引用
@article{arxiv.1409.1839,
title = {Reduction of Database Independence to Dividing in Atomless Boolean Algebras},
author = {Tapani Hyttinen and Gianluca Paolini},
journal= {arXiv preprint arXiv:1409.1839},
year = {2017}
}