Research on logical implication for XML based on DTD path coding
Ziyang Chen · Journal of Yanshan University · 2005
Due to complicacy of DTD, it is difficult to study the logical implication of XFD. In this paper, a path coding methodof DTD which is based on the XML function dependency definition which was given by M. Arena et al.is presented, its charactersare analyzed. Coding DTD removes some trivial XFDs, and can tests logical implication problem in linear time. A arithmetic ofmapping coding paths of XFDs into original DTD paths is given, its correctness is proved.