strong XML hold conditions of functional dependency

• 函数依赖强保持