JP6900956B2 - Verification program, verification device, verification method, index generation program, index generation device and index generation method - Google Patents

Description

The present invention relates to a verification program and the like.

Financial information is reported in XBRL (eXtensible Business Reporting Language) documents around the world. XBRL is an XML-based language that is standardized so that information for various financial reports can be created, distributed, and used. The XBRL document is a document described in XML such as XBRL for financial accounting reporting, for example.

The extraction conditions for extracting the data described in XBRL are defined, for example, in the form of a combination of a plurality of individual conditions based on items (property names) and values.

A disclosure example of a method for extracting data described in XBRL will be described (see, for example, Patent Document 1). The extraction device acquires in advance the corresponding number of extraction data 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 corresponding number for each of the acquired plurality of individual conditions. Then, the extraction device applies the 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 if the order of the individual conditions to be applied is different, the amount of calculation may be large.
Further, in the disclosure in which the individual condition is a combination of the item and the value (see, for example, Patent Document 2), the position is indexed for the set of the item and the value, and a plurality of individual conditions are used by using the generated index information. It is also conceivable to extract the data with.

International Publication No. 2016/132550 Japanese Unexamined Patent Publication No. 2001-265773

By the way, when the corresponding data is extracted based on the XBRL schema, the amount of calculation may become a problem. For example, in the conventional method of referring to the XBRL schema and extracting the corresponding data from the beginning of the input data with the XBRL tag, the determination of the application order is not appropriate depending on the relationship of a plurality of individual conditions. For example, there is a case where the corresponding number of extracted data is large for each of a plurality of individual conditions. In such a case, it corresponds to the case where the determination of the application order based on the corresponding number is not appropriate, and the amount of calculation becomes large. Further, in order to determine the application order, it is necessary to perform an operation to acquire the corresponding number in advance.

On the other hand, in the case where the position is indexed for the set of the item and the value and the data is extracted under a plurality of individual conditions using the generated index information, a reference example of the index information is referred to with reference to FIG. explain.

FIG. 20 is a diagram showing a reference example of index information. As shown in FIG. 20, the index information 900 is a bit string for a set of a property name (item name) and a value, and is a bit string in which bits indicating the existence or nonexistence at each data position in the input data for the set are concatenated. The X-axis of the index information 900 represents the data position, and the Y-axis represents the property name and value set. If the property name and value do not exist at a certain data position in the input data, OFF, that is, the binary number "0" is set as the existence or nonexistence of the data position. When the property name and the value exist at a certain data position in the input data, ON, that is, the binary number "1" is set as the existence / nonexistence of the data position. Here, as an example, when the property name is "P1" and the value is "Val1", "1" is set as the existence / nonexistence of the data 1 and "0" is set as the existence / nonexistence of the data 100000.

However, since the number of combinations of items and values in the input data is very large, there is a problem that it is difficult to generate index information for the combinations of items and values. Further, there is a problem that it is difficult to extract data under a plurality of individual conditions by using index information for a combination of an item and a value.

In one aspect, when extracting the data described in XBRL, it is intended to extract the data under a plurality of conditions according to the item and the value by using the index information for the item and the value.

In the first plan, the verification conditions input to the computer are converted into conversion verification conditions defined by the items and values, and the appearance of each of the items and values included in the target data generated from the target data. Refer to the index information related to the position, and execute the process to verify the items and values corresponding to the conversion verification condition.

According to one aspect, when extracting the data described in XBRL, the data can be extracted under a plurality of conditions depending on the item and the value by using the index information for the item and the value.

FIG. 1 is a functional block diagram showing a configuration of an index generator according to the first embodiment. FIG. 2 is a diagram showing an example of XBRL data. FIG. 3 is a diagram showing an example of property definition information. FIG. 4 is a diagram showing an example of index information according to the first embodiment. FIG. 5 is a diagram showing an example of context position information according to the first embodiment. FIG. 6 is a diagram showing an example of the index generation process according to the first embodiment. FIG. 7 is a diagram showing a specific example of index information according to the first embodiment. FIG. 8 is a diagram showing a flowchart of the index generation process according to the first embodiment. FIG. 9 is a functional block diagram showing the configuration of the verification device according to the first embodiment. FIG. 10 is a diagram showing an example of the structure of the verification rule. FIG. 11 is a diagram showing an example of the extraction condition conversion process according to the first embodiment. FIG. 12 is a diagram showing an example of the data extraction process according to the first embodiment. FIG. 13 is a diagram showing another example of the data extraction process according to the first embodiment. FIG. 14 is a diagram showing still another example of the data extraction process according to the first embodiment. FIG. 15 is a diagram showing a flowchart of the verification process according to the first embodiment. FIG. 16 is a diagram showing an example of index information according to the second embodiment. FIG. 17 is a diagram showing an example of the index generation process according to the second embodiment. FIG. 18 is a diagram showing an example of the data extraction process according to the second embodiment. FIG. 19 is a diagram showing an example of the hardware configuration of the index generator and the verification device. FIG. 20 is a diagram showing a reference example of index information.

Hereinafter, examples of the verification program, the verification device, the verification method, the index generation program, the index generation device, and the index generation method disclosed in the present application will be described in detail with reference to the drawings. The present invention is not limited to this embodiment.

[Configuration of Index Generator According to Example 1]
FIG. 1 is a functional block diagram showing a configuration of an index generator according to the first embodiment. The index generation device 100 inputs the input data 300, and generates index information regarding the appearance position of each item and the value for each item and the value included in the input data 300. Using the generated index information, the verification device 200 described later extracts XBRL data that matches the extraction conditions obtained from the input verification rule 310 described later.

The "XBRL data" referred to here is data described in XBRL. XBRL is an XML-based language that is standardized so that information for various financial reports can be created, distributed, and used. Financial data is an example of XBRL data. The XBRL data consists of a data value and additional information that supplements the data value. Additional information may be referred to as an aspect. The additional information is information specified by another independent element associated with the element containing the data value, and is composed of the information of a plurality of properties in which the item name of the property and the item value of the property are a set. .. In the embodiment, the XBRL data may be simply referred to as data or may be referred to as a data value. Further, in the embodiment, the “context”, which is an element including additional information associated with the data value of the XBRL data, will be mainly described.

