WO2018096686A1 - 検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法 - Google Patents

検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法 Download PDF

Info

Publication number
WO2018096686A1
WO2018096686A1 PCT/JP2016/085228 JP2016085228W WO2018096686A1 WO 2018096686 A1 WO2018096686 A1 WO 2018096686A1 JP 2016085228 W JP2016085228 W JP 2016085228W WO 2018096686 A1 WO2018096686 A1 WO 2018096686A1
Authority
WO
WIPO (PCT)
Prior art keywords
item
value
data
index
property
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Ceased
Application number
PCT/JP2016/085228
Other languages
English (en)
French (fr)
Inventor
奥村　仁
貴英 村本
片岡　正弘
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Fujitsu Ltd
Original Assignee
Fujitsu Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to PCT/JP2016/085228 priority Critical patent/WO2018096686A1/ja
Priority to JP2018552379A priority patent/JP6900956B2/ja
Publication of WO2018096686A1 publication Critical patent/WO2018096686A1/ja
Anticipated expiration legal-status Critical
Ceased legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor

Definitions

  • the present invention relates to a verification program and the like.
  • XBRL eXtensible Business Reporting Language
  • XBRL is an XML-based language standardized so that information for various financial reports can be created, distributed, and used.
  • An XBRL document is a document described in XML such as XBRL for financial accounting reports, for example.
  • Extraction conditions for extracting data described in XBRL are defined in a form that combines a plurality of individual conditions based on items (property names) and values, for example.
  • the extraction device acquires the number of hits of the extracted data in advance for each of the plurality of individual conditions in the extraction condition, and determines the application order of the plurality of individual conditions based on the number of hits for each of the acquired plurality of individual conditions. Then, the extraction device applies extraction conditions according to the determined application order, refers to the XBRL schema from the input data, and extracts the corresponding data.
  • the reason for determining the application order of the plurality of individual conditions is that the calculation amount may increase if the order of the individual conditions to be applied is different.
  • the individual condition is a combination of an item and a value (see, for example, Patent Document 2)
  • a position is indexed with respect to the combination of the item and the value, and a plurality of individual conditions are generated using the generated index information. It is also possible to extract data with
  • the calculation amount may be a problem.
  • the determination of the application order is not appropriate depending on the relationship between a plurality of individual conditions. For example, it is a case where the number of hits of extracted data is large for each of a plurality of individual conditions. In such a case, it corresponds to a case where the determination of the application order by the number of hits is not appropriate, and the amount of calculation becomes large.
  • an operation for obtaining the corresponding number in advance is necessary.
  • FIG. 20 is a diagram showing a reference example of index information.
  • the index information 900 is a bit string for a set of property name (item name) and value, and is a bit string in which bits indicating the presence / absence at each data position in the input data for the set are connected.
  • the X axis represents a data position
  • the Y axis represents a set of property name and value.
  • an object when extracting data described in XBRL, is to extract data under a plurality of conditions based on items and values using index information on the items and values.
  • data when extracting data described in XBRL, can be extracted under a plurality of conditions based on items and values using index information for the items and values.
  • FIG. 1 is a functional block diagram illustrating the configuration of the index generation device according to the first embodiment.
  • FIG. 2 is a diagram illustrating an example of the XBRL data.
  • FIG. 3 is a diagram illustrating an example of property definition information.
  • FIG. 4 is a diagram illustrating an example of index information according to the first embodiment.
  • FIG. 5 is a diagram illustrating an example of context position information according to the first embodiment.
  • FIG. 6 is a diagram illustrating an example of the index generation process according to the first embodiment.
  • FIG. 7 is a diagram illustrating a specific example of index information according to the first embodiment.
  • FIG. 8 is a flowchart of the index generation process according to the first embodiment.
  • FIG. 9 is a functional block diagram illustrating the configuration of the verification apparatus according to the first embodiment.
  • FIG. 9 is a functional block diagram illustrating the configuration of the verification apparatus according to the first embodiment.
  • FIG. 10 is a diagram illustrating an example of the structure of the verification rule.
  • FIG. 11 is a diagram illustrating an example of the extraction condition conversion process according to the first embodiment.
  • FIG. 12 is a diagram illustrating an example of the data extraction process according to the first embodiment.
  • FIG. 13 is a diagram illustrating another example of the data extraction process according to the first embodiment.
  • FIG. 14 is a diagram illustrating still another example of the data extraction process according to the first embodiment.
  • FIG. 15 is a flowchart illustrating the verification process according to the first embodiment.
  • FIG. 16 is a diagram illustrating an example of index information according to the second embodiment.
  • FIG. 17 is a diagram illustrating an example of an index generation process according to the second embodiment.
  • FIG. 18 is a diagram illustrating an example of the data extraction process according to the second embodiment.
  • FIG. 19 is a diagram illustrating an example of a hardware configuration of the index generation device and the verification device.
  • FIG. 20 is a diagram illustrating a reference example of index
  • FIG. 1 is a functional block diagram illustrating the configuration of the index generation device according to the first embodiment.
  • the index generation device 100 receives input data 300 and generates index information related to the appearance positions of the items and values for each of the items and values included in the input data 300.
  • the verification device 200 described later extracts XBRL data that matches an extraction condition obtained from an input verification rule 310 described later.
  • XBRL data here is data described in XBRL.
  • XBRL is an XML-based language standardized so that information for various financial reports can be created, distributed, and used.
  • An example of XBRL data is financial data.
  • XBRL data includes a data value and additional information that supplements the data value. Additional information may be referred to as an aspect. Additional information is information specified by another independent element associated with an element including a data value, and is composed of information on a plurality of properties, each of which includes a property item name and a property item value. .
  • the XBRL data may be simply referred to as data or may be referred to as a data value.
  • Context that is an element including additional information associated with the data value of the XBRL data will be mainly described.
  • the index generation device 100 includes a control unit 110 and a storage unit 120.
  • the storage unit 120 corresponds to a storage device such as a nonvolatile semiconductor memory element such as a flash memory (Flash Memory) or an FRAM (registered trademark) (Ferroelectric Random Access Memory).
  • the storage unit 120 includes property definition information 121, index information 122, and context position information 123.
  • Property definition information 121 defines property item names and property item values.
  • the property item name may be referred to as a “property name”.
  • a property item value may be referred to as a “property value”.
  • the index information 122 is information representing the appearance position of each of the property item name and the property item value for each of the property item name and the property item value included in the input data 300. That is, the index information 122 refers to a bitmap in which the presence / absence of each offset (appearance position) is indexed with respect to the property item name and property item value included in the input data 300.
  • FIG. 4 is a diagram illustrating an example of index information according to the first embodiment.
  • the X axis of the index information 122 represents the appearance position for each context
  • the Y axis represents the property name and the property value.
  • the index information 122 has an index information area for property names and an index information area for property values.
  • the property name index information is information on an index bundle regarding the appearance position in the context for each item name of the property.
  • the property value index information is information on a bundle of indexes related to the appearance position in the context for each property item value. For each property name and each property value, ON, that is, binary “1” is set at the appearance position that appears in the context. As an example, when the property name is “P1”, “1” is set at the first appearance position in Context1. When the property value is “Val1”, “1” is set at the second appearance position in Context1.
  • FIG. 5 is a diagram illustrating an example of context position information according to the first embodiment.
  • the context position information 123 is information that associates XBRL data associated with each context for each context.
  • Each XBRL data here corresponds to each data value shown in FIG.
  • the context is “Context 1”
  • Data 3 Data 10
  • Data 18 is set as the XBRL data associated with this context. That is, “Context 1” is associated with “Data 3”. “Context 1” is associated with “Data 10”. “Context 1” is associated with “Data 18”.
  • control unit 110 has an internal memory for storing programs and control data that define various processing procedures, and executes various processes using these. And the control part 110 respond
  • the control unit 110 includes a context selection unit 111, a context analysis unit 112, and an index information generation unit 113.
  • the context selection unit 111 inputs the input data 300 and sequentially selects the contexts included in the XBRL data file from the XBRL data file included in the input data 300 that has been input.
  • the index information generation unit 113 generates, for each of the property item name and property item value included in the input data 300, index information 122 relating to the appearance position of each property item name and property item value. For example, the index information generation unit 113 performs the following generation processing for each group held in the temporary area for the context analyzed by the context analysis unit 112. That is, the index information generation unit 113 sets a bit for the appearance position of the item name of the property for the item name of the property included in each set. The index information generation unit 113 sets a bit at the appearance position of the property item value for the property item value included in each set. The index information generation unit 113 associates the selected context with the target XBRL data and sets the selected context in the context position information 123.
  • the index information generation unit 113 generates index information 122 by performing index information generation processing for all contexts analyzed by the context analysis unit 112. Note that the context name, property name, and property value of the index information 122 may be set in advance. Alternatively, the index information generation unit 113 may set the property name and property value of the index information 122 with reference to the property definition information 121 as preprocessing.
  • the index information generation unit 113 generates an index related to the appearance position of each of the property item name and the property value, thereby generating index information compared to the case of generating an index of a combination of the property item name and the property value. 122 size explosion can be suppressed. Further, the index information generation unit 113 generates an index related to the appearance position of each item name and property value of the property, so that even if there is a new property value in the input data 300, the property value of the index information 122 The index information 122 can be updated by adding only one line to the area.
  • the index information generation unit 113 generates an index related to the appearance position of each of the property item name and property value, so that even if there is a new property item name in the input data 300, the property information of the index information 122 is displayed.
  • the index information 122 can be updated by adding only one line to the item name area.
  • FIG. 6 is a diagram illustrating an example of the index generation process according to the first embodiment.
  • the input data 300 includes a plurality of XBRL data files.
  • Each XBRL data file includes a plurality of contexts.
  • the context selection unit 111 sequentially selects contexts included in the XBRL data file from the XBRL data file included in the input data 300.
  • the context selection unit 111 selects “Context 1” as the context.
  • the context analysis unit 112 holds a set of property item names and property item values in a temporary area in the order of appearance.
  • the context analysis unit 112 holds “dim: B1” in the first temporary area and “m: m2” in the second temporary area according to the appearance order of the pair detected in the row indicated by the symbol r1.
  • the context analysis unit 112 holds “dim: A1” in the third temporary area and “m: m1” in the fourth temporary area according to the appearance order of the pair detected in the row indicated by the symbol r2.
  • the context analysis unit 112 holds “dim: C1” in the fifth temporary area and “m: m3” in the sixth temporary area according to the appearance order of the pair detected in the row indicated by the symbol r3.
  • the index information generation unit 113 sets a bit at the appearance position of the item name of the property for “Context 1” with respect to the item name of the property included in the set held in the temporary area.
  • the index information generation unit 113 sets a bit at the appearance position of the property item value for the property item value included in the set held in the temporary area.
  • the index information generation unit 113 sets the bit “1” at the first appearance position for the property item name “dim: B1” (e1).
  • the index information generation unit 113 sets the bit “1” at the second appearance position for the property item value “m: m2” (e2).
  • the index information generation unit 113 sets bit “1” at the third appearance position for the property item name “dim: A1” (e3).
  • the index information generation unit 113 sets the bit “1” at the fourth appearance position for the property item value “m: m1” (e4).
  • the index information generation unit 113 sets the bit “1” at the fifth appearance position for the property item name “dim: C1” (e5).
  • the index information generation unit 113 sets the bit “1” at the sixth appearance position for the property item value “m: m3” (e6).
  • FIG. 7 shows a specific example of the index information 122 after the index generation processing of Context 10 and Context 100 other than Context 1 is performed.
  • FIG. 7 is a diagram illustrating a specific example of index information according to the first embodiment.
  • Context1, Context10, and Context100 are defined.
  • the index information 122 after the index generation processing for Context1 is performed is indicated within the range of the code E1.
  • the item name of each property and the bit setting position for the item value of each property are as described with reference to FIG.
  • the index information 122 after the index generation processing for Context10 is performed is indicated within the range of the code E2. That is, for the item name “dim: C1” of the property, bit “1” is set at the first appearance position of Context 10 (e7). For the property item name “m: m1”, bit “1” is set at the second appearance position of Context 10 (e8). For the item name “dim: A1” of the property, bit “1” is set at the third appearance position of Context 10 (e9). For the property item name “m: m1”, bit “1” is set at the fourth appearance position of Context10 (e10).
  • FIG. 8 is a flowchart of the index generation process according to the first embodiment.
  • XBRL data is referred to as “data”.
  • the context selection unit 111 determines whether or not the input data 300 has been received (step S10). When it is determined that the input data 300 has not been received (step S10; No), the context selection unit 111 repeats the determination process until the input data 300 is received.
  • the context selection unit 111 reads the target file from the input data 300 (step S11). Then, the context selection unit 111 selects a context from the read target file (step S12).
  • the index information generating unit 113 writes “1” in the bit corresponding to the appearance position in the selected context of the index corresponding to the held item name of each property (step S15).
  • the index information generation unit 113 writes “1” in the bit corresponding to the appearance position in the selected context of the index corresponding to the held item value of each property (step S16).
  • the index information generation unit 113 associates the selected context with the target data and sets the selected context in the context position information 123 (step S17).
  • the index information generating unit 113 determines whether there is an unprocessed context (step S18). When it is determined that there is an unprocessed context (step S18; Yes), the context selection unit 111 selects the next context (step S19). Then, the context selection unit 111 proceeds to step S13 in order to transition to the context analysis unit 112.
  • step S18 when it is determined that there is no unprocessed context (step S18; No), the index information generation unit 113 determines whether there is an unprocessed target file in the input data 300 (step S20). . When it is determined that there is an unprocessed target file (step S20; Yes), the index information generation unit 113 proceeds to step S11 to transition to the context selection unit 111.
  • the “conversion extraction condition” here matches the extraction condition when there is one extraction condition specified by the item and value, but there are a plurality of extraction conditions specified by the item and value. Means a condition obtained by combining a plurality of extraction conditions with a logical operator.
  • the verification rule 310 is a rule for verifying or calculating the contents of XBRL data.
  • the verification rule 310 is described using an XBRL formula.
  • the XBRL formula is a description language that defines rules for verifying and calculating the contents of XBRL data, and defines a verification rule 310.
  • FIG. 10 is a diagram illustrating an example of the structure of the verification rule.
  • the “variable common extraction condition” is a common extraction condition for “variables” defined by all the “variable individual extraction conditions” in the verification rule 310.
  • “variables” correspond to a1, a2, and a3.
  • “Extraction condition for each variable” corresponds to b1, b2, and b3.
  • “Extraction condition common to variables” corresponds to c0.
  • the “verification formula” corresponds to d0.
  • the XBRL data verified by the verification rule 310 is narrowed down from the entire input data 300 by the “variable common extraction condition” c0. Further, in the “variable” a1, the XBRL data is narrowed down by the “variable individual extraction condition” b1, and the narrowed XBRL data is assigned to the “variable” a1. Similarly, in “variable” a2, XBRL data is narrowed down by “variable individual extraction condition” b2, and XBRL data narrowed down to “variable” a2 is assigned.
  • the XBRL data is narrowed down by the “variable individual extraction condition” b3, and the narrowed XBRL data is assigned to the “variable” a3.
  • “verification formula” d0 is verified for each combination of assigned XBRL data.
  • the item name of the property that is the first condition designation in the “variable common extraction condition” c0 is “dim: CS” that is a property defined by Dimension, and the item value is “M: x26”.
  • the item name of the property that is the second condition specification is “dim: VS” that is a property defined by Dimension, and the item value thereof is “m: x80”.
  • the item name of the property that is the third condition designation is “dim: D0” that is a property defined by Dimension, and the item value is “m: x0”.
  • the verification device 200 includes a control unit 210 and a storage unit 220.
  • the index information 122 is information indicating the appearance position of each property item name and property value for each property item name and property value included in the input data 300. That is, the index information 122 refers to a bitmap in which the presence / absence of each offset (appearance position) is indexed with respect to the item name and property value of the property included in the input data 300.
  • the index information 122 is information generated by the index generation device 100, and is acquired via a network and stored in the storage unit 220, for example.
  • Context position information 123 is information of XBRL data associated with a context. Note that the context position information 123 is information generated by the index generation device 100, and is acquired via a network and stored in the storage unit 220, for example.
  • the control unit 210 has an internal memory for storing programs and control data that define various processing procedures, and executes various processes using these. And the control part 210 respond
  • the control unit 210 includes an extraction condition conversion unit 211, a data extraction unit 212, and an extraction result output unit 213.
  • the extraction condition conversion unit 211 is an example of a conversion unit.
  • the data extraction unit 212 is an example of a verification unit.
  • the extraction condition conversion unit 211 inputs the verification rule 310, and converts the input verification rule 310 into a conversion extraction condition defined by the property item name and the property item value. For example, the extraction condition conversion unit 211 interprets “extraction conditions common to variables” in the verification rule 310 and extracts property items and property item values. As a result of the extraction, the extraction condition conversion unit 211 generates a conversion extraction condition from one or a plurality of extraction conditions using one set of property items and property item values as one extraction condition.
  • the data extraction unit 212 refers to the index information 122 and extracts XBRL data corresponding to the conversion extraction condition converted from the verification rule 310 by the extraction condition conversion unit 211.
  • the data extraction unit 212 selects one extraction condition from the conversion extraction conditions.
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the item name of the property included in the selected extraction condition from the index information 122. Further, the data extraction unit 212 extracts a bitmap corresponding to the property item value included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit.
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the shifted bitmap corresponding to the property item value.
  • the data extraction unit 212 detects a bit section in which “1” is set in the bit section corresponding to each context in the AND result bitmap.
  • the data extraction unit 212 detects a context corresponding to the detected bit interval. Then, the data extraction unit 212 refers to the context position information 123 and narrows down XBRL data associated with the detected context.
  • the data extraction unit 212 calculates an AND result for each extraction condition.
  • the data extraction unit 212 performs an OR operation on each AND result for a plurality of extraction conditions.
  • the data extraction unit 212 refers to the OR result and detects a corresponding context according to a logical operator used to combine a plurality of extraction conditions included in the conversion extraction condition.
  • a logical operator used to combine a plurality of extraction conditions included in the conversion extraction condition.
  • the data extraction unit 212 sets the number of extraction conditions to “1” in the bit interval corresponding to each context in the bitmap of the OR result. Detects the set bit interval. Then, the data extraction unit 212 detects a context corresponding to the extracted bit section.
  • the data extraction unit 212 sets a bit in which one or more “1” s are set in the bit section corresponding to each context in the OR result bitmap. Detect intervals. Then, the data extraction unit 212 detects a context corresponding to the extracted bit section. Then, the data detection unit 212 refers to the context position information 123 and narrows down XBRL data associated with the detected context.
  • the extraction result output unit 213 outputs the XBRL data extracted by the data extraction unit 212. Thereafter, the verification apparatus 200 verifies the verification expression d0 of the verification rule 310 using the output XBRL data.
  • the extraction condition conversion unit 211 interprets the “variable common extraction condition” of the verification rule 310 and extracts the property item name and the property item value as the property condition (extraction condition).
  • “dim: A1” is extracted as the property item name
  • “m: m1” is extracted as the property item value
  • [dim: A1, m: m1] is one extraction condition.
  • “Dim: B1” is extracted as the item name of the property
  • “m: m2” is extracted as the item value of the property
  • [dim: B1, m: m2] is one extraction condition.
  • “Dim: C1” is extracted as the property item name
  • “m: m3” is extracted as the property item value
  • [dim: C1, m: m3] is one extraction condition.
  • the extraction condition conversion unit 211 generates a conversion extraction condition from a plurality of extraction conditions.
  • FIG. 12 is a diagram illustrating an example of the data extraction process according to the first embodiment.
  • the data extraction process shown in FIG. 12 is a case where XBRL data having one property is extracted.
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the item name of the property included in the selected extraction condition from the index information 122.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item name “dim: A1” (s1).
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the property item value included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item value “m: m1”, and shifts it to the left by one bit (s2).
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the shifted bitmap corresponding to the property item value.
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: A1” and the shifted bitmap corresponding to “m: m1” (s3).
  • the data extraction unit 212 detects a bit section in which “1” is set in the bit section corresponding to each context from the AND result bitmap, and the detected bit section A context corresponding to is detected (s4).
  • context 1 and context 10 are detected.
  • the data extraction unit 212 refers to the context position information 123 and narrows down XBRL data including the detected context (s5).
  • the context position information 123 has the contents shown in FIG. 5, the context 1 is associated with the data 3 and the data 10.
  • Context 10 is associated with data 13. Therefore, data 3, data 10 and data 13 are narrowed down as XBRL data.
  • FIG. 13 is a diagram illustrating another example of the data extraction process according to the first embodiment.
  • the data extraction process shown in FIG. 13 is a case where XBRL data having any of a plurality of properties is extracted.
  • the data extraction unit 212 selects one extraction condition from the conversion extraction conditions.
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the item name of the property included in the selected extraction condition from the index information 122.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item name “dim: A1” (s10).
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the property item value included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item value “m: m1”, and shifts it to the left by one bit (s11).
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the shifted bitmap corresponding to the property item value.
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: A1” and the shifted bitmap corresponding to “m: m1” (s12).
  • the data extraction unit 212 selects the next one extraction condition from the conversion extraction conditions.
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the item name of the property included in the selected extraction condition from the index information 122.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item name “dim: B1” (s13).
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the property item value included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item value “m: m2”, and shifts it to the left by one bit (s14).
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the shifted bitmap corresponding to the property item value.
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: B1” and the shifted bitmap corresponding to “m: m2” (s15).
  • the data extraction unit 212 selects the next one extraction condition from the conversion extraction conditions.
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the item name of the property included in the selected extraction condition from the index information 122.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item name “dim: C1” (s16).
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the shifted bitmap corresponding to the property item value.
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: C1” and the shifted bitmap corresponding to “m: m3” (s18).
  • the data extraction unit 212 refers to the context position information 123 and narrows down XBRL data associated with the detected context.
  • FIG. 14 is a diagram illustrating still another example of the data extraction process according to the first embodiment.
  • the data extraction process shown in FIG. 14 is a case where XBRL data having any one of a plurality of properties is extracted.
  • the data extraction unit 212 selects one extraction condition from the conversion extraction conditions.
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the item name of the property included in the selected extraction condition from the index information 122.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item name “dim: B1” (s30).
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the shifted bitmap corresponding to the property item value.
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: B1” and the shifted bitmap corresponding to “m: m1” (s32).
  • the data extraction unit 212 selects the next one extraction condition from the conversion extraction conditions.
  • the data extraction unit 212 extracts an index (bitmap) corresponding to the property item value included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit.
  • the data extraction unit 212 extracts a bitmap corresponding to the property item value “m: m2”, and shifts it to the left by one bit (s33).
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the shifted bitmap corresponding to the property item value.
  • the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: B1” and the shifted bitmap corresponding to “m: m2” (s34).
  • the data extraction unit 212 selects the next one extraction condition from the conversion extraction conditions.
  • the data extraction unit 212 Since there are a plurality of extraction conditions, the data extraction unit 212 performs an OR operation on each AND result for the plurality of extraction conditions. Here, the data extraction unit 212 performs an OR operation on the AND results of the three “dim: B1” properties (s37).
  • the extraction condition conversion unit 211 determines whether or not the verification rule 310 has been received (step S21). If it is determined that the verification rule 310 has not been received (step S21; No), the extraction condition conversion unit 211 repeats the determination process until the verification rule 310 is received.
  • the computer 500 includes a CPU 503 that executes various arithmetic processes, an input device 515 that receives input of data from the user, and a display control unit 507 that controls the display device 509.
  • the computer 500 also includes a drive device 513 that reads a program and the like from a storage medium, and a communication control unit 517 that exchanges data with other computers via a network.
  • the computer 500 also includes a memory 501 that temporarily stores various types of information and an HDD 505.
  • the memory 501, CPU 503, HDD 505, display control unit 507, drive device 513, input device 515, and communication control unit 517 are connected by a bus 519.

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Data Mining & Analysis (AREA)
  • Databases & Information Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Machine Translation (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

検証装置２００が、入力された検証ルール３１０を、項目および値により規定される変換検証条件に変換する。検証装置２００は、入力データ３００より生成された、入力データ３００に含まれる項目および値それぞれについての出現位置に関するインデックス情報１２２を参照し、変換検証条件に対応する項目および値の検証を行うこととしたので、入力データ３００から該当するデータを高速に抽出することができる。

Description

検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法
　本発明は、検証プログラムなどに関する。
　世界各国で、ＸＢＲＬ（eXtensible　Business　Reporting　Language）文書による財務情報の報告が行われている。ＸＢＲＬとは、各種財務報告用の情報を作成、流通、利用できるように標準化されたＸＭＬベースの言語である。ＸＢＲＬ文書とは、例えば財務会計報告に関して、ＸＢＲＬ等のＸＭＬで記述された文書である。
　ＸＢＲＬで記述されたデータを抽出する抽出条件は、例えば、項目（プロパティ名）と値による個別条件を複数組み合わせた形で規定される。
　ＸＢＲＬで記述されたデータを抽出する方法の開示例について説明する（例えば、特許文献１参照）。抽出装置は、抽出条件における複数の個別条件それぞれについて、抽出データの該当数を予め取得しておき、取得した複数の個別条件それぞれについての該当数に基づき複数の個別条件の適用順序を決定する。そして、抽出装置は、決定した適用順序に応じて抽出条件を適用し、入力データからＸＢＲＬスキーマを参照し、該当するデータを抽出する。複数の個別条件の適用順序を決定するのは、適用する個別条件の順番が異なると、演算量が大きくなる場合があるからである。
　また、個別条件が項目と値との組み合わせとなる開示では（例えば、特許文献２参照）、項目と値との組に対して、位置をインデックス化し、生成したインデックス情報を用いて複数の個別条件でデータを抽出することも考えられる。
国際公開第２０１６／１３２５５０号 特開２００１－２６５７７３号公報
　ところで、ＸＢＲＬスキーマをもとに、該当データを抽出する場合、演算量が問題となる場合がある。例えば、ＸＢＲＬスキーマを参照し、入力データを先頭から、ＸＢＲＬタグで該当データを抽出する従来の方法では、複数の個別条件の関係によっては、適用順序の決定が適切でない。例えば、複数の個別条件それぞれについて、抽出データの該当数が全て大きい場合である。かかる場合には、該当数による適用順序の決定が適切でない場合に相当し、演算量が大きくなる。また、適用順序の決定のためには、そもそも、予め、該当数を取得する演算が必要となる。
　一方、項目と値との組に対して、位置をインデックス化し、生成したインデックス情報を用いて複数の個別条件でデータを抽出する場合について、かかるインデックス情報の参考例を、図２０を参照して説明する。
　図２０は、インデックス情報の参考例を示す図である。図２０に示すように、インデックス情報９００は、プロパティ名（項目名）と値との組に対するビット列であって組に対する入力データ内の各データ位置での存否を示すビットを連結したビット列である。インデックス情報９００のＸ軸はデータ位置を表し、Ｙ軸はプロパティ名および値の組を表す。プロパティ名および値が入力データ内のあるデータ位置に存在しない場合には、データ位置の存否としてＯＦＦ、すなわち２進数の「０」が設定される。プロパティ名および値が入力データ内のあるデータ位置に存在する場合には、データ位置の存否としてＯＮ、すなわち２進数の「１」が設定される。ここでは、一例として、プロパティ名が「Ｐ１」、値が「Ｖａｌ１」である場合に、データ１の存否として「１」が設定され、データ１０００００の存否として「０」が設定されている。
　しかしながら、入力データ内の項目と値との組み合わせの数は非常に多くなるため、項目と値との組み合わせに対するインデックス情報を生成することが難しいという問題がある。また、項目と値との組み合わせに対するインデックス情報を用いて複数の個別条件でデータを抽出することが難しいという問題がある。
　１つの側面では、ＸＢＲＬで記述されたデータを抽出する際、項目と値に対するインデックス情報を用いて項目と値による複数の条件でデータを抽出することを目的とする。
　第１の案では、コンピュータに、入力された検証条件を、項目および値により規定される変換検証条件に変換し、対象データより生成された、前記対象データに含まれる項目および値それぞれについての出現位置に関するインデックス情報を参照し、前記変換検証条件に対応する項目および値の検証を行う、処理を実行させる。
　一つの態様によれば、ＸＢＲＬで記述されたデータを抽出する際、項目と値に対するインデックス情報を用いて項目と値による複数の条件でデータを抽出することができる。
図１は、実施例１に係るインデックス生成装置の構成を示す機能ブロック図である。 図２は、ＸＢＲＬデータの一例を示す図である。 図３は、プロパティ定義情報の一例を示す図である。 図４は、実施例１に係るインデックス情報の一例を示す図である。 図５は、実施例１に係るコンテキスト位置情報の一例を示す図である。 図６は、実施例１に係るインデックス生成処理の一例を示す図である。 図７は、実施例１に係るインデックス情報の具体例を示す図である。 図８は、実施例１に係るインデックス生成処理のフローチャートを示す図である。 図９は、実施例１に係る検証装置の構成を示す機能ブロック図である。 図１０は、検証ルールの構造の一例を示す図である。 図１１は、実施例１に係る抽出条件変換処理の一例を示す図である。 図１２は、実施例１に係るデータ抽出処理の一例を示す図である。 図１３は、実施例１に係るデータ抽出処理の別の例を示す図である。 図１４は、実施例１に係るデータ抽出処理のさらに別の例を示す図である。 図１５は、実施例１に係る検証処理のフローチャートを示す図である。 図１６は、実施例２に係るインデックス情報の一例を示す図である。 図１７は、実施例２に係るインデックス生成処理の一例を示す図である。 図１８は、実施例２に係るデータ抽出処理の一例を示す図である。 図１９は、インデックス生成装置および検証装置のハードウェア構成の一例を示す図である。 図２０は、インデックス情報の参考例を示す図である。
　以下に、本願の開示する検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法の実施例を図面に基づいて詳細に説明する。なお、この実施例によりこの発明が限定されるものではない。
［実施例１に係るインデックス生成装置の構成］
　図１は、実施例１に係るインデックス生成装置の構成を示す機能ブロック図である。インデックス生成装置１００は、入力データ３００を入力し、入力データ３００に含まれる項目および値それぞれについて、項目および値それぞれの出現位置に関するインデックス情報を生成する。この生成されたインデックス情報を用いて、後述する検証装置２００は、入力される後述する検証ルール３１０から得られる抽出条件に合致するＸＢＲＬデータを抽出する。
　ここでいう「ＸＢＲＬデータ」とは、ＸＢＲＬで記述されたデータである。ＸＢＲＬとは、各種財務報告用の情報を作成、流通、利用できるように標準化されたＸＭＬベースの言語である。ＸＢＲＬデータの一例として、財務データが挙げられる。ＸＢＲＬデータはデータ値と、データ値を補足する付加情報とからなる。付加情報のことをアスペクトという場合がある。付加情報は、データ値を含む要素と関連付けられる、別の独立した要素で指定される情報であり、プロパティの項目名とプロパティの項目値とを１組とした複数のプロパティの情報から構成される。なお、実施例では、ＸＢＲＬデータを単にデータという場合があったり、データ値という場合があったりする。また、実施例では、ＸＢＲＬデータのデータ値に関連付けられる付加情報を含む要素である「コンテキスト（Ｃｏｎｔｅｘｔ）」を主に説明する。
　図２は、ＸＢＲＬデータの一例を示す図である。図２に示すように、１つのＸＢＲＬデータは、データ値と、データ値を補足する付加情報からなる。付加情報は、名前がｃｏｎｔｅｘｔとｕｎｉｔである要素に複数定義されるが、ここでは、それぞれを区別するための識別子として、「ｃｏｎｔｅｘｔ＿１」、「ＪＰＹ」が付与されている。データ値を補足する付加情報として、「ｃｏｎｔｅｘｔ＿１」に対応する付加情報と、「ＪＰＹ」に対応する付加情報が定義されている。そして、例えば、「ｃｏｎｔｅｘｔ＿１」に対応する付加情報には、プロパティの項目名として「ｄｉｍ：Ａ１」、プロパティの項目値として「Ａ：ｘ１」を１組とするプロパティの情報が定義されている。プロパティの項目名として「ｄｉｍ：Ｂ１」、プロパティの項目値として「Ｂ：ｘ１」を１組とするプロパティの情報が定義されている。プロパティの項目名として「ｄｉｍ：Ｃ１」、プロパティの項目値として「Ｃ：ｘ２」を１組とするプロパティの情報が定義されている。
　図１に示すように、インデックス生成装置１００は、制御部１１０および記憶部１２０を有する。
　記憶部１２０は、例えばフラッシュメモリ（Flash　Memory）やＦＲＡＭ（登録商標）（Ferroelectric　Random　Access　Memory）等の不揮発性の半導体メモリ素子等の記憶装置に対応する。記憶部１２０は、プロパティ定義情報１２１、インデックス情報１２２およびコンテキスト位置情報１２３を有する。
　プロパティ定義情報１２１は、プロパティの項目名およびプロパティの項目値を定義する。なお、プロパティの項目名を「プロパティ名」という場合がある。プロパティの項目値を「プロパティ値」という場合がある。
　ここで、プロパティ定義情報１２１の一例を、図３を参照して説明する。図３は、プロパティ定義情報の一例を示す図である。図３に示すように、プロパティ定義情報１２１には、プロパティ種の定義およびプロパティ値の定義が含まれる。プロパティ種とは、プロパティの項目に対応する。プロパティ値とは、プロパティの項目値に対応する。各プロパティ種は、値として該当するプロパティ値と対応付けられる。プロパティ定義情報１２１には、入力データ３００に出現する可能性のあるプロパティ種およびプロパティ値が定義される。例えば、ＸＢＲＬの付加情報には、「Ｄｉｍｅｎｓｉｏｎ」と呼ばれるカテゴリに属するプロパティ種があり、ユーザが予め任意に定義できる。プロパティ種が「Ｄｉｍｅｎｓｉｏｎ」である場合のプロパティ項目およびプロパティ値が定義されている。一例として、プロパティ項目が「ｄｉｍ：Ａ１」である場合に、値として該当するプロパティ値が「ｍ：ｍ１」、「ｍ：ｍ２」・・・「ｍ：ｍ８」であることが示されている。
　図１に戻って、インデックス情報１２２は、入力データ３００に含まれるプロパティの項目名およびプロパティの項目値それぞれについて、プロパティの項目名およびプロパティの項目値それぞれの出現位置を表す情報である。すなわち、インデックス情報１２２とは、入力データ３００に含まれるプロパティの項目名およびプロパティの項目値について、それぞれ、オフセット（出現位置）ごとの存否をインデックス化したビットマップのことをいう。
　ここで、インデックス情報１２２の一例を、図４を参照して説明する。図４は、実施例１に係るインデックス情報の一例を示す図である。図４に示すように、インデックス情報１２２のＸ軸はコンテキストごとの出現位置を表し、Ｙ軸はプロパティ名とプロパティ値とを表す。また、インデックス情報１２２は、プロパティ名のインデックス情報の領域と、プロパティ値のインデックス情報の領域を持つ。プロパティ名のインデックス情報は、それぞれのプロパティの項目名について、コンテキスト（Ｃｏｎｔｅｘｔ）内の出現位置に関するインデックスの束の情報である。また、プロパティ値のインデックス情報は、それぞれのプロパティの項目値について、コンテキスト（Ｃｏｎｔｅｘｔ）内の出現位置に関するインデックスの束の情報である。各プロパティ名および各プロパティ値について、コンテキスト内に出現する出現位置には、ＯＮすなわち２進数の「１」が設定される。一例として、プロパティ名が「Ｐ１」である場合に、Ｃｏｎｔｅｘｔ１内の１番目の出現位置に「１」が設定されている。プロパティ値が「Ｖａｌ１」である場合に、Ｃｏｎｔｅｘｔ１内の２番目の出現位置に「１」が設定されている。
　図１に戻って、コンテキスト位置情報１２３は、コンテキスト（Ｃｏｎｔｅｘｔ）に関連付けられるＸＢＲＬデータの情報である。
　ここで、コンテキスト位置情報１２３の一例を、図５を参照して説明する。図５は、実施例１に係るコンテキスト位置情報の一例を示す図である。図５に示すように、コンテキスト位置情報１２３は、コンテキスト（Ｃｏｎｔｅｘｔ）ごとに、各コンテキストが関連付けられるＸＢＲＬデータを対応付ける情報である。ここでいう各ＸＢＲＬデータは、図２で示した各データ値に対応する。一例として、コンテキストが「Ｃｏｎｔｅｘｔ１」である場合に、このコンテキストが関連付けられるＸＢＲＬデータとして「データ３、データ１０、データ１８」が設定されている。すなわち、「Ｃｏｎｔｅｘｔ１」は、「データ３」に関連付けられる。「Ｃｏｎｔｅｘｔ１」は、「データ１０」に関連付けられる。「Ｃｏｎｔｅｘｔ１」は、「データ１８」に関連付けられる。
　図１に戻って、制御部１１０は、各種の処理手順を規定したプログラムや制御データを格納するための内部メモリを有し、これらによって種々の処理を実行する。そして、制御部１１０は、例えば、ＡＳＩＣ（Application　Specific　Integrated　Circuit）やＦＰＧＡ（Field　Programmable　Gate　Array）等の集積回路の電子回路に対応する。または、制御部１１０は、ＣＰＵ（Central　Processing　Unit）やＭＰＵ（Micro　Processing　Unit）等の電子回路に対応する。制御部１１０は、コンテキスト選択部１１１、コンテキスト解析部１１２およびインデックス情報生成部１１３を有する。
　コンテキスト選択部１１１は、入力データ３００を入力し、入力した入力データ３００に含まれるＸＢＲＬデータファイルから当該ＸＢＲＬデータファイルに含まれるコンテキストを順次選択する。
　コンテキスト解析部１１２は、コンテキスト選択部１１１によって選択されたコンテキストを解析する。例えば、コンテキスト解析部１１２は、コンテキスト選択部１１１によって選択されたコンテキストを字句解析する。コンテキスト解析部１１２は、字句解析した結果、プロパティの項目名およびプロパティの項目値の組を出現順に一時領域に保持する。
　インデックス情報生成部１１３は、入力データ３００に含まれるプロパティの項目名およびプロパティの項目値それぞれについて、プロパティの項目名およびプロパティの項目値それぞれの出現位置に関するインデックス情報１２２を生成する。例えば、インデックス情報生成部１１３は、コンテキスト解析部１１２によって解析されたコンテキストについて、一時領域に保持された組ごとに、以下の生成処理を行う。すなわち、インデックス情報生成部１１３は、各組に含まれるプロパティの項目名に対して、当該プロパティの項目名の出現位置にビットを立てる。インデックス情報生成部１１３は、各組に含まれるプロパティの項目値に対して、当該プロパティの項目値の出現位置にビットを立てる。インデックス情報生成部１１３は、選択されたコンテキストと、対象のＸＢＲＬデータとを対応付けてコンテキスト位置情報１２３に設定する。インデックス情報生成部１１３は、コンテキスト解析部１１２によって解析された全てのコンテキストについて、インデックス情報生成処理を行うことで、インデックス情報１２２を生成する。なお、インデックス情報１２２のコンテキスト名、プロパティ名およびプロパティ値は、予め設定されるようにしても良い。あるいは、インデックス情報生成部１１３が、前処理として、プロパティ定義情報１２１を参照して、インデックス情報１２２のプロパティ名およびプロパティ値を設定しても良い。
　これにより、インデックス情報生成部１１３は、プロパティの項目名およびプロパティ値それぞれの出現位置に関するインデックスを生成することで、プロパティの項目名およびプロパティ値の組み合わせのインデックスを生成する場合と比べて、インデックス情報１２２のサイズ爆発を抑制できる。また、インデックス情報生成部１１３は、プロパティの項目名およびプロパティ値それぞれの出現位置に関するインデックスを生成することで、仮に入力データ３００に新たなプロパティ値が有ったとしても、インデックス情報１２２のプロパティ値の領域に１行追加するだけで、インデックス情報１２２を更新することができる。インデックス情報生成部１１３は、プロパティの項目名およびプロパティ値それぞれの出現位置に関するインデックスを生成することで、仮に入力データ３００に新たなプロパティの項目名が有ったとしても、インデックス情報１２２のプロパティの項目名の領域に１行追加するだけで、インデックス情報１２２を更新することができる。
［インデックス生成処理の一例］
　ここで、インデックス生成処理の一例を、図６を参照して説明する。図６は、実施例１に係るインデックス生成処理の一例を示す図である。
　図６に示すように、入力データ３００には、複数のＸＢＲＬデータファイルが含まれる。各ＸＢＲＬデータファイルには、複数のコンテキスト（Ｃｏｎｔｅｘｔ）が含まれる。コンテキスト選択部１１１は、入力データ３００に含まれるＸＢＲＬデータファイルから当該ＸＢＲＬデータファイルに含まれるコンテキストを順次選択する。ここでは、コンテキスト選択部１１１は、コンテキストとして「Ｃｏｎｔｅｘｔ１」を選択したとする。
　すると、コンテキスト解析部１１２は、コンテキストとして選択された「Ｃｏｎｔｅｘｔ１」を字句解析する。一例として、コンテキスト解析部１１２は、特定の要素（xbrldi:explicitMember）の行に含まれるプロパティの項目名およびプロパティの項目値の組を検知する。ここでは、符号ｒ１で示される行には、プロパティの項目名として「ｄｉｍ：Ｂ１」、プロパティの項目値として「ｍ：ｍ２」の組が検知される。また、符号ｒ２で示される行には、プロパティの項目名として「ｄｉｍ：Ａ１」、プロパティの項目値として「ｍ：ｍ１」の組が検知される。符号ｒ３で示される行には、プロパティの項目名として「ｄｉｍ：Ｃ１」、プロパティの項目値として「ｍ：ｍ３」の組が検知される。
　そして、コンテキスト解析部１１２は、プロパティの項目名およびプロパティの項目値の組を出現順に一時領域に保持する。ここでは、コンテキスト解析部１１２は、符号ｒ１で示される行で検知した組の出現順に応じて、１番目の一時領域に「ｄｉｍ：Ｂ１」、２番目の一時領域に「ｍ：ｍ２」を保持する。コンテキスト解析部１１２は、符号ｒ２で示される行で検知した組の出現順に応じて、３番目の一時領域に「ｄｉｍ：Ａ１」、４番目の一時領域に「ｍ：ｍ１」を保持する。コンテキスト解析部１１２は、符号ｒ３で示される行で検知した組の出現順に応じて、５番目の一時領域に「ｄｉｍ：Ｃ１」、６番目の一時領域に「ｍ：ｍ３」を保持する。
　そして、インデックス情報生成部１１３は、「Ｃｏｎｔｅｘｔ１」について、一時領域に保持された組に含まれるプロパティの項目名に対して、当該プロパティの項目名の出現位置にビットを立てる。インデックス情報生成部１１３は、「Ｃｏｎｔｅｘｔ１」について、一時領域に保持された組に含まれるプロパティの項目値に対して、当該プロパティの項目値の出現位置にビットを立てる。ここでは、インデックス情報生成部１１３は、プロパティの項目名「ｄｉｍ：Ｂ１」に対して、１番目の出現位置にビット「１」を設定する（ｅ１）。インデックス情報生成部１１３は、プロパティの項目値「ｍ：ｍ２」に対して、２番目の出現位置にビット「１」を設定する（ｅ２）。インデックス情報生成部１１３は、プロパティの項目名「ｄｉｍ：Ａ１」に対して、３番目の出現位置にビット「１」を設定する（ｅ３）。インデックス情報生成部１１３は、プロパティの項目値「ｍ：ｍ１」に対して、４番目の出現位置にビット「１」を設定する（ｅ４）。インデックス情報生成部１１３は、プロパティの項目名「ｄｉｍ：Ｃ１」に対して、５番目の出現位置にビット「１」を設定する（ｅ５）。インデックス情報生成部１１３は、プロパティの項目値「ｍ：ｍ３」に対して、６番目の出現位置にビット「１」を設定する（ｅ６）。
［インデックス情報の具体例］
　ここで、Ｃｏｎｔｅｘｔ１以外のＣｏｎｔｅｘｔ１０とＣｏｎｔｅｘｔ１００のインデックス生成処理が行われた後のインデックス情報１２２の具体例を、図７に表す。図７は、実施例１に係るインデックス情報の具体例を示す図である。
　図７に示すように、Ｃｏｎｔｅｘｔ１、Ｃｏｎｔｅｘｔ１０およびＣｏｎｔｅｘｔ１００が定義されている。Ｃｏｎｔｅｘｔ１についてのインデックス生成処理が行われた後のインデックス情報１２２は、符号Ｅ１の範囲内に示される。各プロパティの項目名、各プロパティの項目値に対するビットの設定位置は、図６で説明したとおりであるので、その説明を省略する。
　Ｃｏｎｔｅｘｔ１０についてのインデックス生成処理が行われた後のインデックス情報１２２は、符号Ｅ２の範囲内に示される。すなわち、プロパティの項目名「ｄｉｍ：Ｃ１」に対して、Ｃｏｎｔｅｘｔ１０の１番目の出現位置にビット「１」が設定される（ｅ７）。プロパティの項目名「ｍ：ｍ１」に対して、Ｃｏｎｔｅｘｔ１０の２番目の出現位置にビット「１」が設定される（ｅ８）。プロパティの項目名「ｄｉｍ：Ａ１」に対して、Ｃｏｎｔｅｘｔ１０の３番目の出現位置にビット「１」が設定される（ｅ９）。プロパティの項目名「ｍ：ｍ１」に対して、Ｃｏｎｔｅｘｔ１０の４番目の出現位置にビット「１」が設定される（ｅ１０）。
　Ｃｏｎｔｅｘｔ１００についてのインデックス生成処理が行われた後のインデックス情報１２２は、符号Ｅ３の範囲内に示される。すなわち、プロパティの項目名「ｄｉｍ：Ａ１」に対して、Ｃｏｎｔｅｘｔ１００の１番目の出現位置にビット「１」が設定される（ｅ１１）。プロパティの項目名「ｍ：ｍ３」に対して、Ｃｏｎｔｅｘｔ１００の２番目の出現位置にビット「１」が設定される（ｅ１２）。プロパティの項目名「ｄｉｍ：Ｂ１」に対して、Ｃｏｎｔｅｘｔ１００の３番目の出現位置にビット「１」が設定される（ｅ１３）。プロパティの項目名「ｍ：ｍ３」に対して、Ｃｏｎｔｅｘｔ１００の４番目の出現位置にビット「１」が設定される（ｅ１４）。プロパティの項目名「ｄｉｍ：Ｃ１」に対して、Ｃｏｎｔｅｘｔ１００の５番目の出現位置にビット「１」が設定される（ｅ１５）。プロパティの項目名「ｍ：ｍ１」に対して、Ｃｏｎｔｅｘｔ１００の６番目の出現位置にビット「１」が設定される（ｅ１６）。
　このようにして、インデックス生成装置１００は、入力データ３００の中の未処理のコンテキストがなくなるまで、コンテキスト選択部１１１、コンテキスト解析部１１２およびインデックス情報生成部１１３によるインデックス生成処理を繰り返させる。この結果、入力データ３００におけるインデックス情報１２２が完成する。
［インデックス生成処理のフローチャート］
　図８は、実施例１に係るインデックス生成処理のフローチャートを示す図である。なお、図８では、ＸＢＲＬデータを「データ」というものとする。
　図８に示すように、コンテキスト選択部１１１は、入力データ３００を受け取ったか否かを判定する（ステップＳ１０）。入力データ３００を受け取っていないと判定した場合には（ステップＳ１０；Ｎｏ）、コンテキスト選択部１１１は、入力データ３００を受け取るまで、判定処理を繰り返す。
　一方、入力データ３００を受け取ったと判定した場合には（ステップＳ１０；Ｙｅｓ）、コンテキスト選択部１１１は、入力データ３００から対象のファイルを読み出す（ステップＳ１１）。そして、コンテキスト選択部１１１は、読み出した対象のファイルからコンテキストを選択する（ステップＳ１２）。
　続いて、コンテキスト解析部１１２は、選択したコンテキストを字句解析する（ステップＳ１３）。そして、コンテキスト解析部１１２は、プロパティの項目名およびプロパティの項目値を出現順に一時領域に保持する（ステップＳ１４）。
　続いて、インデックス情報生成部１１３は、保持した各プロパティの項目名に対応するインデックスの、選択したコンテキスト内の出現位置に対するビットに「１」を書き込む（ステップＳ１５）。インデックス情報生成部１１３は、保持した各プロパティの項目値に対応するインデックスの、選択したコンテキスト内の出現位置に対するビットに「１」を書き込む（ステップＳ１６）。インデックス情報生成部１１３は、選択したコンテキストと対象のデータとを対応付けて、コンテキスト位置情報１２３に設定する（ステップＳ１７）。
　そして、インデックス情報生成部１１３は、未処理のコンテキストは有るか否かを判定する（ステップＳ１８）。未処理のコンテキストが有ると判定した場合には（ステップＳ１８；Ｙｅｓ）、コンテキスト選択部１１１は、次のコンテキストを選択する（ステップＳ１９）。そして、コンテキスト選択部１１１は、コンテキスト解析部１１２に遷移すべく、ステップＳ１３に移行する。
　一方、未処理のコンテキストが無いと判定した場合には（ステップＳ１８；Ｎｏ）、インデックス情報生成部１１３は、入力データ３００に未処理の対象のファイルは有るか否かを判定する（ステップＳ２０）。未処理の対象のファイルが有ると判定した場合には（ステップＳ２０；Ｙｅｓ）、インデックス情報生成部１１３は、コンテキスト選択部１１１に遷移すべく、ステップＳ１１に移行する。
　一方、未処理の対象のファイルが無いと判定した場合には（ステップＳ２０；Ｎｏ）、インデックス情報生成部１１３は、インデックス生成処理を終了する。
［実施例１に係る検証装置の構成］
　図９は、実施例１に係る検証装置の構成を示す機能ブロック図である。検証装置２００は、入力される検証ルール３１０を、項目および値により規定される変換抽出条件に変換し、入力データ３００より生成されたインデックス情報１２２を参照し、変換抽出条件に対応する項目および値の検証を行う。すなわち、検証装置２００は、インデックス情報１２２を用いて、入力される検証ルール３１０から得られる変換抽出条件に合致するＸＢＲＬデータを抽出する。
　ここでいう「変換抽出条件」とは、項目および値により規定される抽出条件が１つである場合には、抽出条件と一致するが、項目および値により規定される抽出条件が複数である場合には、複数の抽出条件を論理演算子で結合した条件のことをいう。
　ここでいう検証ルール３１０とは、ＸＢＲＬデータの内容の検証や計算を行うためのルールである。検証ルール３１０は、ＸＢＲＬフォーミュラを用いて記述される。ＸＢＲＬフォーミュラとは、ＸＢＲＬデータの内容の検証や計算を行うためのルールを定義する記述言語であり、検証ルール３１０を定義する。
　図１０は、検証ルールの構造の一例を示す図である。図１０に示すように、検証ルール３１０には、一例として、「変数」と、「変数個別の抽出条件」と、「変数共通の抽出条件」と、「検証式」とが定義される。「変数共通の抽出条件」は、検証ルール３１０内の全ての「変数個別の抽出条件」で定義される「変数」の共通の抽出条件である。ここでは、「変数」は、ａ１、ａ２、ａ３に対応する。「変数個別の抽出条件」は、ｂ１、ｂ２、ｂ３に対応する。「変数共通の抽出条件」は、ｃ０に対応する。「検証式」は、ｄ０に対応する。
　「変数共通の抽出条件」ｃ０により、入力データ３００の全体から検証ルール３１０で検証されるＸＢＲＬデータが絞り込まれる。さらに、「変数」ａ１では、「変数個別の抽出条件」ｂ１によりＸＢＲＬデータが絞り込まれ、「変数」ａ１に絞り込まれたＸＢＲＬデータが割り当てられる。「変数」ａ２では、同様に「変数個別の抽出条件」ｂ２によりＸＢＲＬデータが絞り込まれ、「変数」ａ２に絞り込まれたＸＢＲＬデータが割り当てられる。「変数」ａ３では、同様に「変数個別の抽出条件」ｂ３によりＸＢＲＬデータが絞り込まれ、「変数」ａ３に絞り込まれたＸＢＲＬデータが割り当てられる。そして、割り当てられたＸＢＲＬデータの組み合わせ毎に、「検証式」ｄ０が検証される。図１０の例では、「変数共通の抽出条件」ｃ０における１つ目の条件指定であるプロパティの項目名は、Ｄｉｍｅｎｓｉｏｎで定義されるプロパティである「ｄｉｍ：ＣＳ」であり、その項目値は、「ｍ：ｘ２６」である。２つ目の条件指定であるプロパティの項目名は、Ｄｉｍｅｎｓｉｏｎで定義されるプロパティである「ｄｉｍ：ＶＳ」であり、その項目値は、「ｍ：ｘ８０」である。３つ目の条件指定であるプロパティの項目名は、Ｄｉｍｅｎｓｉｏｎで定義されるプロパティである「ｄｉｍ：Ｄ０」であり、その項目値は、「ｍ：ｘ０」である。
　図９に示すように、検証装置２００は、制御部２１０および記憶部２２０を有する。
　記憶部２２０は、例えばフラッシュメモリ（Flash　Memory）やＦＲＡＭ（登録商標）（Ferroelectric　Random　Access　Memory）等の不揮発性の半導体メモリ素子等の記憶装置に対応する。記憶部２２０は、インデックス情報１２２およびコンテキスト位置情報１２３を有する。
　インデックス情報１２２は、入力データ３００に含まれるプロパティの項目名およびプロパティ値それぞれについて、プロパティの項目名およびプロパティ値それぞれの出現位置を表す情報である。すなわち、インデックス情報１２２とは、入力データ３００に含まれるプロパティの項目名およびプロパティ値について、それぞれ、オフセット（出現位置）ごとの存否をインデックス化したビットマップのことをいう。なお、インデックス情報１２２は、インデックス生成装置１００によって生成される情報であり、例えば、ネットワークを介して取得され、記憶部２２０に記憶される。
　コンテキスト位置情報１２３は、コンテキスト（Ｃｏｎｔｅｘｔ）に関連付けられるＸＢＲＬデータの情報である。なお、コンテキスト位置情報１２３は、インデックス生成装置１００によって生成される情報であり、例えば、ネットワークを介して取得され、記憶部２２０に記憶される。
　制御部２１０は、各種の処理手順を規定したプログラムや制御データを格納するための内部メモリを有し、これらによって種々の処理を実行する。そして、制御部２１０は、例えば、ＡＳＩＣ（Application　Specific　Integrated　Circuit）やＦＰＧＡ（Field　Programmable　Gate　Array）等の集積回路の電子回路に対応する。または、制御部２１０は、ＣＰＵ（Central　Processing　Unit）やＭＰＵ（Micro　Processing　Unit）等の電子回路に対応する。制御部２１０は、抽出条件変換部２１１、データ抽出部２１２および抽出結果出力部２１３を有する。なお、抽出条件変換部２１１は、変換部の一例である。データ抽出部２１２は、検証部の一例である。
　抽出条件変換部２１１は、検証ルール３１０を入力し、入力した検証ルール３１０をプロパティの項目名およびプロパティの項目値により規定される変換抽出条件に変換する。例えば、抽出条件変換部２１１は、検証ルール３１０の「変数共通の抽出条件」を解釈し、プロパティの項目およびプロパティの項目値を抽出する。抽出条件変換部２１１は、抽出した結果、１組のプロパティの項目およびプロパティの項目値を１個の抽出条件として、１個または複数個の抽出条件から変換抽出条件を生成する。
　データ抽出部２１２は、インデックス情報１２２を参照し、抽出条件変換部２１１によって検証ルール３１０から変換された変換抽出条件に対応するＸＢＲＬデータを抽出する。
　例えば、データ抽出部２１２は、変換抽出条件から１個の抽出条件を選択する。データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。また、データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するビットマップをインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。そして、データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。
　抽出条件が１個である場合には、データ抽出部２１２は、ＡＮＤ結果のビットマップについて、各コンテキストに対応するビット区間に「１」が設定されたビット区間を検出する。データ抽出部２１２は、検出したビット区間に対応するコンテキストを検出する。そして、データ抽出部２１２は、コンテキスト位置情報１２３を参照し、検出したコンテキストに関連付けられるＸＢＲＬデータを絞り込む。
　抽出条件が複数個である場合には、データ抽出部２１２は、それぞれの抽出条件に対して、ＡＮＤ結果を算出する。データ抽出部２１２は、複数の抽出条件に対するそれぞれのＡＮＤ結果をＯＲ演算する。データ抽出部２１２は、ＯＲ結果を参照し、変換抽出条件に含まれる複数の抽出条件を結合するために用いられる論理演算子に応じて該当するコンテキストを検出する。一例として、複数の抽出条件を結合する論理演算子がＡＮＤである場合には、データ抽出部２１２は、ＯＲ結果のビットマップについて、各コンテキストに対応するビット区間に「１」が抽出条件の数分設定されたビット区間を検出する。そして、データ抽出部２１２は、抽出したビット区間に対応するコンテキストを検出する。複数の抽出条件を結合する論理演算子がＯＲである場合には、データ抽出部２１２は、ＯＲ結果のビットマップについて、各コンテキストに対応するビット区間に「１」が１つ以上設定されたビット区間を検出する。そして、データ抽出部２１２は、抽出したビット区間に対応するコンテキストを検出する。そして、データ検出部２１２は、コンテキスト位置情報１２３を参照し、検出したコンテキストに関連付けられるＸＢＲＬデータを絞り込む。
　抽出結果出力部２１３は、データ抽出部２１２によって抽出されたＸＢＲＬデータを出力する。この後、検証装置２００は、出力されたＸＢＲＬデータを用いて、検証ルール３１０の検証式ｄ０を検証する。
［抽出条件変換処理の一例］
　ここで、抽出条件変換処理の一例を、図１１を参照して説明する。図１１は、実施例１に係る抽出条件変換処理の一例を示す図である。
　図１１に示すように、検証ルール３１０の「変数共通の抽出条件」には、３種のプロパティの条件が含まれる。すなわち、「変数共通の抽出条件」には、対象のＸＢＲＬデータが満たすべき３種のプロパティの条件が含まれる。
　抽出条件変換部２１１は、このような検証ルール３１０の「変数共通の抽出条件」を解釈し、プロパティの項目名およびプロパティの項目値をプロパティの条件（抽出条件）として抽出する。ここでは、プロパティの項目名として「ｄｉｍ：Ａ１」、プロパティの項目値として「ｍ：ｍ１」が抽出され、［ｄｉｍ：Ａ１、ｍ：ｍ１］が１つの抽出条件となる。プロパティの項目名として「ｄｉｍ：Ｂ１」、プロパティの項目値として「ｍ：ｍ２」が抽出され、［ｄｉｍ：Ｂ１、ｍ：ｍ２］が１つの抽出条件となる。プロパティの項目名として「ｄｉｍ：Ｃ１」、プロパティの項目値として「ｍ：ｍ３」が抽出され、［ｄｉｍ：Ｃ１、ｍ：ｍ３］が１つの抽出条件となる。
　抽出条件変換部２１１は、複数の抽出条件から変換抽出条件を生成する。ここでは、ＳＱＬ文で示されるコマンドを用いて変換抽出条件が生成されている。すなわち、変換抽出条件は、「（ｄｉｍ：Ａ１＝ｍ：ｍ１）　ａｎｄ　（ｄｉｍ：Ｂ１＝ｍ：ｍ２）　ａｎｄ　（ｄｉｍ：Ｃ１＝ｍ：ｍ３）」であり、抽出条件を結合する論理識別子がＡＮＤの場合である。
［データ抽出処理の一例］
　ここで、データ抽出処理の一例を、図１２を参照して説明する。図１２は、実施例１に係るデータ抽出処理の一例を示す図である。なお、図１２で示すデータ抽出処理は、１個のプロパティを持つＸＢＲＬデータを抽出する場合である。ここでは、変換抽出条件は、「ｄｉｍ：Ａ１＝ｍ：ｍ１」であるとする。
　データ抽出部２１２は、変換抽出条件から１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ａ１＝ｍ：ｍ１」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ａ１」に対応するビットマップを抽出する（ｓ１）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ１」に対応するビットマップを抽出し、１ビットだけ左シフトする（ｓ２）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ａ１」に対応するビットマップと「ｍ：ｍ１」に対応するシフトしたビットマップとをＡＮＤ演算する（ｓ３）。
　抽出条件が１個である場合であるので、データ抽出部２１２は、ＡＮＤ結果のビットマップについて、各コンテキストに対応するビット区間に「１」が設定されたビット区間を検出し、検出したビット区間に対応するコンテキストを検出する（ｓ４）。ここでは、コンテキスト１およびコンテキスト１０が検出される。
　データ抽出部２１２は、コンテキスト位置情報１２３を参照し、検出したコンテキストを含むＸＢＲＬデータを絞り込む（ｓ５）。ここでは、コンテキスト位置情報１２３が図５に示される内容であるとすると、コンテキスト１は、データ３とデータ１０に関連付けられる。コンテキスト１０は、データ１３に関連付けられる。したがって、データ３、データ１０およびデータ１３がＸＢＲＬデータとして絞り込まれる。
［データ抽出処理の別の例］
　ここで、データ抽出処理の別の例を、図１３を参照して説明する。図１３は、実施例１に係るデータ抽出処理の別の例を示す図である。なお、図１３で示すデータ抽出処理は、複数のプロパティのいずれも持つＸＢＲＬデータを抽出する場合である。ここでは、変換抽出条件は、「（ｄｉｍ：Ａ１＝ｍ：ｍ１）　ａｎｄ　（ｄｉｍ：Ｂ１＝ｍ：ｍ２）　ａｎｄ　（ｄｉｍ：Ｃ１＝ｍ：ｍ３）」であるとする。
　データ抽出部２１２は、変換抽出条件から１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ａ１＝ｍ：ｍ１」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ａ１」に対応するビットマップを抽出する（ｓ１０）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ１」に対応するビットマップを抽出し、１ビットだけ左シフトする（ｓ１１）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ａ１」に対応するビットマップと「ｍ：ｍ１」に対応するシフトしたビットマップとをＡＮＤ演算する（ｓ１２）。
　データ抽出部２１２は、変換抽出条件から次の１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ｂ１＝ｍ：ｍ２」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ｂ１」に対応するビットマップを抽出する（ｓ１３）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ２」に対応するビットマップを抽出し、１ビットだけ左シフトする（ｓ１４）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ｂ１」に対応するビットマップと「ｍ：ｍ２」に対応するシフトしたビットマップとをＡＮＤ演算する（ｓ１５）。
　データ抽出部２１２は、変換抽出条件から次の１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ｃ１＝ｍ：ｍ３」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ｃ１」に対応するビットマップを抽出する（ｓ１６）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ３」に対応するビットマップを抽出し、１ビットだけ左シフトする（ｓ１７）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ｃ１」に対応するビットマップと「ｍ：ｍ３」に対応するシフトしたビットマップとをＡＮＤ演算する（ｓ１８）。
　抽出条件が複数個である場合であるので、データ抽出部２１２は、複数の抽出条件に対するそれぞれのＡＮＤ結果をＯＲ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ａ１」のプロパティのＡＮＤ結果、「ｄｉｍ：Ｂ１」のプロパティのＡＮＤ結果および「ｄｉｍ：Ｃ１」のプロパティのＡＮＤ結果をＯＲ演算する（ｓ１９）。
　抽出条件を結合する論理識別子はＡＮＤの場合であるので、データ抽出部２１２は、以下の処理を行う。すなわち、データ抽出部２１２は、ＯＲ結果のビットマップについて、各コンテキストに対応するビット区間に「１」が抽出条件の数分設定されたビット区間を検出し、検出したビット区間に対応するコンテキストを検出する。ここでは、抽出条件の数は３であるので、抽出条件の数分「１」が設定されたビット区間であるコンテキスト１が検出される（ｓ２０）。
　この後、データ抽出部２１２は、コンテキスト位置情報１２３を参照し、検出したコンテキストに関連付けられるＸＢＲＬデータを絞り込む。
［データ抽出処理のさらに別の例］
　ここで、データ抽出処理のさらに別の例を、図１４を参照して説明する。図１４は、実施例１に係るデータ抽出処理のさらに別の例を示す図である。なお、図１４で示すデータ抽出処理は、複数のプロパティのうちいずれかを持つＸＢＲＬデータを抽出する場合である。ここでは、変換抽出条件は、「（ｄｉｍ：Ｂ１＝ｍ：ｍ１）　ｏｒ　（ｄｉｍ：Ｂ１＝ｍ：ｍ２）　ｏｒ　（ｄｉｍ：Ｂ１＝ｍ：ｍ３）」であるとする。
　データ抽出部２１２は、変換抽出条件から１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ｂ１＝ｍ：ｍ１」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ｂ１」に対応するビットマップを抽出する（ｓ３０）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ１」に対応するビットマップを抽出し、１ビットだけ左シフトする（ｓ３１）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ｂ１」に対応するビットマップと「ｍ：ｍ１」に対応するシフトしたビットマップとをＡＮＤ演算する（ｓ３２）。
　データ抽出部２１２は、変換抽出条件から次の１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ｂ１＝ｍ：ｍ２」が選択される。
　データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ｂ１」に対応するビットマップを既に抽出したので（ｓ３０）、この処理を省略する。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ２」に対応するビットマップを抽出し、１ビットだけ左シフトする（ｓ３３）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ｂ１」に対応するビットマップと「ｍ：ｍ２」に対応するシフトしたビットマップとをＡＮＤ演算する（ｓ３４）。
　データ抽出部２１２は、変換抽出条件から次の１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ｂ１＝ｍ：ｍ３」が選択される。
　データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ｂ１」に対応するビットマップを既に抽出したので（ｓ３０）、この処理を省略する。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出し、抽出したビットマップを１ビットだけ左シフトする。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ３」に対応するビットマップを抽出し、１ビットだけ左シフトする（ｓ３５）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するシフトした結果のビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ｂ１」に対応するビットマップと「ｍ：ｍ３」に対応するシフトしたビットマップとをＡＮＤ演算する（ｓ３６）。
　抽出条件が複数個である場合であるので、データ抽出部２１２は、複数の抽出条件に対するそれぞれのＡＮＤ結果をＯＲ演算する。ここでは、データ抽出部２１２は、３個の「ｄｉｍ：Ｂ１」のプロパティのＡＮＤ結果をＯＲ演算する（ｓ３７）。
　抽出条件を結合する論理識別子がＯＲの場合であるので、データ抽出部２１２は、以下の処理を行う。すなわち、データ抽出部２１２は、ＯＲ結果のビットマップについて、各コンテキストに対応するビット区間に「１」が１つ以上設定されたビット区間を検出し、検出したビット区間に対応するコンテキストを検出する。ここでは、「１」が１つ以上設定されたビット区間であるコンテキスト１、コンテキスト１００が検出される（ｓ３８）。
　この後、データ抽出部２１２は、コンテキスト位置情報１２３を参照し、検出したコンテキストに関連付けられるＸＢＲＬデータを絞り込む。
［検証処理のフローチャート］
　図１５は、実施例１に係る検証処理のフローチャートを示す図である。なお、図１５では、ＸＢＲＬデータを「データ」というものとする。
　図１５に示すように、抽出条件変換部２１１は、検証ルール３１０を受け取ったか否かを判定する（ステップＳ２１）。検証ルール３１０を受け取っていないと判定した場合には（ステップＳ２１；Ｎｏ）、抽出条件変換部２１１は、検証ルール３１０を受け取るまで、判定処理を繰り返す。
　一方、検証ルール３１０を受け取ったと判定した場合には（ステップＳ２１；Ｙｅｓ）、抽出条件変換部２１１は、検証ルール３１０を１個又は複数の抽出条件を含む変換抽出条件に変換する（ステップＳ２２）。例えば、抽出条件変換部２１１は、検証ルール３１０の「変数共通の抽出条件」を解釈し、プロパティの項目名およびプロパティの項目値を抽出する。抽出条件変換部２１１は、抽出した結果、１組のプロパティの項目名およびプロパティの項目値を１個の抽出条件として、１個または複数個の抽出条件から変換抽出条件を生成する。
　続いて、データ抽出部２１２は、変換抽出条件から１個の抽出条件を選択する（ステップＳ２３）。そして、データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名とプロパティの項目値に対応するそれぞれのインデックスを抽出する（ステップＳ２４）。
　データ抽出部２１２は、プロパティの項目値に対するインデックスを１ビットだけ左シフトする（ステップＳ２５）。そして、データ抽出部２１２は、プロパティの項目名に対するインデックスとプロパティの項目値に対するインデックスとをＡＮＤ演算する（ステップＳ２６）。
　そして、データ抽出部２１２は、変換抽出条件に、未処理の抽出条件が存在するか否かを判定する（ステップＳ２７）。未処理の抽出条件が存在すると判定した場合には（ステップＳ２７；Ｙｅｓ）、データ抽出部２１２は、次の抽出条件を選択すべく、ステップＳ２３に移行する。
　一方、未処理の抽出条件が存在しないと判定した場合には（ステップＳ２７；Ｎｏ）、データ抽出部２１２は、変換抽出条件に含まれる抽出条件の数が複数であるか否かを判定する（ステップＳ２８）。抽出条件の数が複数でないと判定した場合には（ステップＳ２８；Ｎｏ）、データ抽出部２１２は、ステップＳ３０に移行する。
　一方、抽出条件の数が複数であると判定した場合には（ステップＳ２８；Ｙｅｓ）、データ抽出部２１２は、プロパティごとにＡＮＤ演算した複数のＡＮＤ結果をＯＲ演算する（ステップＳ２９）。そして、データ抽出部２１２は、ステップＳ３０に移行する。
　ステップＳ３０において、データ抽出部２１２は、演算結果に基づいて、変換抽出条件に合致するコンテキストを検出する（ステップＳ３０）。例えば、データ抽出部２１２は、抽出条件が１個である場合には、ＡＮＤ結果のインデックスについて、各コンテキストに対応するビット区間に「１」が設定されたビット区間を検出し、検出したビット区間に対応するコンテキストを検出する。データ抽出部２１２は、抽出条件が複数個である場合には、ＯＲ結果のインデックスについて、変換抽出条件に含まれる複数の抽出条件を結合するために用いられる論理演算子に応じて該当するコンテキストを検出する。
　そして、データ抽出部２１２は、コンテキスト位置情報１２３を用いて、検出したコンテキストに関連付けられるデータを抽出する（ステップＳ３１）。この後、検証装置２００は、抽出されたデータを用いて、検証ルール３１０の検証式ｄ０を検証する。そして、データ抽出部２１２は、検証処理を終了する。
［実施例１の効果］
　上記実施例１によれば、検証装置２００は、入力された検証ルール３１０を、項目および値により規定される変換抽出条件に変換する。検証装置２００は、入力データ３００より生成された、入力データ３００に含まれる項目および値それぞれについての出現位置に関するインデックス情報１２２を参照し、変換抽出条件に対応する項目および値の検証を行う。かかる構成によれば、検証装置２００は、項目および値それぞれについての出現位置に関するインデックス情報１２２を用いることで項目および値による複数の条件でデータを抽出することが可能となる。この結果、検証装置２００は、項目および値による複数の条件であっても、データの抽出に関する演算量を抑制し、高速にデータを抽出することが可能となる。
　また、上記実施例１によれば、検証装置２００は、インデックス情報１２２を参照し、変換抽出条件に含まれる項目および値に対応するそれぞれのインデックスを取得する。検証装置２００は、取得した値に対応するインデックスを１ビット分左シフトする。検証装置２００は、項目に対応するインデックスと値に対応するシフトした結果のインデックスとの論理演算により、変換抽出条件に対応する項目および値の検証を行う。かかる構成によれば、検証装置２００は、インデックス情報１２２について論理演算を用いることで、項目および値による変換抽出条件に合致するデータを抽出することができる。
　また、上記実施例１によれば、検証装置２００は、変換抽出条件に項目および値の組が複数存在する場合には、各組に含まれる項目に対応するインデックスと同一の組に含まれる値に対応するシフトした結果のインデックスとをＡＮＤ演算する。検証装置２００は、各組のＡＮＤ演算結果をＯＲ演算する。検証装置２００は、ＯＲ演算結果を用いて変換抽出条件に対応する項目および値の検証を行う。かかる構成によれば、検証装置２００は、インデックス情報１２２について論理演算を用いることで、項目および値による複数の条件に合致するデータを抽出することができる。
　また、上記実施例１によれば、インデックス生成装置１００は、項目および値の組み合わせにより記述された入力データ３００を入力する。インデックス生成装置１００は、入力データ３００に含まれる項目および値それぞれについて、項目および値それぞれの出現位置に関するインデックス情報１２２を生成する。かかる構成によれば、インデックス生成装置１００は、入力データ３００に含まれる項目および値それぞれについてインデックス情報１２２を生成することで、効率的なインデックス情報１２２を生成することができる。また、インデックス生成装置１００は、入力データ３００に含まれる項目および値の組み合わせでなく、項目および値それぞれについてインデックス情報１２２を生成することで、インデックスのサイズ爆発を抑制できる。また、インデックス生成装置１００は、項目および値それぞれの出現位置に関するインデックスを生成することで、仮に入力データ３００に新たな値が有ったとしても、インデックス情報１２２の値の領域に１行追加するだけで、同様に、インデックス情報１２２を生成することができる。インデックス生成装置１００は、項目名および値それぞれの出現位置に関するインデックスを生成することで、仮に入力データ３００に新たな項目名が有ったとしても、インデックス情報１２２の項目の領域に１行追加するだけで、同様に、インデックス情報１２２を生成することができる。
　ところで、実施例１に係るインデックス生成装置１００は、入力データ３００に含まれる項目および値それぞれの出現位置に関するインデックス情報１２２を生成すると説明した。しかしながら、インデックス生成装置１００は、これに限定されず、入力データ３００に含まれる項目および値の組について、同一の組の値を項目と同じ出現位置とする、出現位置に関するインデックス情報を生成しても良い。
　そこで、実施例２では、インデックス生成装置１００が、入力データ３００に含まれる項目および値の組について、同一の組の値を項目と同じ出現位置とする、出現位置に関するインデックス情報を生成する場合を説明する。
　ここで、実施例２に係るインデックス情報１２２Ａの一例を、図１６を参照して説明する。図１６は、実施例２に係るインデックス情報の一例を示す図である。図１６に示すように、インデックス情報１２２ＡのＸ軸はコンテキストごとの出現位置を表し、Ｙ軸はプロパティ名とプロパティ値とを表す。また、インデックス情報１２２Ａは、プロパティ名のインデックス情報の領域と、プロパティ値のインデックス情報の領域を有する。プロパティ名のインデックス情報は、それぞれのプロパティの項目名について、コンテキスト（Ｃｏｎｔｅｘｔ）内の出現位置に関するインデックスの束の情報である。また、プロパティ値のインデックス情報は、それぞれのプロパティの項目値について、コンテキスト（Ｃｏｎｔｅｘｔ）内の出現位置に関するインデックスの束の情報である。プロパティの項目値についての出現位置は、当該プロパティの項目値と同一の組のプロパティの項目名と同じとする。各プロパティ名および各プロパティ値について、コンテキスト内に出現する出現位置には、ＯＮすなわち２進数の「１」が設定される。一例として、プロパティ名として「ｄｉｍ：Ａ１」、プロパティ値として「ｍ：ｍ１」が同一の組であるとする。このプロパティ名の出現位置がＣｏｎｔｅｘｔ１内の２番目である場合に、Ｃｏｎｔｅｘｔ１内の２番目に「１」が設定される。このプロパティ値の出現位置は、同じ組のプロパティ名と同じ出現位置であるＣｏｎｔｅｘｔ１内の２番目に「１」が設定される。
［インデックス生成処理の一例］
　ここで、インデックス生成処理の一例を、図１７を参照して説明する。図１７は、実施例２に係るインデックス生成処理の一例を示す図である。なお、図１７では、コンテキスト選択部１１１が、コンテキストとして「Ｃｏｎｔｅｘｔ１」を選択した場合について説明する。
　すると、コンテキスト解析部１１２は、コンテキストとして選択された「Ｃｏｎｔｅｘｔ１」を字句解析する。一例として、コンテキスト解析部１１２は、特定の要素（xbrldi:explicitMember）の行に含まれるプロパティの項目名およびプロパティの項目値の組を検知する。ここでは、符号ｒ１で示される行には、プロパティの項目名として「ｄｉｍ：Ｂ１」、プロパティの項目値として「ｍ：ｍ２」の組が検知される。また、符号ｒ２で示される行には、プロパティの項目名として「ｄｉｍ：Ａ１」、プロパティの項目値として「ｍ：ｍ１」の組が検知される。符号ｒ３で示される行には、プロパティの項目名として「ｄｉｍ：Ｃ１」、プロパティの項目値として「ｍ：ｍ３」の組が検知される。
　そして、コンテキスト解析部１１２は、プロパティの項目名およびプロパティの項目値の組を出現順に一時領域に保持する。プロパティの項目値についての出現位置は、当該プロパティの項目値と同一の組のプロパティの項目名と同じとする。ここでは、コンテキスト解析部１１２は、符号ｒ１で示される行で検知した組の出現順に応じて、１番目の一時領域に「ｄｉｍ：Ｂ１」および「ｍ：ｍ２」を保持する。コンテキスト解析部１１２は、符号ｒ２で示される行で検知した組の出現順に応じて、２番目の一時領域に「ｄｉｍ：Ａ１」および「ｍ：ｍ１」を保持する。コンテキスト解析部１１２は、符号ｒ３で示される行で検知した組の出現順に応じて、３番目の一時領域に「ｄｉｍ：Ｃ１」および「ｍ：ｍ３」を保持する。
　そして、インデックス情報生成部１１３は、「Ｃｏｎｔｅｘｔ１」について、一時領域に保持された組に含まれるプロパティの項目名に対して、当該プロパティの項目名の出現位置にビットを立てる。インデックス情報生成部１１３は、「Ｃｏｎｔｅｘｔ１」について、一時領域に保持された組に含まれるプロパティの項目値に対して、当該プロパティの項目値の出現位置にビットを立てる。ここでは、インデックス情報生成部１１３は、プロパティの項目名「ｄｉｍ：Ｂ１」に対して、１番目の出現位置にビット「１」を設定する（ｅ１’）。インデックス情報生成部１１３は、プロパティの項目値「ｍ：ｍ２」に対して、１番目の出現位置にビット「１」を設定する（ｅ２’）。インデックス情報生成部１１３は、プロパティの項目名「ｄｉｍ：Ａ１」に対して、２番目の出現位置にビット「１」を設定する（ｅ３’）。インデックス情報生成部１１３は、プロパティの項目値「ｍ：ｍ１」に対して、２番目の出現位置にビット「１」を設定する（ｅ４’）。インデックス情報生成部１１３は、プロパティの項目名「ｄｉｍ：Ｃ１」に対して、３番目の出現位置にビット「１」を設定する（ｅ５’）。インデックス情報生成部１１３は、プロパティの項目値「ｍ：ｍ３」に対して、３番目の出現位置にビット「１」を設定する（ｅ６’）。
［データ抽出処理の一例］
　ここで、データ抽出処理の一例を、図１８を参照して説明する。図１８は、実施例２に係るデータ抽出処理の一例を示す図である。なお、図１８で示すデータ抽出処理は、複数のプロパティのいずれも持つＸＢＲＬデータを抽出する場合である。ここでは、変換抽出条件は、「（ｄｉｍ：Ａ１＝ｍ：ｍ１）　ａｎｄ　（ｄｉｍ：Ｂ１＝ｍ：ｍ２）　ａｎｄ　（ｄｉｍ：Ｃ１＝ｍ：ｍ３）」であるとする。
　データ抽出部２１２は、変換抽出条件から１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ａ１＝ｍ：ｍ１」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ａ１」に対応するビットマップを抽出する（ｓ４０）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ１」に対応するビットマップを抽出する（ｓ４１）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ａ１」に対応するビットマップと「ｍ：ｍ１」に対応するビットマップとをＡＮＤ演算する（ｓ４２）。
　データ抽出部２１２は、変換抽出条件から次の１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ｂ１＝ｍ：ｍ２」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ｂ１」に対応するビットマップを抽出する（ｓ４３）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ２」に対応するビットマップを抽出する（ｓ４４）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ｂ１」に対応するビットマップと「ｍ：ｍ２」に対応するビットマップとをＡＮＤ演算する（ｓ４５）。
　データ抽出部２１２は、変換抽出条件から次の１個の抽出条件を選択する。ここでは、抽出条件として「ｄｉｍ：Ｃ１＝ｍ：ｍ３」が選択される。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目名に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目名「ｄｉｍ：Ｃ１」に対応するビットマップを抽出する（ｓ４６）。
　データ抽出部２１２は、選択した抽出条件に含まれるプロパティの項目値に対応するインデックス（ビットマップ）をインデックス情報１２２から抽出する。ここでは、データ抽出部２１２は、プロパティの項目値「ｍ：ｍ３」に対応するビットマップを抽出する（ｓ４７）。
　データ抽出部２１２は、プロパティの項目名に対応するビットマップと、プロパティの項目値に対応するビットマップとをＡＮＤ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ｃ１」に対応するビットマップと「ｍ：ｍ３」に対応するビットマップとをＡＮＤ演算する（ｓ４８）。
　抽出条件が複数個である場合であるので、データ抽出部２１２は、複数の抽出条件に対するそれぞれのＡＮＤ結果をＯＲ演算する。ここでは、データ抽出部２１２は、「ｄｉｍ：Ａ１」のプロパティのＡＮＤ結果、「ｄｉｍ：Ｂ１」のプロパティのＡＮＤ結果および「ｄｉｍ：Ｃ１」のプロパティのＡＮＤ結果をＯＲ演算する（ｓ４９）。
　抽出条件を結合する論理識別子がＡＮＤの場合であるので、データ抽出部２１２は、以下の処理を行う。すなわち、データ抽出部２１２は、ＯＲ結果のビットマップについて、各コンテキストに対応するビット区間に「１」が抽出条件の数分設定されたビット区間を検出し、検出したビット区間に対応するコンテキストを検出する。ここでは、抽出条件の数は３であるので、抽出条件の数分「１」が設定されたビット区間であるコンテキスト１が検出される（ｓ５０）。
　この後、データ抽出部２１２は、コンテキスト位置情報１２３を参照し、検出したコンテキストに関連付けられるＸＢＲＬデータを絞り込む。
［実施例２の効果］
　上記実施例２によれば、検証装置２００は、出現位置に関するインデックス情報１２２Ａを参照し、変換抽出条件に含まれる項目および値に対応するそれぞれのインデックスを取得する。検証装置２００は、取得した項目に対応するインデックスと取得した値に対応するインデックスとの論理演算により、変換抽出条件に対応する項目および値の検証を行う。インデックス情報１２２Ａは、入力データ３００に含まれる項目および値の組について、同一の組の値を項目と同じ出現位置とするインデックス情報である。かかる構成によれば、検証装置２００は、項目および値それぞれについての出現位置に関するインデックス情報１２２Ａを用いて項目および値による複数の条件でデータを抽出することが可能となる。
　また、上記実施例２によれば、インデックス生成装置１００は、入力データ３００に含まれる項目および値の組について、同一の組の値を項目と同じ出現位置とする、出現位置に関するインデックス情報１２２Ａを生成する。かかる構成によれば、インデックス生成装置１００は、インデックス情報１２２Ａを生成する際に、項目および値の組について、同一の組の値を項目と同じ出現位置とすることで、インデックスのサイズ爆発をさらに抑制することができる。
［その他］
　なお、実施例では、インデックス生成処理をインデックス生成装置１００により実現し、検証処理を検証装置２００により実現すると説明した。しかしながら、１つの情報処理装置が、インデックス生成処理および検証処理を実現しても良い。
　また、図示した装置の各構成要素は、必ずしも物理的に図示の如く構成されていることを要しない。すなわち、装置の分散・統合の具体的態様は図示のものに限られず、その全部または一部を、各種の負荷や使用状況などに応じて、任意の単位で機能的または物理的に分散・統合して構成することができる。例えば、インデックス情報生成部１１３を、プロパティ名およびプロパティ値をインデックス情報１２２に設定する設定部と、プロパティ名およびプロパティ値の出現位置に応じてインデックス情報１２２にビットを立てる生成部とに分離しても良い。また、データ抽出部２１２および抽出結果出力部２１３を併合しても良い。また、記憶部１２０をインデックス生成装置１００の外部装置としてネットワーク経由で接続するようにしても良い。記憶部２２０を検証装置２００の外部装置としてネットワーク経由で接続するようにしても良い。
　また、上記実施例で説明した各種の処理は、あらかじめ用意されたプログラムをパーソナルコンピュータやワークステーションなどのコンピュータで実行することによって実現することができる。そこで、以下では、図１に示したインデックス生成装置１００と同様の機能を実現するインデックス生成プログラムおよび図９に示した検証装置２００と同様の機能を実現する検証プログラムを実行するコンピュータの一例を説明する。図１９は、インデックス生成プログラムおよび検証プログラムを実行するコンピュータの一例を示す図である。
　図１９に示すように、コンピュータ５００は、各種演算処理を実行するＣＰＵ５０３と、ユーザからのデータの入力を受け付ける入力装置５１５と、表示装置５０９を制御する表示制御部５０７とを有する。また、コンピュータ５００は、記憶媒体からプログラムなどを読取るドライブ装置５１３と、ネットワークを介して他のコンピュータとの間でデータの授受を行う通信制御部５１７とを有する。また、コンピュータ５００は、各種情報を一時記憶するメモリ５０１と、ＨＤＤ５０５を有する。そして、メモリ５０１、ＣＰＵ５０３、ＨＤＤ５０５、表示制御部５０７、ドライブ装置５１３、入力装置５１５、通信制御部５１７は、バス５１９で接続されている。
　ドライブ装置５１３は、例えばリムーバブルディスク５１１用の装置である。ＨＤＤ２０５は、検証プログラム５０５ａ、インデックス生成プログラム５０５ｂおよび処理関連情報５０５ｃを記憶する。
　ＣＰＵ５０３は、検証プログラム５０５ａを読み出して、メモリ５０１に展開し、プロセスとして実行する。かかるプロセスは、検証装置２００の各機能部に対応する。ＣＰＵ５０３は、インデックス生成プログラム５０５ｂを読み出して、メモリ５０１に展開し、プロセスとして実行する。かかるプロセスは、インデックス生成装置１００の各機能部に対応する。処理関連情報５０５ｃは、プロパティ定義情報１２１、インデックス情報１２２およびコンテキスト位置情報１２３に対応する。そして、例えばリムーバブルディスク５１１が、検証プログラム５０５ａ、インデックス生成プログラム５０５ｂなどの各情報を記憶する。
　なお、検証プログラム５０５ａおよびインデックス生成プログラム５０５ｂについては、必ずしも最初からＨＤＤ５０５に記憶させておかなくても良い。例えば、コンピュータ５００に挿入されるフレキシブルディスク（ＦＤ）、ＣＤ－ＲＯＭ、ＤＶＤディスク、光磁気ディスク、ＩＣカード等の「可搬用の物理媒体」に当該プログラムを記憶させておく。そして、コンピュータ５００がこれらから検証プログラム５０５ａおよびインデックス生成プログラム５０５ｂを読み出して実行するようにしても良い。
　１００　インデックス生成装置
　１１１　コンテキスト選択部
　１１２　コンテキスト解析部
　１１３　インデックス情報生成部
　１２１　プロパティ定義情報
　１２２　インデックス情報
　１２３　コンテキスト位置情報
　２００　検証装置
　２１０　制御部
　２１１　抽出条件変換部
　２１２　データ抽出部
　２１３　抽出結果出力部
　２２０　記憶部
　３００　入力データ
　３１０　検証ルール

Claims (10)

  1. 　コンピュータに、
    　入力された検証条件を、項目および値により規定される変換検証条件に変換し、
    　対象データより生成された、前記対象データに含まれる項目および値それぞれについての出現位置に関するインデックス情報を参照し、前記変換検証条件に対応する項目および値の検証を行う
    　処理を実行させる検証プログラム。
  2. 　前記検証を行う処理は、前記インデックス情報を参照し、前記変換検証条件に含まれる項目および値に対応するそれぞれのインデックスを取得し、取得した前記値に対応するインデックスを１ビット分左シフトし、前記項目に対応するインデックスと前記値に対応するシフトした結果のインデックスとの論理演算により、前記変換検証条件に対応する項目および値の検証を行う
    　処理を実行させる請求項１に記載の検証プログラム。
  3. 　前記検証を行う処理は、前記変換検証条件に項目および値の組が複数存在する場合には、各組に含まれる項目に対応するインデックスと同一の組に含まれる値に対応するシフトした結果のインデックスとをＡＮＤ演算し、各組のＡＮＤ演算結果をＯＲ演算し、ＯＲ演算結果を用いて前記変換検証条件に対応する項目および値の検証を行う
    　処理を実行させる請求項２に記載の検証プログラム。
  4. 　前記インデックス情報は、前記対象データに含まれる項目および値の組について、同一の組の値を項目と同じ出現位置とする、出現位置に関するインデックス情報であり、
    　前記検証を行う処理は、前記インデックス情報を参照し、前記変換検証条件に含まれる項目および値に対応するそれぞれのインデックスを取得し、取得した前記項目に対応するインデックスと取得した前記値に対応するインデックスとの論理演算により、前記変換検証条件に対応する項目および値の検証を行う
    　処理を実行させる請求項１に記載の検証プログラム。
  5. 　入力された検証条件を、項目および値により規定される変換検証条件に変換する変換部と、
    　対象データより生成された、前記対象データに含まれる項目および値それぞれについての出現位置に関するインデックス情報を参照し、前記変換検証条件に対応する項目および値の検証を行う検証部と、
    　を有することを特徴とする検証装置。
  6. 　コンピュータが、
    　入力された検証条件を、項目および値により規定される変換検証条件に変換し、
    　対象データより生成された、前記対象データに含まれる項目および値それぞれについての出現位置に関するインデックス情報を参照し、前記変換検証条件に対応する項目および値の検証を行う
    　各処理を実行することを特徴とする検証方法。
  7. 　コンピュータに、
    　項目および値の組み合わせにより記述されたデータを入力し、
    　前記データに含まれる項目および値それぞれについて、前記項目および値それぞれの出現位置に関するインデックス情報を生成する
    　処理を実行させるインデックス生成プログラム。
  8. 　前記生成する処理は、前記データに含まれる項目および値の組について、同一の組の値を項目と同じ出現位置とする、出現位置に関するインデックス情報を生成する
    　処理を実行させる請求項７に記載のインデックス生成プログラム。
  9. 　項目および値の組み合わせにより記述されたデータを入力する入力部と、
    　前記データに含まれる項目および値それぞれについて、前記項目および値それぞれの出現位置に関するインデックス情報を生成する生成部と、
    　を有することを特徴とするインデックス生成装置。
  10. 　コンピュータが、
    　項目および値の組み合わせにより記述されたデータを入力し、
    　前記データに含まれる項目および値それぞれについて、前記項目および値それぞれの出現位置に関するインデックス情報を生成する
    　各処理を実行することを特徴とするインデックス生成方法。
PCT/JP2016/085228 2016-11-28 2016-11-28 検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法 Ceased WO2018096686A1 (ja)

Priority Applications (2)

Application Number Priority Date Filing Date Title
PCT/JP2016/085228 WO2018096686A1 (ja) 2016-11-28 2016-11-28 検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法
JP2018552379A JP6900956B2 (ja) 2016-11-28 2016-11-28 検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2016/085228 WO2018096686A1 (ja) 2016-11-28 2016-11-28 検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法

Publications (1)

Publication Number Publication Date
WO2018096686A1 true WO2018096686A1 (ja) 2018-05-31

Family

ID=62194963

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2016/085228 Ceased WO2018096686A1 (ja) 2016-11-28 2016-11-28 検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法

Country Status (2)

Country Link
JP (1) JP6900956B2 (ja)
WO (1) WO2018096686A1 (ja)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP3608800A4 (en) * 2017-04-06 2020-04-01 Fujitsu Limited INDEX GENERATION PROGRAM, INDEX GENERATING DEVICE, INDEX GENERATING METHOD, SEARCH PROGRAM, SEARCH DEVICE AND SEARCH METHOD
EP3979177A4 (en) * 2019-05-31 2022-06-15 Fujitsu Limited VERIFICATION METHOD, INFORMATION PROCESSING DEVICE AND VERIFICATION PROGRAM
RU2794162C1 (ru) * 2019-05-31 2023-04-12 Фудзицу Лимитед Способ верификации, устройство обработки информации и долговременный считываемый компьютером носитель хранения для хранения программы верификации

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2008090403A (ja) * 2006-09-29 2008-04-17 Just Syst Corp 文書検索装置、文書検索方法および文書検索プログラム
WO2009063925A1 (ja) * 2007-11-15 2009-05-22 Nec Corporation 文書管理・検索システムおよび文書の管理・検索方法
JP2014089646A (ja) * 2012-10-31 2014-05-15 Hitachi Solutions Ltd 電子データ処理装置、及び電子データ処理方法

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2009048351A (ja) * 2007-08-17 2009-03-05 Nippon Telegr & Teleph Corp <Ntt> 情報検索装置、情報検索方法および情報検索プログラム
US8909654B2 (en) * 2007-11-19 2014-12-09 Nippon Telegraph And Telephone Corporation Information search method, apparatus, program and computer readable recording medium

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2008090403A (ja) * 2006-09-29 2008-04-17 Just Syst Corp 文書検索装置、文書検索方法および文書検索プログラム
WO2009063925A1 (ja) * 2007-11-15 2009-05-22 Nec Corporation 文書管理・検索システムおよび文書の管理・検索方法
JP2014089646A (ja) * 2012-10-31 2014-05-15 Hitachi Solutions Ltd 電子データ処理装置、及び電子データ処理方法

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP3608800A4 (en) * 2017-04-06 2020-04-01 Fujitsu Limited INDEX GENERATION PROGRAM, INDEX GENERATING DEVICE, INDEX GENERATING METHOD, SEARCH PROGRAM, SEARCH DEVICE AND SEARCH METHOD
US11520765B2 (en) 2017-04-06 2022-12-06 Fujitsu Limited Computer-readable recording medium recording index generation program, information processing apparatus and search method
EP3979177A4 (en) * 2019-05-31 2022-06-15 Fujitsu Limited VERIFICATION METHOD, INFORMATION PROCESSING DEVICE AND VERIFICATION PROGRAM
RU2794162C1 (ru) * 2019-05-31 2023-04-12 Фудзицу Лимитед Способ верификации, устройство обработки информации и долговременный считываемый компьютером носитель хранения для хранения программы верификации
US12019614B2 (en) 2019-05-31 2024-06-25 Fujitsu Limited Verification method, information processing apparatus, and non-transitory computer-readable storage medium for storing verification program

Also Published As

Publication number Publication date
JPWO2018096686A1 (ja) 2019-08-08
JP6900956B2 (ja) 2021-07-14

Similar Documents

Publication Publication Date Title
AU2018253478B2 (en) Testing insecure computing environments using random data sets generated from characterizations of real data sets
JP6870421B2 (ja) 判定プログラム、判定装置および判定方法
CN108090198A (zh) 图数据库创建及数据加载方法、设备及介质
JP6331756B2 (ja) テストケース生成プログラム、テストケース生成方法、及びテストケース生成装置
JP6528841B2 (ja) 抽出プログラム、抽出装置および抽出方法
JP5780036B2 (ja) 抽出プログラム、抽出方法及び抽出装置
JP6900956B2 (ja) 検証プログラム、検証装置、検証方法、インデックス生成プログラム、インデックス生成装置およびインデックス生成方法
KR102367859B1 (ko) 특징 벡터를 이용하여 데이터를 분류하는 장치 및 방법
US11113314B2 (en) Similarity calculating device and method, and recording medium
JP6344185B2 (ja) 評価結果の出力プログラム、評価結果の出力方法および情報処理装置
US12019614B2 (en) Verification method, information processing apparatus, and non-transitory computer-readable storage medium for storing verification program
JP4558369B2 (ja) 情報抽出システム、情報抽出方法、コンピュータプログラム
US20190294637A1 (en) Similar data search device, similar data search method, and recording medium
JP2018136640A (ja) 検出方法、検出装置および検出プログラム
JP6802109B2 (ja) ソフトウェア仕様分析装置、及びソフトウェア仕様分析方法
JP2017156916A (ja) 類似文書検索装置
JP2016042263A (ja) 文書管理装置、文書管理プログラム及び文書管理方法
RU2794162C1 (ru) Способ верификации, устройство обработки информации и долговременный считываемый компьютером носитель хранения для хранения программы верификации
JP6631139B2 (ja) 検索制御プログラム、検索制御方法および検索サーバ装置
JP7687862B2 (ja) 計算機システム及びサイバーセキュリティ情報の評価方法
JP6354501B2 (ja) 比較プログラム、比較方法および情報処理装置
JP6623040B2 (ja) 突合処理装置及び突合処理方法並びに突合処理プログラム
CN115470379A (zh) 用户关系确定方法、装置、设备及介质
JP5367627B2 (ja) データ処理装置及びプログラム
Seiter et al. Extraction of a Relation for Vertical Refinement

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 16922290

Country of ref document: EP

Kind code of ref document: A1

ENP Entry into the national phase

Ref document number: 2018552379

Country of ref document: JP

Kind code of ref document: A

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 16922290

Country of ref document: EP

Kind code of ref document: A1