Abstract: Write operations for weakly consistent replicated database systems have application-specific embedded dependency queries and related descriptions of the results that are expected to be returned when the respective dependency queries are run against the database. The dependency queries are arbitrary queries that are provided by the application to satisfy the requirements of the application. Write operations that conflict with the current state of any given instance of such a database are detected by comparing (a) the results that are returned when the dependency queries for those writes are run against the given instance of the database with (b) the results that are expected to be returned.

Abstract: The present invention provides an object-oriented file structuring system. The invention provides a method of defining DATA objects and CONTAINER objects and SYSTEM objects that facilitates navigation through a file structuring system. Notation and nomenclature are defined for building files composed of CONTAINERs and DATA and SYSTEM objects and for defining relationships between and among files, CONTAINERs and DATA. A FOCUS LIST tracks objects of interest and aids in NAVIGATION. CONTAINER objects contain other objects. DATA objects enclose DATA in either machine-dependent or machine-independent value representations. Developers work with logical files and can freely create and modify the logical relationships of file objects. A RECONSTITUTION algorithm periodically updates the physical file to correspond to the logical file.