研究目的
研究在条件域约束(CDCs)下无损水平分解的独立性及其与函数依赖和一元包含依赖的组合情况。
研究成果
该论文全面研究了在CDCs(条件函数依赖)下的无损水平分解,包括单独使用以及与FDs(函数依赖)和UINDs(不确定包含依赖)结合使用的情况。文中提出了检查一致性和无损性的技术,并针对特定语言C确立了这些问题的复杂性。引入了可分离性概念以处理CDCs与其他约束的交互作用。
研究不足
该研究局限于一个特定设置:某些属性通过一阶语言C在特定域上进行解释。对于某些语言C而言,判定一致性和无损性的复杂度较高(分别为NP完全和co-NP完全)。