WO2018096686A1

WO2018096686A1 - Verification program, verification device, verification method, index generation program, index generation device, and index generation method

Info

Publication number: WO2018096686A1
Application number: PCT/JP2016/085228
Authority: WO
Inventors: 奥村　仁; 貴英村本; 片岡　正弘
Original assignee: 富士通株式会社
Priority date: 2016-11-28
Filing date: 2016-11-28
Publication date: 2018-05-31
Also published as: JPWO2018096686A1; JP6900956B2

Abstract

A verification device 200 converts an input verification rule 310 into converted verification conditions defined by items and values. The verification device 200 refers to index information 122 that is generated from input data 300, and that relates to the occurrence positions of items and values included in the input data 300, and thereby verifies whether each item and each value match the converted verification conditions. This makes it possible to rapidly extract target data from the input data 300.

Description

Verification program, verification apparatus, verification method, index generation program, index generation apparatus, and index generation method

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

Financial information is reported around the world using XBRL (eXtensible Business Reporting Language) documents. 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.

A disclosed example of a method for extracting data described in XBRL will be described (for example, see Patent Document 1). 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.
Further, in the disclosure in which 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

International Publication No. 2016/132550 JP 2001-265773 A

By the way, when extracting the corresponding data based on the XBRL schema, the calculation amount may be a problem. For example, in the conventional method of referring to the XBRL schema and extracting the corresponding data from the top of the input data with the XBRL tag, 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. In addition, in order to determine the application order, an operation for obtaining the corresponding number in advance is necessary.

On the other hand, with respect to the case of indexing positions for pairs of items and values and extracting data under a plurality of individual conditions using the generated index information, a reference example of such index information is shown 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 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. In the index information 900, the X axis represents a data position, and the Y axis represents a set of property name and value. When the property name and value do not exist at a certain data position in the input data, OFF, that is, binary “0” is set as the presence / absence of the data position. If the property name and value are present at a certain data position in the input data, ON, that is, binary “1” is set as the presence / absence of the data position. Here, as an example, when the property name is “P1” and the value is “Val1”, “1” is set as the presence / absence of data 1 and “0” is set as the presence / absence of data 100000.

However, since the number of combinations of items and values in the input data becomes very large, there is a problem that it is difficult to generate index information for combinations of items and values. There is also a problem that it is difficult to extract data under a plurality of individual conditions using index information for combinations of items and values.

In one aspect, when extracting data described in XBRL, an object is to extract data under a plurality of conditions based on items and values using index information on the items and values.

In the first proposal, the verification condition input to the computer is converted into a conversion verification condition defined by the item and value, and the appearance of each item and value included in the target data generated from the target data By referring to the index information regarding the position, a process for verifying items and values corresponding to the conversion verification condition is executed.

According to one aspect, when extracting data described in XBRL, data 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. 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 information.

Hereinafter, embodiments of a verification program, a verification device, a verification method, an index generation program, an index generation device, and an index generation method disclosed in the present application will be described in detail with reference to the drawings. Note that the present invention is not limited to the embodiments.

[Configuration of Index Generating Device According to Embodiment 1]
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. Using the generated index information, 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. . In the embodiment, the XBRL data may be simply referred to as data or may be referred to as a data value. In the embodiment, “Context” that is an element including additional information associated with the data value of the XBRL data will be mainly described.

FIG. 2 is a diagram illustrating an example of the XBRL data. As shown in FIG. 2, one XBRL data includes a data value and additional information supplementing the data value. A plurality of additional information is defined for elements whose names are context and unit, but here, “context_1” and “JPY” are given as identifiers for distinguishing each. As additional information supplementing the data value, additional information corresponding to “context_1” and additional information corresponding to “JPY” are defined. For example, in the additional information corresponding to “context_1”, 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 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”.

Here, an example of the property definition information 121 will be described with reference to FIG. FIG. 3 is a diagram illustrating an example of property definition information. As shown in FIG. 3, the property definition information 121 includes property type definitions and property value definitions. A property type corresponds to a property item. A property value corresponds to a property item value. Each property type is associated with a 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”, and can be arbitrarily defined in advance by the user. Property items and property values in the case where the property type is “Dimension” are defined. As an example, when the property item is “dim: A1”, the corresponding property values are “m: m1”, “m: m2”... “M: m8”. .

