Active XML Schema Containment Checking Based on Tree Automata Theory.

Haitao Ma Zhongxiao Hao Yinghui Zhou Active XML Schema Containment Checking Based on Tree Automata Theory. 11-16 2007 CIT http://doi.ieeecomputersociety.org/10.1109/CIT.2007.40 conf/IEEEcit/2007 db/conf/IEEEcit/IEEEcit2007.html#MaHZ07