FIG. 2 is a diagram showing an example of XBRL data. As shown in FIG. 2, one XBRL data includes a data value and additional information that supplements the data value. A plurality of additional information is defined in the elements whose names are context and unit, but here, "context_1" and "JPY" are given as identifiers for distinguishing each of them. As additional information that supplements the data value, additional information corresponding to "context_1" and additional information corresponding to "JPY" are defined. Then, for example, in the additional information corresponding to "context_1", the property information having "dim: A1" as the property item name and "A: x1" as the property item value is defined. Property information is defined with "dim: B1" as the property item name and "B: x1" as the property item value. Property information is defined with "dim: C1" as the property item name and "C: x2" as the property item value.

As shown in FIG. 1, the index generation device 100 has a control unit 110 and a storage unit 120.

The storage unit 120 corresponds to a storage device such as a non-volatile semiconductor memory element such as a flash memory (Flash Memory) or an FRAM (registered trademark) (Ferroelectric Random Access Memory). The storage unit 120 has property definition information 121, index information 122, and context position information 123.

The property definition information 121 defines the item name of the property and the item value of the property. The item name of the property may be referred to as "property name". The item value of a property may be called a "property value".

Here, an example of the property definition information 121 will be described with reference to FIG. FIG. 3 is a diagram showing an example of property definition information. As shown in FIG. 3, the property definition information 121 includes a property type definition and a property value definition. The property type corresponds to the item of the property. The property value corresponds to the item value of the property. Each property type is associated with the corresponding property value as a value. The property definition information 121 defines property types and property values that may appear in the input data 300. For example, the additional information of XBRL includes a property type belonging to a category called "Dimension", which can be arbitrarily defined by the user in advance. Property items and property values when the property type is "Dimension" are defined. As an example, when the property item is "dim: A1", it is shown that the corresponding property values are "m: m1", "m: m2" ... "m: m8". ..

Returning to FIG. 1, the index information 122 is information indicating 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 existence / non-existence of each offset (appearance position) of the property item name and the property item value included in the input data 300 is indexed.

Here, an example of the index information 122 will be described with reference to FIG. FIG. 4 is a diagram showing an example of index information according to the first embodiment. As shown in FIG. 4, the X-axis of the index information 122 represents the appearance position for each context, and the Y-axis represents the property name and the property value. Further, the index information 122 has a property name index information area and a property value index information area. The index information of the property name is the information of a bundle of indexes regarding the appearance position in the context (Context) for the item name of each property. Further, the index information of the property value is information on a bundle of indexes related to the appearance position in the context (Context) for the item value of each property. For each property name and each property value, ON, that is, the binary number "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.

Returning to FIG. 1, the context position information 123 is the information of the XBRL data associated with the context.

Here, an example of the context position information 123 will be described with reference to FIG. FIG. 5 is a diagram showing an example of context position information according to the first embodiment. As shown in FIG. 5, the context position information 123 is information for associating XBRL data associated with each context for each context. Each XBRL data referred to here corresponds to each data value shown in FIG. As an example, when the context is "Extend1", "data 3, data 10, data 18" are set as XBRL data to which this context is associated. That is, "Context 1" is associated with "Data 3". "Context 1" is associated with "Data 10". "Conext1" is associated with "Data 18".

Returning to FIG. 1, the control unit 110 has an internal memory for storing programs and control data that define various processing procedures, and executes various processing by these. The control unit 110 corresponds to, for example, an electronic circuit of an integrated circuit such as an ASIC (Application Specific Integrated Circuit) or an FPGA (Field Programmable Gate Array). Alternatively, the control unit 110 corresponds to an electronic circuit such as a CPU (Central Processing Unit) or an MPU (Micro Processing Unit). 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 context included in the XBRL data file from the XBRL data file included in the input input data 300.

The context analysis unit 112 analyzes the context selected by the context selection unit 111. For example, the context analysis unit 112 lexically analyzes the context selected by the context selection unit 111. As a result of the lexical analysis, the context analysis unit 112 holds the set of the item name of the property and the item value of the property in the temporary area in the order of appearance.

The index information generation unit 113 generates index information 122 regarding 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. For example, the index information generation unit 113 performs the following generation processing for each set 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 at the appearance position of the item name of the property with respect to 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 item value of the property with respect to the item value of the property included in each set. The index information generation unit 113 sets the selected context and the target XBRL data in the context position information 123 in association with each other. 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. 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 the property value of the index information 122 with reference to the property definition information 121 as preprocessing.

As a result, the index information generation unit 113 generates the index related to the appearance position of each of the property item name and the property value, as compared with the case of generating the index of the combination of the property item name and the property value. The size explosion of 122 can be suppressed. Further, 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, so that even if the input data 300 has a new property value, the property value of the index information 122 The index information 122 can be updated simply by adding one line to the area of. The index information generation unit 113 generates an index related to the appearance position of each property item name and property value, so that even if the input data 300 has a new property item name, the property of the index information 122 The index information 122 can be updated simply by adding one line to the area of the item name.

[Example of index generation processing]
Here, an example of the index generation process will be described with reference to FIG. FIG. 6 is a diagram showing an example of the index generation process according to the first embodiment.

As shown in FIG. 6, the input data 300 includes a plurality of XBRL data files. Each XBRL data file contains multiple contexts. The context selection unit 111 sequentially selects the context included in the XBRL data file from the XBRL data file included in the input data 300. Here, it is assumed that the context selection unit 111 selects "Context 1" as the context.

Then, the context analysis unit 112 lexically analyzes "Context 1" selected as the context. As an example, the context analysis unit 112 detects a set of a property item name and a property item value included in a line of a specific element (xbrldi: explicitMember). Here, in the line indicated by the code r1, a set of "dim: B1" as the item name of the property and "m: m2" as the item value of the property is detected. Further, in the line indicated by the code r2, a set of "dim: A1" as the item name of the property and "m: m1" as the item value of the property is detected. In the line indicated by the reference numeral r3, a set of "dim: C1" as the property item name and "m: m3" as the property item value is detected.

