On the first aspect, we first formalized such concepts as query containment, query equivalence and maximal contained query rewriting in TSL-based OEM semi-structured data integration systems;

• 在第一个方面，在基于TSL查询语言的OEM半结构化数据集成系统中，对于查询的包含和等价以及最大包含重写进行了形式化定义；