%0 Journal Article
%T Reasoning about Functional Dependency for XML<br>XML上的函数依赖推理
%A TAN Zi-Jing
%A PANG Yin-Ming
%A SHI Bai-Le
%A <br>谈子敬
%A 庞引明
%A 施伯乐
%J 软件学报
%D 2003
%I 
%X XML is extended with functional dependencies, which are fundamental to semantic specification. Based on DTD, tree model for XML and path expressions, definitions for node value equality and node set are given. The definition for functional dependency, logical implication and path closure are studied; the satisfiability of functional dependency in a given DTD is proved. A sound and complete set of inference rules is presented, and an algorithm to calculate closure for XML paths is proved.
%K functional dependency
%K XML
%K logical implication
%K inference rule<br>函数依赖
%K 可扩展标记语言
%K 逻辑蕴涵
%K 推理规则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=4D921336172900E9&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=9CF7A0430CBB2DFD&sid=FDE90279419513E0&eid=0DDE48E4C6ED47B1&journal_id=1000-9825&journal_name=软件学报&referenced_num=16&reference_num=15