Active XML Schema Containment Checking Based on Tree Automata Theory | IEEE Conference Publication | IEEE Xplore