Then, the context analysis unit 112 holds the set of the item name of the property and the item value of the property in the temporary area in the order of appearance. Here, the context analysis unit 112 holds "dim: B1" in the first temporary area and "m: m2" in the second temporary area according to the order of appearance of the pairs detected by the line indicated by the code r1. To do. The context analysis unit 112 holds "dim: A1" in the third temporary area and "m: m1" in the fourth temporary area according to the order of appearance of the pairs detected by the line indicated by the code 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 order of appearance of the pairs detected by the line indicated by the code r3.

Then, the index information generation unit 113 sets a bit at the appearance position of the item name of the property with respect to the item name of the property included in the set held in the temporary area for "Conext1". The index information generation unit 113 sets a bit at the appearance position of the item value of the property with respect to the item value of the property included in the set held in the temporary area for "Conext1". Here, the index information generation unit 113 sets the bit “1” at the first occurrence position with respect to the property item name “dim: B1” (e1). The index information generation unit 113 sets the bit “1” at the second occurrence position with respect to the property item value “m: m2” (e2). The index information generation unit 113 sets the bit “1” at the third occurrence position with respect to the property item name “dim: A1” (e3). The index information generation unit 113 sets the bit “1” at the fourth occurrence position with respect to the property item value “m: m1” (e4). The index information generation unit 113 sets the bit “1” at the fifth occurrence position with respect to the property item name “dim: C1” (e5). The index information generation unit 113 sets the bit “1” at the sixth appearance position with respect to the property item value “m: m3” (e6).

[Specific example of index information]
Here, a specific example of the index information 122 after the index generation processing of the Context 10 and the Context 100 other than the Context 1 is performed is shown in FIG. 7. FIG. 7 is a diagram showing a specific example of index information according to the first embodiment.

As shown in FIG. 7, Context1, Context10 and Context100 are defined. The index information 122 after the index generation process for Context1 is performed is shown within the range of reference numeral E1. Since the item name of each property and the bit setting position with respect to the item value of each property are as described in FIG. 6, the description thereof will be omitted.

The index information 122 after the index generation process for Contact 10 is performed is shown within the range of reference numeral E2. That is, the bit "1" is set at the first appearance position of the Context 10 with respect to the property item name "dim: C1" (e7). Bit "1" is set at the second appearance position of Context 10 with respect to the property item name "m: m1" (e8). For the property item name "dim: A1", a bit "1" is set at the third appearance position of Context 10 (e9). For the property item name "m: m1", the bit "1" is set at the fourth appearance position of the Context 10 (e10).

The index information 122 after the index generation process for the Context 100 is performed is shown within the range of reference numeral E3. That is, for the property item name "dim: A1", the bit "1" is set at the first appearance position of the Context 100 (e11). A bit "1" is set at the second appearance position of the Context 100 with respect to the property item name "m: m3" (e12). For the property item name "dim: B1", the bit "1" is set at the third appearance position of the Context 100 (e13). For the property item name "m: m3", the bit "1" is set at the fourth appearance position of the Context 100 (e14). For the property item name "dim: C1", the bit "1" is set at the fifth appearance position of the Context 100 (e15). A bit "1" is set at the sixth appearance position of the Context 100 with respect to the property item name "m: m1" (e16).

In this way, the index generation device 100 repeats the index generation process by the context selection unit 111, the context analysis unit 112, and the index information generation unit 113 until there are no unprocessed contexts in the input data 300. As a result, the index information 122 in the input data 300 is completed.

[Flowchart of index generation process]
FIG. 8 is a diagram showing a flowchart of the index generation process according to the first embodiment. In FIG. 8, the XBRL data is referred to as “data”.

As shown in FIG. 8, the context selection unit 111 determines whether or not the input data 300 has been received (step S10). If 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.

On the other hand, when it is determined that the input data 300 has been received (step S10; Yes), 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).

Subsequently, the context analysis unit 112 lexically analyzes the selected context (step S13). Then, the context analysis unit 112 holds the item name of the property and the item value of the property in the temporary area in the order of appearance (step S14).

Subsequently, the index information generation unit 113 writes “1” to the bit of the index corresponding to the item name of each held property with respect to the appearance position in the selected context (step S15). The index information generation unit 113 writes “1” to the bit of the index corresponding to the item value of each held property with respect to the occurrence position in the selected context (step S16). The index information generation unit 113 associates the selected context with the target data and sets the context position information 123 (step S17).

Then, the index information generation unit 113 determines whether or not there is an unprocessed context (step S18). If 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 shifts to step S13 in order to transition to the context analysis unit 112.

On the other hand, when it is determined that there is no unprocessed context (step S18; No), the index information generation unit 113 determines whether or not 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 shifts to step S11 in order to transition to the context selection unit 111.

On the other hand, when it is determined that there is no unprocessed target file (step S20; No), the index information generation unit 113 ends the index generation process.

[Configuration of verification device according to Example 1]
FIG. 9 is a functional block diagram showing the configuration of the verification device according to the first embodiment. The verification device 200 converts the input verification rule 310 into conversion extraction conditions defined by the items and values, refers to the index information 122 generated from the input data 300, and refers to the items and values corresponding to the conversion extraction conditions. To verify. That is, the verification device 200 uses the index information 122 to extract XBRL data that matches the conversion extraction conditions obtained from the input verification rule 310.

The "conversion extraction condition" referred to here is the same as the extraction condition when there is one extraction condition defined by the item and the value, but when there are a plurality of extraction conditions defined by the item and the value. Refers to a condition in which multiple extraction conditions are combined by a logical operator.

The verification rule 310 referred to here is a rule for verifying and calculating the contents of XBRL data. Verification rule 310 is described using the XBRL formula. The XBRL formula is a description language that defines rules for verifying and calculating the contents of XBRL data, and defines the verification rule 310.

