Abstract: Methods, systems and devices for performing incremental updates of a partial database stored on a client device from a computer system containing the database of which the partial database is a subset. A first database record which has been inserted into, deleted from or changed in the server database as a result of a database operation is identified in order to perform a corresponding operation on the client device. In addition, a second record that has not been inserted, deleted or changed, but that is related to the first record through a constraint, is identified. The second record is inserted into or deleted from the partial database through a database operation performed on the client device such that the constraint is fulfilled in the partial database. Identification of records is based on database logs and on the structured relationship between record types.

Abstract: Methods, systems and devices for performing incremental updates of a partial database stored on a client device from a computer system containing the database of which the partial database is a subset. A first database record which has been inserted into, deleted from or changed in the server database as a result of a database operation is identified in order to perform a corresponding operation on the client device. In addition, a second record that has not been inserted, deleted or changed, but that is related to the first record through a constraint, is identified. The second record is inserted into or deleted from the partial database through a database operation performed on the client device such that the constraint is fulfilled in the partial database. Identification of records is based on database logs and on the structured relationship between record types.

Abstract: A transaction based constraint enforcer for a database system is arranged to delay constraint checks until the end of a transaction by creating a check stack during the course of the transaction and executing entries on the check stack at the end of the transaction. A stack maker module is arranged for creating and updating said check stack. The stack maker module is operatively connected to a runtime module in the database system and arranged to receive data from said runtime module. An enforcer module is arranged to receive check data from the check stack, to process the check data received from the check stack, and to provide resulting data to the runtime module. The invention also relates to a method for enforcing a set of constraints that governs the integrity of information stored in a database system, and a database system which includes the constraint enforcer.

Abstract: The present invention relates generally to a computer system for providing access to a database upon a request from an application computer program 250. The computer system includes a data model 260 represented in a data dictionary 230, an application program interface, a data storage 220, and a database kernel 210, 215 providing access from the application program interface to the data storage 220. The database kernel 210, 215 comprises a runtime module 210 for providing access from the application program interface to the database kernel and a storage engine module 215 for providing access from the runtime module 210 to the data storage 220. The runtime module 210 is dynamically changeable, dependent on the data model 260 represented in the data dictionary 230, while the storage engine module 215 is invariable and independent of the data model.