论文研究HilbertHuang变换在语音信号精细时频分析中的应用.pdf

XML强多值依赖的推理规则集问题是解决不完全信息环境下XML数据依赖蕴涵问题的基础，是不完全信息环境下XML模式设计理论的关键问题之一。提出了XMLSchema、符合XMLSchema的不完全XML文档树等概念；基于子树信息等价和子树信息相容的概念提出了XML强多值依赖的定义及性质；给出了相应的推理规则集，并对其正确性和完备性进行了证明。研究成果为不完全信息环境下存在XSMVD的XMLSchema设计奠定了基础。