FIG. 10 is a diagram showing an example of the structure of the verification rule. As shown in FIG. 10, in the verification rule 310, as an example, a "variable", an "extraction condition for each variable", an "extraction condition common to variables", and a "verification formula" are defined. The “variable common extraction condition” is a common extraction condition of the “variable” defined by all the “variable individual extraction conditions” in the verification rule 310. Here, the "variable" corresponds to a1, a2, and a3. "Variable individual extraction conditions" correspond to b1, b2, and b3. The “variable common extraction condition” corresponds to c0. The "verification formula" corresponds to d0.

According to the "variable common extraction condition" c0, the XBRL data to be verified by the verification rule 310 is narrowed down from the entire input data 300. Further, in the "variable" a1, the XBRL data is narrowed down by the "variable individual extraction condition" b1, and the XBRL data narrowed down to the "variable" a1 is assigned. In the "variable" a2, the XBRL data is similarly narrowed down by the "variable individual extraction condition" b2, and the XBRL data narrowed down to the "variable" a2 is assigned. In the "variable" a3, the XBRL data is similarly narrowed down by the "variable individual extraction condition" b3, and the XBRL data narrowed down to the "variable" a3 is assigned. Then, the "verification formula" d0 is verified for each combination of the assigned XBRL data. In the example of FIG. 10, the item name of the property that is the first condition specification in the “variable common extraction condition” c0 is the property “dim: CS” defined by Dimension, and the item value is It is "m: x26". The item name of the property that is the second condition specification is the property "dim: VS" defined in Dimension, and the item value is "m: x80". The item name of the property which is the third condition specification is "dim: D0" which is a property defined by Dimension, and the item value is "m: x0".

As shown in FIG. 9, the verification device 200 has a control unit 210 and a storage unit 220.

The storage unit 220 corresponds to a storage device such as a non-volatile semiconductor memory element such as a flash memory (Flash Memory) or a FRAM (registered trademark) (Ferroelectric Random Access Memory). The storage unit 220 has index information 122 and context position information 123.

The index information 122 is information indicating the appearance position of each of the property item name and the property value for each of the property item name and the property value included in the input data 300. That is, the index information 122 refers to a bitmap in which the existence / non-existence of each offset (appearance position) of each property item name and property value included in the input data 300 is indexed. The index information 122 is information generated by the index generation device 100, and is acquired, for example, via a network and stored in the storage unit 220.

The context position information 123 is information on XBRL data associated with the context. The context position information 123 is information generated by the index generation device 100, and is acquired, for example, via the network and stored in the storage unit 220.

The control unit 210 has an internal memory for storing programs and control data that define various processing procedures, and executes various processing by these. The control unit 210 corresponds to, for example, an electronic circuit of an integrated circuit such as an ASIC (Application Specific Integrated Circuit) or an FPGA (Field Programmable Gate Array). Alternatively, the control unit 210 corresponds to an electronic circuit such as a CPU (Central Processing Unit) or an MPU (Micro Processing Unit). 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 the 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 item name of the property and the item value of the property. For example, the extraction condition conversion unit 211 interprets the “variable common extraction condition” of the verification rule 310 and extracts the property item and the property item value. As a result of extraction, the extraction condition conversion unit 211 generates a conversion extraction condition from one or a plurality of extraction conditions by using a 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 the XBRL data corresponding to the conversion extraction condition converted from the verification rule 310 by the extraction condition conversion unit 211.

For example, 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 the bitmap corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Then, the data extraction unit 212 performs an AND operation on the bitmap corresponding to the item name of the property and the bitmap of the shifted result corresponding to the item value of the property.

When there is only one extraction condition, the data extraction unit 212 detects a bit interval in which "1" is set in the bit interval corresponding to each context in the bitmap of the AND result. The data extraction unit 212 detects the context corresponding to the detected bit interval. Then, the data extraction unit 212 refers to the context position information 123 and narrows down the XBRL data associated with the detected context.

When there are a plurality of extraction conditions, 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 the corresponding context according to the logical operator used to combine the plurality of extraction conditions included in the conversion extraction condition. As an example, when the logical operator that combines a plurality of extraction conditions is AND, the data extraction unit 212 sets "1" as the number of extraction conditions in the bit interval corresponding to each context for the bitmap of the OR result. Detects the bit interval set for minutes. Then, the data extraction unit 212 detects the context corresponding to the extracted bit interval. When the logical operator that combines a plurality of extraction conditions is OR, the data extraction unit 212 sets a bit in which one or more "1" s are set in the bit interval corresponding to each context in the bitmap of the OR result. Detect the interval. Then, the data extraction unit 212 detects the context corresponding to the extracted bit interval. Then, the data detection unit 212 refers to the context position information 123 and narrows down the XBRL data associated with the detected context.

The extraction result output unit 213 outputs the XBRL data extracted by the data extraction unit 212. After that, the verification device 200 verifies the verification formula d0 of the verification rule 310 using the output XBRL data.

[Example of extraction condition conversion process]
Here, an example of the extraction condition conversion process will be described with reference to FIG. FIG. 11 is a diagram showing an example of the extraction condition conversion process according to the first embodiment.