Referring back to FIG. 1, 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.

Here, an example of the index information 122 will be described with reference to FIG. FIG. 4 is a diagram illustrating 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. 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.

Referring back to FIG. 1, the context position information 123 is information of 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 illustrating an example of context position information according to the first embodiment. As illustrated in FIG. 5, 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. As an example, when 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”.

Referring back 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 processes using these. And the control part 110 respond | corresponds to the electronic circuit of integrated circuits, such as ASIC (Application Specific Integrated Circuit) and 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 contexts included in the XBRL data file from the XBRL data file included in the input data 300 that has been input.

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 property item name and property item value pairs in the temporary area in the order of appearance.

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.

As a result, 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.

[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 illustrating 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 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. Here, it is assumed that the context selection unit 111 selects “Context 1” as the context.

Then, the context analysis unit 112 performs lexical analysis on “Context 1” selected as the context. As an example, the context analysis unit 112 detects a combination of a property item name and a property item value included in a row of a specific element (xbrldi: explicitMember). Here, in the line indicated by the symbol r1, a set of “dim: B1” as the property item name and “m: m2” as the property item value is detected. Further, in the line indicated by the symbol r2, a set of “dim: A1” as the property item name and “m: m1” as the property item value is detected. In the row indicated by the reference symbol 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 a set of property item names and property item values in a 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 appearance order of the pair detected in the row indicated by the symbol 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 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.

Then, 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. For “Context 1”, 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. Here, 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).

[Specific example of index information]
Here, 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.

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

The index information 122 after the index generation processing for the Context 100 is performed is indicated within the range of the code E3. That is, for the item name “dim: A1” of the property, bit “1” is set at the first appearance position of Context 100 (e11). For the property item name “m: m3”, bit “1” is set at the second appearance position of Context 100 (e12). For the property item name “dim: B1”, bit “1” is set at the third appearance position of Context 100 (e13). For the item name “m: m3” of the property, bit “1” is set at the fourth appearance position of Context 100 (e14). For the property item name “dim: C1”, bit “1” is set at the fifth appearance position of Context 100 (e15). For the item name “m: m1” of the property, bit “1” is set at the sixth appearance position of Context100 (e16).

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

[Flow chart of index generation processing]
FIG. 8 is a flowchart of the index generation process according to the first embodiment. In FIG. 8, 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). 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.

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 performs lexical analysis on the selected context (step S13). Then, the context analysis unit 112 holds the property item name and the property item value in the temporary area in the order of appearance (step S14).

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

Then, 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.

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

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 Embodiment 1]
FIG. 9 is a functional block diagram illustrating the configuration of the verification apparatus according to the first embodiment. The verification device 200 converts the input verification rule 310 into a conversion / extraction condition defined by the item and value, refers to the index information 122 generated from the input data 300, and sets the item and value corresponding to the conversion / extraction condition. Perform verification. That is, the verification apparatus 200 uses the index information 122 to extract XBRL data that matches the conversion extraction condition obtained from the input verification rule 310.

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.

Here, 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. As shown in FIG. 10, in the verification rule 310, as an example, “variable”, “variable individual extraction condition”, “variable common extraction condition”, and “verification formula” are defined. 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. Here, “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. Similarly, in the “variable” a3, the XBRL data is narrowed down by the “variable individual extraction condition” b3, and the narrowed XBRL data is assigned to the “variable” a3. Then, “verification formula” d0 is verified for each combination of assigned XBRL data. In the example of FIG. 10, 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”.

As shown in FIG. 9, the verification device 200 includes 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 or a FRAM (registered trademark) (Ferroelectric Random Access Memory). The storage unit 220 includes index information 122 and context position information 123.

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 | corresponds to the electronic circuit of integrated circuits, such as ASIC (Application Specific Integrated Circuit) and 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 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.

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

