In FIG. 9, each transaction, when using a function including table updating which is an object of the check point, sets the affection flag 711 in the transaction management table 7 (914), and reset the affection flag 711 and execution supervisory flag 712 at the end of use of the function (922, 924).