As shown in FIG. 11, the “variable common extraction condition” of the verification rule 310 includes three types of property conditions. That is, the “variable common extraction condition” includes the conditions of three types of properties that the target XBRL data should satisfy.

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). Here, "dim: A1" is extracted as the item name of the property, "m: m1" is extracted as the item value of the property, and [dim: A1, m: m1] is one extraction condition. “Dim: B1” is extracted as the property item name, “m: m2” is extracted as the property item value, and [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, and [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. Here, the conversion extraction condition is generated by using the command indicated by the SQL statement. That is, the conversion extraction condition is "(dim: A1 = m: m1) and (dim: B1 = m: m2) and (dim: C1 = m: m3)", and the logical identifier that combines the extraction conditions is AND. This is the case.

[Example of data extraction process]
Here, an example of the data extraction process will be described with reference to FIG. FIG. 12 is a diagram showing an example of the data extraction process according to the first embodiment. The data extraction process shown in FIG. 12 is a case of extracting XBRL data having one property. Here, it is assumed that the conversion extraction condition is "dim: A1 = m: m1".

The data extraction unit 212 selects one extraction condition from the conversion extraction conditions. Here, "dim: A1 = m: m1" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: A1” (s1).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Here, the data extraction unit 212 extracts the 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 item name of the property and the bitmap of the shifted result corresponding to the item value of the property. Here, 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).

Since there is only one extraction condition, the data extraction unit 212 detects a bit interval in which "1" is set in the bit interval corresponding to each context in the bitmap of the AND result, and the detected bit interval. Detect the context corresponding to (s4). Here, context 1 and context 10 are detected.

The data extraction unit 212 refers to the context position information 123 and narrows down the XBRL data including the detected context (s5). Here, assuming that the context position information 123 is the content 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.

[Another example of data extraction processing]
Here, another example of the data extraction process will be described with reference to FIG. FIG. 13 is a diagram showing another example of the data extraction process according to the first embodiment. The data extraction process shown in FIG. 13 is a case of extracting XBRL data having any of a plurality of properties. Here, it is assumed that the conversion extraction condition is "(dim: A1 = m: m1) and (dim: B1 = m: m2) and (dim: C1 = m: m3)".

The data extraction unit 212 selects one extraction condition from the conversion extraction conditions. Here, "dim: A1 = m: m1" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: A1” (s10).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Here, the data extraction unit 212 extracts the 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 item name of the property and the bitmap of the shifted result corresponding to the item value of the property. Here, 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. Here, "dim: B1 = m: m2" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: B1” (s13).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Here, the data extraction unit 212 extracts the 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 item name of the property and the bitmap of the shifted result corresponding to the item value of the property. Here, 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. Here, "dim: C1 = m: m3" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: C1” (s16).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item value “m: m3” and shifts it to the left by one bit (s17).

The data extraction unit 212 performs an AND operation on the bitmap corresponding to the item name of the property and the bitmap of the shifted result corresponding to the item value of the property. Here, 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).

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 result of the property of "dim: A1", the AND result of the property of "dim: B1", and the AND result of the property of "dim: C1" (s19).

Since the logical identifier that combines the extraction conditions is the case of AND, the data extraction unit 212 performs the following processing. That is, the data extraction unit 212 detects a bit interval in which "1" is set for the number of extraction conditions in the bit interval corresponding to each context in the OR result bitmap, and determines the context corresponding to the detected bit interval. To detect. Here, since the number of extraction conditions is 3, context 1 which is a bit interval in which "1" is set for the number of extraction conditions is detected (s20).

After that, the data extraction unit 212 refers to the context position information 123 and narrows down the XBRL data associated with the detected context.

[Another example of data extraction processing]
Here, yet another example of the data extraction process will be described with reference to FIG. FIG. 14 is a diagram showing still another example of the data extraction process according to the first embodiment. The data extraction process shown in FIG. 14 is a case of extracting XBRL data having any one of a plurality of properties. Here, it is assumed that the conversion extraction condition is "(dim: B1 = m: m1) or (dim: B1 = m: m2) or (dim: B1 = m: m3)".

The data extraction unit 212 selects one extraction condition from the conversion extraction conditions. Here, "dim: B1 = m: m1" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: B1” (s30).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item value “m: m1” and shifts it to the left by one bit (s31).

The data extraction unit 212 performs an AND operation on the bitmap corresponding to the item name of the property and the bitmap of the shifted result corresponding to the item value of the property. Here, 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. Here, "dim: B1 = m: m2" is selected as the extraction condition.

Since the data extraction unit 212 has already extracted the bitmap corresponding to the property item name “dim: B1” (s30), this process is omitted.

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Here, the data extraction unit 212 extracts the 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 item name of the property and the bitmap of the shifted result corresponding to the item value of the property. Here, 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. Here, "dim: B1 = m: m3" is selected as the extraction condition.

Since the data extraction unit 212 has already extracted the bitmap corresponding to the property item name “dim: B1” (s30), this process is omitted.

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122, and shifts the extracted bitmap to the left by one bit. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item value “m: m3” and shifts it to the left by one bit (s35).

The data extraction unit 212 performs an AND operation on the bitmap corresponding to the item name of the property and the bitmap of the shifted result corresponding to the item value of the property. Here, the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: B1” and the shifted bitmap corresponding to “m: m3” (s36).

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).

Since the logical identifier that combines the extraction conditions is OR, the data extraction unit 212 performs the following processing. That is, the data extraction unit 212 detects a bit interval in which one or more "1" s are set in the bit interval corresponding to each context in the OR result bitmap, and detects the context corresponding to the detected bit interval. .. Here, context 1 and context 100, which are bit intervals in which one or more "1" are set, are detected (s38).

After that, the data extraction unit 212 refers to the context position information 123 and narrows down the XBRL data associated with the detected context.

[Flowchart of verification process]
FIG. 15 is a diagram showing a flowchart of the verification process according to the first embodiment. In FIG. 15, XBRL data is referred to as “data”.

As shown in FIG. 15, 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.

On the other hand, when it is determined that the verification rule 310 has been received (step S21; Yes), the extraction condition conversion unit 211 converts the verification rule 310 into a conversion extraction condition including one or a plurality of extraction conditions (step S22). .. For example, 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 a result of extraction, the extraction condition conversion unit 211 generates a conversion extraction condition from one or a plurality of extraction conditions by using the item name of a set of properties and the item value of the property as one extraction condition.

Subsequently, the data extraction unit 212 selects one extraction condition from the conversion extraction conditions (step S23). Then, the data extraction unit 212 extracts each index corresponding to the item name of the property and the item value of the property included in the selected extraction condition (step S24).

The data extraction unit 212 shifts the index with respect to the item value of the property by one bit to the left (step S25). Then, the data extraction unit 212 performs an AND operation on the index for the item name of the property and the index for the item value of the property (step S26).

