Feb, 2022

存在规则的保守扩展

TL;DR研究基于元组生成依赖(TGDs)的存在性规则,确定给定的 T1,T2 元素集是否为 T1 的保守扩展,结果表明当 TGDs 是线性的时,对于两种自然的保守扩展概念,问题是不可判定的;对于保护 TGDs,即使 T1 是空的,问题也是不可判定的;对于 frontier-one TGDs,问题是可判定的。