conservative extension | BriefGPT

关键词conservative extension

搜索结果 - 1

存在规则的保守扩展
研究基于元组生成依赖（TGDs）的存在性规则，确定给定的 T1，T2 元素集是否为 T1 的保守扩展，结果表明当 TGDs 是线性的时，对于两种自然的保守扩展概念，问题是不可判定的；对于保护 TGDs，即使 T1 是空的，问题也是不可判定的
PDF2 years ago