Then, the data extraction unit 212 determines whether or not there is an unprocessed extraction condition in the conversion extraction condition (step S27). When it is determined that the unprocessed extraction condition exists (step S27; Yes), the data extraction unit 212 proceeds to step S23 in order to select the next extraction condition.

On the other hand, when it is determined that there is no unprocessed extraction condition (step S27; No), the data extraction unit 212 determines whether or not the number of extraction conditions included in the conversion extraction condition is plural (step S27; No). Step S28). If it is determined that the number of extraction conditions is not plural (step S28; No), the data extraction unit 212 proceeds to step S30.

On the other hand, when it is determined that the number of extraction conditions is plural (step S28; Yes), the data extraction unit 212 performs an OR operation on the plurality of AND results obtained by ANDing each property (step S29). Then, the data extraction unit 212 shifts to step S30.

In step S30, the data extraction unit 212 detects a context that matches the conversion extraction condition based on the calculation result (step S30). For example, when the extraction condition is one, the data extraction unit 212 detects a bit interval in which "1" is set in the bit interval corresponding to each context for the index of the AND result, and the detected bit interval. Detect the context corresponding to. When there are a plurality of extraction conditions, the data extraction unit 212 sets the corresponding context for the index of the OR result according to the logical operator used to combine the plurality of extraction conditions included in the conversion extraction condition. To detect.

Then, the data extraction unit 212 extracts the data associated with the detected context by using the context position information 123 (step S31). After that, the verification device 200 verifies the verification formula d0 of the verification rule 310 using the extracted data. Then, the data extraction unit 212 ends the verification process.

[Effect of Example 1]
According to the first embodiment, the verification device 200 converts the input verification rule 310 into conversion extraction conditions defined by items and values. The verification device 200 refers to the index information 122 regarding the appearance position for each of the items and values included in the input data 300 generated from the input data 300, and verifies the items and values corresponding to the conversion extraction conditions. According to such a configuration, the verification device 200 can extract data under a plurality of conditions according to the item and the value by using the index information 122 regarding the appearance position for each of the item and the value. As a result, the verification device 200 can suppress the amount of calculation related to data extraction and extract data at high speed even under a plurality of conditions depending on items and values.

Further, according to the first embodiment, the verification device 200 refers to the index information 122 and acquires each index corresponding to the item and the value included in the conversion extraction condition. The verification device 200 shifts the index corresponding to the acquired value to the left by one bit. The verification device 200 verifies the item and the value corresponding to the conversion extraction condition by the logical operation of the index corresponding to the item and the index of the shifted result corresponding to the value. According to such a configuration, the verification device 200 can extract data that matches the conversion extraction condition by the item and the value by using the logical operation for the index information 122.

Further, according to the first embodiment, when there are a plurality of sets of items and values in the conversion extraction condition, the verification device 200 includes the values included in the same set as the index corresponding to the items included in each set. AND operation with the index of the shifted result corresponding to. The verification device 200 performs an OR calculation on the AND calculation result of each set. The verification device 200 verifies the items and values corresponding to the conversion extraction conditions using the OR calculation result. According to such a configuration, the verification device 200 can extract data that matches a plurality of conditions according to items and values by using a logical operation for the index information 122.

Further, according to the first embodiment, the index generator 100 inputs input data 300 described by a combination of items and values. The index generation device 100 generates index information 122 regarding the appearance position of each item and value for each item and value included in the input data 300. According to such a configuration, the index generator 100 can generate the index information 122 efficiently by generating the index information 122 for each of the items and the values included in the input data 300. Further, the index generation device 100 can suppress an index size explosion by generating index information 122 for each item and value instead of a combination of items and values included in the input data 300. Further, the index generator 100 generates an index related to the appearance position of each item and value, and even if there is a new value in the input data 300, one line is added to the area of the value of the index information 122. In the same way, the index information 122 can be generated only by itself. The index generator 100 generates an index related to the appearance position of each item name and value, and even if there is a new item name in the input data 300, one line is added to the area of the item of the index information 122. In the same way, the index information 122 can be generated only by itself.

By the way, it has been explained that the index generation device 100 according to the first embodiment generates index information 122 regarding the appearance positions of the items and values included in the input data 300. However, the index generator 100 is not limited to this, and for the set of items and values included in the input data 300, the index generation device 100 generates index information regarding the appearance position in which the values of the same set are the same appearance positions as the items. Is also good.

Therefore, in the second embodiment, the index generation device 100 generates index information regarding the appearance position in which the value of the same set is the same appearance position as the item for the set of the item and the value included in the input data 300. explain.

Here, an example of the index information 122A according to the second embodiment will be described with reference to FIG. FIG. 16 is a diagram showing an example of index information according to the second embodiment. As shown in FIG. 16, the X-axis of the index information 122A represents the appearance position for each context, and the Y-axis represents the property name and the property value. Further, the index information 122A has a property name index information area and a property value index information area. The index information of the property name is the information of a bundle of indexes regarding the appearance position in the context (Context) for the item name of each property. Further, the index information of the property value is information on a bundle of indexes related to the appearance position in the context (Context) for the item value of each property. The appearance position of the item value of the property is the same as the item name of the same set of property as the item value of the property. For each property name and each property value, ON, that is, the binary number "1" is set at the appearance position that appears in the context. As an example, it is assumed that the property name "dim: A1" and the property value "m: m1" are the same set. When the appearance position of this property name is the second in Context1, "1" is set in the second in Context1. As for the appearance position of this property value, "1" is set at the second position in Context1, which is the same appearance position as the property name of the same set.

[Example of index generation processing]
Here, an example of the index generation process will be described with reference to FIG. FIG. 17 is a diagram showing an example of the index generation process according to the second embodiment. Note that FIG. 17 describes a case where the context selection unit 111 selects “Context 1” as the context.