When there is one extraction condition, 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.

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 a corresponding context according to a logical operator used to combine a 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 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. 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 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.

[Example of extraction condition conversion processing]
Here, an example of the extraction condition conversion process will be described with reference to FIG. FIG. 11 is a diagram illustrating 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 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 property item name, “m: m1” is extracted as the property item value, and [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, 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 using a command indicated by an SQL sentence. That is, the conversion extraction conditions are “(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 illustrating an example of the data extraction process according to the first embodiment. Note that the data extraction process shown in FIG. 12 is a case where XBRL data having one property is extracted. 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 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. Here, 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. 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 one extraction condition, 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). Here, 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). Here, if 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.

[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 illustrating another example of the data extraction process according to the first embodiment. Note that the data extraction process shown in FIG. 13 is a case where XBRL data having any of a plurality of properties is extracted. 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 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 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. Here, 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. 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 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. Here, 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. 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 a bitmap corresponding to the property item name “dim: C1” (s16).

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. Here, the data extraction unit 212 extracts a bitmap corresponding to the item value “m: m3” of the property 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 property item name and the shifted bitmap corresponding to the property item value. 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 ORs the AND result of the property “dim: A1”, the AND result of the property “dim: B1”, and the AND result of the property “dim: C1” (s19).

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 section in which “1” is set for the number of extraction conditions in the bit section corresponding to each context in the bitmap of the OR result, and the context corresponding to the detected bit section is displayed. To detect. Here, since the number of extraction conditions is 3, context 1 which is a bit section in which “1” is set for the number of extraction conditions is detected (s20).

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

[Another example of data extraction processing]
Here, still another example of the data extraction process will be described with reference to FIG. 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. 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 a bitmap corresponding to the property item name “dim: B1” (s30).

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. Here, 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 (s31).

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

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 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. Here, 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. 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.

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. Here, the data extraction unit 212 extracts a 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 property item name and the shifted bitmap corresponding to the property item value. 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 section in which one or more “1” s are set in the bit section corresponding to each context, and detects a context corresponding to the detected bit section from the bitmap of the OR result. . Here, context 1 and context 100, which are bit intervals in which one or more “1” s are set, are detected (s38).

[Verification process flowchart]
FIG. 15 is a flowchart illustrating the verification process according to the first embodiment. In FIG. 15, the 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, if 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 more extraction conditions (step S22). . For example, the extraction condition conversion unit 211 interprets “variable common extraction conditions” of the verification rule 310 and extracts the item name of the property and the item value of the property. The extraction condition conversion unit 211 generates a conversion extraction condition from one or a plurality of extraction conditions, using the extracted item name and property item value as one extraction condition as a result of the extraction.

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 and property item value included in the selected extraction condition (step S24).

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

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

On the other hand, if it is determined that there are no unprocessed extraction conditions (step S27; No), the data extraction unit 212 determines whether there are a plurality of extraction conditions included in the conversion extraction conditions ( 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 there are a plurality of extraction conditions (step S28; Yes), the data extraction unit 212 performs an OR operation on a plurality of AND results obtained by performing an AND operation for each property (step S29). Then, the data extraction unit 212 proceeds 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 section in which “1” is set in the bit section corresponding to each context for the index of the AND result, and the detected bit section Detect the context corresponding to. When there are a plurality of extraction conditions, the data extraction unit 212 selects a corresponding context according to a logical operator used for combining a plurality of extraction conditions included in the conversion extraction condition for the index of the OR result. To detect.

Then, the data extraction unit 212 uses the context position information 123 to extract data associated with the detected context (step S31). Thereafter, the verification apparatus 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 apparatus 200 converts the input verification rule 310 into the conversion extraction condition defined by the item and the value. The verification device 200 refers to the index information 122 regarding the appearance position of each item and value included in the input data 300, generated from the input data 300, and verifies the item and value corresponding to the conversion extraction condition. According to such a configuration, the verification apparatus 200 can extract data under a plurality of conditions based on items and values by using the index information 122 regarding the appearance positions of the items and values. As a result, the verification apparatus 200 can suppress the amount of calculation related to data extraction and extract data at high speed even under a plurality of conditions based on items and values.

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

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

Also, according to the first embodiment, the index generation device 100 inputs the input data 300 described by a combination of items and values. For each item and value included in the input data 300, the index generation device 100 generates index information 122 regarding the appearance position of each item and value. According to this configuration, the index generation device 100 can generate efficient index information 122 by generating the index information 122 for each item and value included in the input data 300. Further, the index generation device 100 can suppress the index size explosion by generating the index information 122 for each item and value instead of the combination of the item and value included in the input data 300. Further, the index generation device 100 generates an index related to the appearance position of each item and value, so that even if there is a new value in the input data 300, one line is added to the value area of the index information 122. The index information 122 can be generated similarly. The index generation device 100 generates an index related to the appearance position of each item name and value, so that even if there is a new item name in the input data 300, one line is added to the item area of the index information 122. As a result, the index information 122 can be generated similarly.

Incidentally, it has been described that the index generation device 100 according to the first embodiment generates the index information 122 related to the appearance positions of the items and values included in the input data 300. However, the index generation device 100 is not limited to this, and generates index information related to the appearance position for the combination of items and values included in the input data 300 with the same set of values as the same appearance position as the item. Also good.

Thus, in the second embodiment, the index generation apparatus 100 generates index information related to the appearance position for the item and value pair included in the input data 300, with the same set value as the same appearance position as the item. 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 illustrating an example of index information according to the second embodiment. As shown in FIG. 16, the X axis of the index information 122A represents an appearance position for each context, and the Y axis represents a property name and a property value. Further, the index information 122A has a property name index information area and a property value index information area. 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. The appearance position of the property item value is the same as the property item name in the same set as the 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, it is assumed that “dim: A1” as the property name and “m: m1” as the property value are the same set. When the appearance position of this property name is the second in Context1, “1” is set as the second in Context1. As the appearance position of this property value, “1” is set as the second in Context 1 that 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 illustrating an example of an index generation process according to the second embodiment. FIG. 17 illustrates a case where the context selection unit 111 selects “Context 1” as the context.

Then, 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 appearance position of the property item value is the same as the property item name in the same set as the property item value. Here, the context analysis unit 112 holds “dim: B1” and “m: m2” in the first 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” and “m: m1” in the second 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” and “m: m3” in the third temporary area according to the order of appearance of the pair detected in the row 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 for “Context 1” with respect to the item name of the property included in the set held in the temporary area. For “Context 1”, 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. Here, 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 first appearance position for the property item value “m: m2” (e2 ′). The index information generation unit 113 sets the bit “1” at the second appearance position for the item name “dim: A1” of the property (e3 ′). The index information generation unit 113 sets the bit “1” at the second appearance position for the property item value “m: m1” (e4 ′). The index information generation unit 113 sets the bit “1” at the third appearance position for the property item name “dim: C1” (e5 ′). The index information generation unit 113 sets the bit “1” at the third appearance position for 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 illustrating an example of the data extraction process according to the second embodiment. The data extraction process shown in FIG. 18 is a case where XBRL data having any of a plurality of properties is extracted. 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 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 a 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 a 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 property item name and the bitmap corresponding to the property item value. 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 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 a 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 a bitmap corresponding to the item value “m: m2” of the property (s44).

The data extraction unit 212 performs an AND operation on the bitmap corresponding to the property item name and the bitmap corresponding to the property item value. 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 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 a 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 a 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 property item name and the bitmap corresponding to the property item value. 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 ORs the AND result of the property “dim: A1”, the AND result of the property “dim: B1”, and the AND result of the property “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 section in which “1” is set for the number of extraction conditions in the bit section corresponding to each context in the bitmap of the OR result, and the context corresponding to the detected bit section is displayed. To detect. Here, since the number of extraction conditions is 3, context 1 which is a bit section in which “1” is set for the number of extraction conditions is detected (s50).

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

Further, according to the second embodiment, the index generating apparatus 100 uses the index information 122 </ b> A regarding the appearance position with respect to the combination of items and values included in the input data 300, with the same set of values as the same appearance position as the item. Generate. According to this configuration, when generating the index information 122A, the index generating apparatus 100 further increases the size of the index by setting the same set of values to the same appearance position as the item for the set of items and values. Can be suppressed.

[Others]
In the embodiment, the index generation process is realized by the index generation apparatus 100 and the verification process is realized by the verification apparatus 200. However, one information processing apparatus may realize the index generation process and the verification process.

Further, each component of the illustrated apparatus does not necessarily need to be physically configured as illustrated. In other words, the specific mode of device distribution / integration is not limited to that shown in the figure, and all or part of the device is functionally or physically distributed / integrated in arbitrary units depending on various loads and usage conditions. Can be configured. For example, the index information generation unit 113 is separated into a setting unit that sets property names and property values in the index information 122 and a generation unit that sets bits in the index information 122 according to the appearance positions of the property names and property values. 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 as an external device of the index generation device 100 via a network. The storage unit 220 may be connected as an external device of the verification device 200 via a network.

The various processes described in the above embodiments can be realized by executing a program prepared in advance on a computer such as a personal computer or a workstation. Therefore, 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 below. To do. FIG. 19 is a diagram illustrating an example of a computer that executes an index generation program and a verification program.

As illustrated in FIG. 19, 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.

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

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

Note that the verification program 505a and the index generation program 505b are not necessarily 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 these and execute them.

DESCRIPTION OF SYMBOLS 100 Index production | generation apparatus 111 Context selection part 112 Context analysis part 113 Index information production | generation part 121 Property definition information 122 Index information 123 Context position information 200 Verification apparatus 210 Control part 211 Extraction condition conversion part 212 Data extraction part 213 Extraction result output part 220 Storage Part 300 Input data 310 Validation rule

Claims

On the computer,
The input validation condition is converted to the conversion validation condition specified by the item and value,
A verification program for executing processing for verifying items and values corresponding to the conversion verification condition with reference to index information relating to appearance positions of items and values included in the target data, generated from the target data.
The process of performing the verification refers to the index information, acquires each index corresponding to the item and value included in the conversion verification condition, and shifts the index corresponding to the acquired value by one bit to the left, The verification program according to claim 1, wherein a process for verifying an item and a value corresponding to the conversion verification condition is performed by a logical operation of an index corresponding to the item and an index of a shifted result corresponding to the value.
When there are a plurality of combinations of items and values in the conversion verification condition, the process of performing the verification is a result of a shift corresponding to a value included in the same set as an index corresponding to an item included in each set. The verification program according to claim 2, wherein an AND operation is performed on the index, an AND operation result of each set is ORed, and an item and a value corresponding to the conversion verification condition are verified using the OR operation result. .
The index information is index information related to the appearance position, with the same set of values as the item and the same set of values 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 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 for verifying an item and a value corresponding to the conversion verification condition is performed by a logical operation with an index.
A conversion unit that converts the input verification condition into a conversion verification condition defined by the item and value;
A verification unit that refers to index information related to the appearance position of each item and value included in the target data, generated from the target data, and performs verification of the item and value corresponding to the conversion verification condition;
The verification apparatus characterized by having.
Computer
The input validation condition is converted to the conversion validation condition specified by the item and value,
Reference is made to index information relating to the appearance position of each item and value included in the target data, generated from the target data, and each process for verifying the item and value corresponding to the conversion verification condition is executed. Verification method.
On the computer,
Enter the data described by the combination of items and values,
An index generation program that executes processing for generating index information related to the appearance position of each item and value for each item and value included in the data.
The said process to produce | generate performs the process which produces | generates the index information regarding an appearance position which makes the same set value the same appearance position as an item about the group of the item and value contained in the said data. Index generator.
An input unit for inputting data described by a combination of items and values;
For each item and value included in the data, a generating unit that generates index information regarding the appearance position of each item and value;
An index generation apparatus comprising:
Computer
Enter the data described by the combination of items and values,
An index generation method, comprising: executing each process for generating index information related to the appearance position of each item and value for each item and value included in the data.