论文研究-XML弱函数依赖及单依赖集合研究.pdf

XML弱函数依赖是在XML数据库中引入空值理论后的函数依赖。在空值、不完全树元组等概念的基础上，定义了弱函数依赖、单依赖集合，证明了单依赖集合判定定理和单依赖集合判定可终止定理。