Then, the context analysis unit 112 lexically analyzes "Context 1" selected as the context. As an example, the context analysis unit 112 detects a set of a property item name and a property item value included in a line of a specific element (xbrldi: explicitMember). Here, in the line indicated by the code r1, a set of "dim: B1" as the item name of the property and "m: m2" as the item value of the property is detected. Further, in the line indicated by the code r2, a set of "dim: A1" as the item name of the property and "m: m1" as the item value of the property is detected. In the line indicated by the reference numeral r3, a set of "dim: C1" as the property item name and "m: m3" as the property item value is detected.

Then, the context analysis unit 112 holds the set of the item name of the property and the item value of the property in the temporary area in the order of appearance. The appearance position of the item value of the property is the same as the item name of the same set of property as the item value of the property. Here, the context analysis unit 112 holds "dim: B1" and "m: m2" in the first temporary area according to the order of appearance of the pairs detected by the line indicated by the symbol r1. The context analysis unit 112 holds "dim: A1" and "m: m1" in the second temporary area according to the order of appearance of the pairs detected by the line indicated by the symbol r2. The context analysis unit 112 holds "dim: C1" and "m: m3" in the third temporary area according to the order of appearance of the pairs detected by the line indicated by the symbol r3.

Then, the index information generation unit 113 sets a bit at the appearance position of the item name of the property with respect to the item name of the property included in the set held in the temporary area for "Conext1". The index information generation unit 113 sets a bit at the appearance position of the item value of the property with respect to the item value of the property included in the set held in the temporary area for "Conext1". Here, the index information generation unit 113 sets the bit “1” at the first occurrence position with respect to the property item name “dim: B1” (e1 ′). The index information generation unit 113 sets the bit “1” at the first occurrence position with respect to the property item value “m: m2” (e2 ′). The index information generation unit 113 sets the bit “1” at the second occurrence position with respect to the property item name “dim: A1” (e3 ′). The index information generation unit 113 sets the bit “1” at the second occurrence position with respect to the property item value “m: m1” (e4 ′). The index information generation unit 113 sets the bit “1” at the third occurrence position with respect to the property item name “dim: C1” (e5 ′). The index information generation unit 113 sets the bit “1” at the third occurrence position with respect to the property item value “m: m3” (e6 ′).

[Example of data extraction process]
Here, an example of the data extraction process will be described with reference to FIG. FIG. 18 is a diagram showing an example of the data extraction process according to the second embodiment. The data extraction process shown in FIG. 18 is a case of extracting XBRL data having any of a plurality of properties. Here, it is assumed that the conversion extraction condition is "(dim: A1 = m: m1) and (dim: B1 = m: m2) and (dim: C1 = m: m3)".

The data extraction unit 212 selects one extraction condition from the conversion extraction conditions. Here, "dim: A1 = m: m1" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: A1” (s40).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item value “m: m1” (s41).

The data extraction unit 212 performs an AND operation on the bitmap corresponding to the item name of the property and the bitmap corresponding to the item value of the property. Here, the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: A1” and the bitmap corresponding to “m: m1” (s42).

The data extraction unit 212 selects the next one extraction condition from the conversion extraction conditions. Here, "dim: B1 = m: m2" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: B1” (s43).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item value “m: m2” (s44).

The data extraction unit 212 performs an AND operation on the bitmap corresponding to the item name of the property and the bitmap corresponding to the item value of the property. Here, the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: B1” and the bitmap corresponding to “m: m2” (s45).

The data extraction unit 212 selects the next one extraction condition from the conversion extraction conditions. Here, "dim: C1 = m: m3" is selected as the extraction condition.

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. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item name “dim: C1” (s46).

The data extraction unit 212 extracts an index (bitmap) corresponding to the item value of the property included in the selected extraction condition from the index information 122. Here, the data extraction unit 212 extracts the bitmap corresponding to the property item value “m: m3” (s47).

The data extraction unit 212 performs an AND operation on the bitmap corresponding to the item name of the property and the bitmap corresponding to the item value of the property. Here, the data extraction unit 212 performs an AND operation on the bitmap corresponding to “dim: C1” and the bitmap corresponding to “m: m3” (s48).

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 result of the property of "dim: A1", the AND result of the property of "dim: B1", and the AND result of the property of "dim: C1" (s49).

Since the logical identifier that combines the extraction conditions is AND, the data extraction unit 212 performs the following processing. That is, the data extraction unit 212 detects a bit interval in which "1" is set for the number of extraction conditions in the bit interval corresponding to each context in the OR result bitmap, and determines the context corresponding to the detected bit interval. To detect. Here, since the number of extraction conditions is 3, context 1 which is a bit interval in which "1" is set for the number of extraction conditions is detected (s50).

After that, the data extraction unit 212 refers to the context position information 123 and narrows down the XBRL data associated with the detected context.

[Effect of Example 2]
According to the second embodiment, the verification device 200 refers to the index information 122A regarding the appearance position and acquires each index corresponding to the item and the value included in the conversion extraction condition. The verification device 200 verifies the item and the value corresponding to the conversion extraction condition by the logical operation of the index corresponding to the acquired item and the index corresponding to the acquired value. The index information 122A is index information for the item and value set included in the input data 300, in which the same set of values is set to the same appearance position as the item. According to such a configuration, the verification device 200 can extract data under a plurality of conditions according to the item and the value by using the index information 122A regarding the appearance position for each of the item and the value.

Further, according to the second embodiment, the index generator 100 provides index information 122A regarding the appearance position in which the same set of values is set to the same appearance position as the item for the set of items and values included in the input data 300. Generate. According to such a configuration, when the index generator 100 generates the index information 122A, the index size explosion is further increased by setting the same set of values as the same occurrence position as the item for the item and value set. It can be suppressed.

[Other]
In the embodiment, it has been described that the index generation process is realized by the index generation device 100 and the verification process is realized by the verification device 200. However, one information processing device may realize the index generation process and the verification process.

