| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a structured document verification device for efficiently verifying whether or not a structured document coincides with a document type definition even when a larger amount of structured documents to be targeted exist. <P>SOLUTION: The device includes a structured document storage means 114 for storing a plurality of structured documents described in accordance with a predetermined document type definition; a structure index storage means 118 for storing a structure index by which elements included in the structured documents and structure positions of the elements are associated with one another; a path formula generation means 120 for generating a path formula showing the structure position of each element included in the document type definition; verification instruction acquisition means 130, 140 for acquiring verification instructions requiring document type verification whether or not the structured documents are based on the document type definitions; and document type verification means 134, 142 for performing the document type verification by comparing the structure position of each element included in the path formula with the structure positions included in the structure index stored in the storage means 118. <P>COPYRIGHT: (C)2008,JPO&INPIT |
