Topological methods in the synchronization system design for concurrent transactions in distributed databases

A special method of selecting objects is proposed based on topological analysis of the stored data internal structure. The concept of functional dependence is generalized to relation of conditionality, which is then used to determine the need for data access synchronization of concurrent processes in a distributed environment. This way formalized model essentially simplifies the transaction management.