Further, each component of the illustrated device does not necessarily have to be physically configured as shown in the figure. That is, the specific mode of distribution / integration of the device is not limited to the one shown in the figure, and all or part of the device is functionally or physically distributed / integrated in an arbitrary unit according to various loads and usage conditions. Can be configured. For example, the index information generation unit 113 is separated into a setting unit that sets the property name and the property value in the index information 122 and a generation unit that sets a bit in the index information 122 according to the appearance position of the property name and the property value. Is also good. Further, the data extraction unit 212 and the extraction result output unit 213 may be merged. Further, the storage unit 120 may be connected via a network as an external device of the index generation device 100. The storage unit 220 may be connected via a network as an external device of the verification device 200.

Further, the various processes described in the above embodiment can be realized by executing a program prepared in advance on a computer such as a personal computer or a workstation. Therefore, in the following, an example of a computer that executes an index generation program that realizes the same function as the index generation device 100 shown in FIG. 1 and a verification program that realizes the same function as the verification device 200 shown in FIG. 9 will be described. To do. FIG. 19 is a diagram showing an example of a computer that executes an index generation program and a verification program.

As shown in FIG. 19, the computer 500 includes a CPU 503 that executes various arithmetic processes, an input device 515 that receives data input from a user, and a display control unit 507 that controls the display device 509. Further, the computer 500 has a drive device 513 that reads a program or the like from a storage medium, and a communication control unit 517 that exchanges data with another computer via a network. Further, the computer 500 has a memory 501 for temporarily storing various information and an HDD 505. The memory 501, the CPU 503, the HDD 505, the display control unit 507, the drive device 513, the input device 515, and the communication control unit 517 are connected by a bus 519.

The drive device 513 is, for example, a device for a removable disk 511. The HDD 205 stores the verification program 505a, the index generation program 505b, and the processing-related information 505c.

The CPU 503 reads the verification program 505a, expands it into the memory 501, and executes it as a process. Such a process corresponds to each functional part of the verification device 200. The CPU 503 reads the index generation program 505b, expands it into the memory 501, and executes it as a process. Such a process corresponds to each functional part of the index generator 100. The processing-related information 505c corresponds to the property definition information 121, the index information 122, and the context position information 123. Then, for example, the removable disk 511 stores each information such as the verification program 505a and the index generation program 505b.

The verification program 505a and the index generation program 505b do not necessarily have to be stored in the HDD 505 from the beginning. For example, the program is stored in a "portable physical medium" such as a flexible disk (FD), a CD-ROM, a DVD disk, a magneto-optical disk, or an IC card inserted into the computer 500. Then, the computer 500 may read the verification program 505a and the index generation program 505b from them and execute them.

100 Index generator 111 Context selection unit 112 Context analysis unit 113 Index information generation unit 121 Property definition information 122 Index information 123 Context position information 200 Verification device 210 Control unit 211 Extraction condition conversion unit 212 Data extraction unit 213 Extraction result output unit 220 Storage Part 300 Input data 310 Verification rule

Claims (8)

On the computer
Converts the entered verification conditions into conversion verification conditions specified by items and values,
The index information regarding the appearance position for each of the items and values included in the target data generated from the target data is referred to, and the respective indexes corresponding to the items and values included in the conversion verification condition are acquired and acquired. The index corresponding to the value is shifted to the left by one bit, and the item and value corresponding to the conversion verification condition are verified by a logical operation between the index corresponding to the item and the index as a result of the shift corresponding to the value. A verification program that executes the processing to be performed. The process of performing the verification is the result of shifting corresponding to the value included in the same set as the index corresponding to the item included in each set when there are a plurality of sets of items and values in the conversion verification condition. The verification program according to claim 1, wherein an AND operation is performed on the index, an OR operation is performed on the AND operation result of each set, and a process of verifying an item and a value corresponding to the conversion verification condition is executed using the OR operation result. .. The index information is index information relating to an appearance position in which the same set of values is set to the same appearance position as the item for the item and value set included in the target data.
The process of performing the verification refers to the index information, acquires each index corresponding to the item and the value included in the conversion verification condition, and corresponds to the index corresponding to the acquired item and the acquired value. The verification program according to claim 1, wherein a process of verifying an item and a value corresponding to the conversion verification condition is executed by a logical operation with an index. A conversion unit that converts the input verification conditions into conversion verification conditions specified by items and values,
With reference to the index information regarding the appearance position for each of the items and values included in the target data generated from the target data, each index corresponding to the items and values included in the conversion verification condition was acquired and acquired. The index corresponding to the value is shifted to the left by one bit, and the item and value corresponding to the conversion verification condition are verified by a logical operation between the index corresponding to the item and the index as a result of the shift corresponding to the value. Verification department to perform and
A verification device characterized by having. The computer
Converts the entered verification conditions into conversion verification conditions specified by items and values,
With reference to the index information regarding the appearance position for each of the items and values included in the target data generated from the target data, each index corresponding to the items and values included in the conversion verification condition was acquired and acquired. The index corresponding to the value is shifted to the left by one bit, and the item and value corresponding to the conversion verification condition are verified by a logical operation between the index corresponding to the item and the index as a result of the shift corresponding to the value. A verification method characterized by executing each process to be performed. On the computer
For each item and items and values contained in the data described by a combination of values, the index relating to the occurrence position in the items and values in the data an index corresponding to each of the items and value pairs An index generation program that executes a process of generating index information related to the appearance position, which is information of a bundle of the indexes, by setting a bit at the appearance position in the data with the same set of values in the above as the same appearance position as the item. .. For each item and items and values contained in the data described by a combination of values, the index relating to the occurrence position in the items and values in the data an index corresponding to each of the items and value pairs It is characterized by having a generation unit that generates index information regarding the appearance position, which is information of a bundle of the indexes, by setting a bit at the appearance position in the data with the same set of values in the above as the same appearance position as the item. Index generator. The computer
For each item and items and values contained in the data described by a combination of values, the index relating to the occurrence position in the items and values in the data an index corresponding to each of the items and value pairs By setting a bit at the appearance position in the data with the same set of values in the above as the same appearance position as the item, each process of generating index information regarding the appearance position, which is the information of the bundle of the indexes, is executed. Characteristic index generation method.

Images