A program applicable to a computer system for executing a database synchronizing process, which reflects, onto a database of one server, updating of a database of another server by the use of a business application of such another server, when updating information data in which pieces of updating information capable of specifying pre-updating and post-updating states in the database of the another server are held for every unit of transactions are received, executes determination as to whether or not any logical inconsistency occurs between the databases, if the databases of the one and another servers are updated depending on the updating information of the updating information data. When no inconsistency occurs, the databases are updated depending on the updating information. When the inconsistency occurs, an error log is output. The program is recorded on a computer readable recording medium.