Abstract: A method includes: upon receipt of a request of update processing for a first record including a numerical data item in a database, generating, by a processor, a second record by duplicating the first record while a value corresponding to an update content of the update processing is set to the numerical data item, the update processing being processing of updating the value of the numerical data item according to the update content; and executing the update processing for the second record in response to the request.

Abstract: A determination method includes: generating, when a logical formula is received, another statement group that shares either one of individual statements and one or plural statements of statement groups with each of the individual statements and statement groups that are included in the logical formula or a changed logical formula acquired with the performance of logically equivalent conversion with regard to the logical formula, the logical formula or the changed logical formula including a logical disjunction of the individual statements or the statement groups that are logical conjunctions of the one or plural statements; and performing a determination process of the logical formula, wherein the logical formula is determined as not satisfied when a determination result indicating that the statements that are included in the other statement group are not satisfied is obtained in the determination process.

Abstract: A data extraction device generates, based on master information and an extraction condition, a determination result indicating whether the master information is an extraction target. When stream data is received, the data extraction device determined, using the determination result, whether the master information that is specified based on the received stream data is to be extracted.

Abstract: A method includes: upon receipt of a request of update processing for a first record including a numerical data item in a database, generating, by a processor, a second record by duplicating the first record while a value corresponding to an update content of the update processing is set to the numerical data item, the update processing being processing of updating the value of the numerical data item according to the update content; and executing the update processing for the second record in response to the request.

Abstract: A determination method includes: generating, when a logical formula is received, another statement group that shares either one of individual statements and one or plural statements of statement groups with each of the individual statements and statement groups that are included in the logical formula or a changed logical formula acquired with the performance of logically equivalent conversion with regard to the logical formula, the logical formula or the changed logical formula including a logical disjunction of the individual statements or the statement groups that are logical conjunctions of the one or plural statements; and performing a determination process of the logical formula, wherein the logical formula is determined as not satisfied when a determination result indicating that the statements that are included in the other statement group are not satisfied is obtained in the determination process.

Abstract: A data extraction device generates, based on master information and an extraction condition, a determination result indicating whether the master information is an extraction target. When stream data is received, the data extraction device determined, using the determination result, whether the master information that is specified based on the received stream data is to be extracted.

Abstract: When an output request is received, a tree generating unit of a search apparatus generates, based on an output item included in an output request tree-structure data from hierarchical-structure data (described as search target data with reference to FIG. 1) to be searched. A tree scanning unit searches for data corresponding to the output item by scanning the tree-structure data generated by the tree generating unit. An output unit outputs the data searched by the tree scanning unit.

Abstract: A totaling device includes a first specification unit comprising a first storage unit for storing first dividing information and first interpolation value information, a second storage unit for storing second dividing information and second interpolation value dividing information and a third storage unit for storing information of a totaling information storage unit for storing totaling information; a second specification unit for specifying the third storage unit related to the second dividing information which coincides with second total dividing information or the third storage unit related to the second interpolation value dividing information which coincides with the second total dividing information; and a totaling unit for specifying a totaling information storage unit and storing the totaling information of the totaling target information in the totaling information storage unit.

Abstract: When an output request is received, a tree generating unit of a search apparatus generates, based on an output item included in an output request tree-structure data from hierarchical-structure data (described as search target data with reference to FIG. 1) to be searched. A tree scanning unit searches for data corresponding to the output item by scanning the tree-structure data generated by the tree generating unit. An output unit outputs the data searched by the tree scanning unit.

Abstract: A totaling device includes a first specification unit comprising a first storage unit for storing first dividing information and first interpolation value information, a second storage unit for storing second dividing information and second interpolation value dividing information and a third storage unit for storing information of a totaling information storage unit for storing totaling information; a second specification unit for specifying the third storage unit related to the second dividing information which coincides with second total dividing information or the third storage unit related to the second interpolation value dividing information which coincides with the second total dividing information; and a totaling unit for specifying a totaling information storage unit and storing the totaling information of the totaling target information in the totaling information storage unit.

Abstract: An apparatus for managing database logs provides more efficient system operations. An interactive processor operates a database through interactive processing in response to transaction requests inputted. A batch processor operates the database through batch processing in response to a batch request comprising a series of batch instructions. A log storage unit stores database logs in a time series. A log acquisition unit stores in the log storage unit a transaction log indicating the transaction every time when the interactive processor operates the database while the batch processing is not performed. And after the batch processor starts the batch processing, the log acquisition unit stores a checkpoint log indicative of the execution of the batch processing in the log storage unit.