论文部分内容阅读
XML文件作为一种数据存储与数据交换的文件，其应用日益广泛，但目前对于信息量大、结构复杂的文档要获取其中有用信息的操作效率较低。现提出一种新的基于程序切片技术对XML文档进行切片的方法。对给定的XML文档，可根据给定的切片规则对文档进行切片，从而得到一个用户感兴趣信息集合的新XML文档。同样，也可以对给定的XML文档对应的DTD或XML模式文档进行切片，根据给定的切片规则生成新的DTD或XML模式文档切片，同时，也会生成对应的XML文档切片，且切片获得的新文档是符合新的DTD或XML模式规范的有效文档。