Топологические методы в проектировании системы синхронизации конкурирующих транзакций распределённой базы данных

Автор: Демидов Алексей А.

Журнал: Программные системы: теория и приложения @programmnye-sistemy

Статья в выпуске: 4 (8) т.2, 2011 года.

Бесплатный доступ

Предлагается особый метод выделения объектов на основе топологического анализа внутренней структуры хранимых данных. Понятие функциональной зависимости обобщается до отношения обусловленности, которое используется далее для определения необходимости синхронизации конкурирующих процессов при доступе к данным в распределённой среде. В формализованной таким образом модели управление транзакциями существенно упрощается.

Пассивный кэш, непротиворечивость, распределённая база данных, конкурирующие транзакции, синхронизационные издержки

Короткий адрес: https://sciup.org/14335918

IDR: 14335918   |   УДК: 004.652.8:004.056.2:515.1

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.

Список литературы Топологические методы в проектировании системы синхронизации конкурирующих транзакций распределённой базы данных

  • Abadi D., Thomson A. The Case for Determinism in Database Systems//36th International Conference on Very Large Data Bases, Singapore, 2010, September 13-17: Proceedings of the VLDB Endowment, 2010 Vol. 3, no. 1, p. 70-80
  • Келли Д. Общая топология. Пер. с англ. М.: Наука, 1968. -385 c.
  • Энгелькинг Р. Общая топология. Пер. с англ. М.: Мир, 1986. -752 c.
  • Largeron C., Bonnevay S. A pretopological approach for structural analysis//Information Sciences, 2002. 144, p. 169-185, July
  • Brewer E.A. Towards robust distributed systems (abstract)//Proc. of the 19th Annual ACM Symposium on Principles of Distributed Computing, Port-Land, Oregon, United States, 2000, July 16, p. 7
  • Демидов А. А. Проектирование распределённых систем обработки объектных структур данных//Труды XII Всероссийской научной конференции RCDL’2010. -Казань: Казанский университет, 2010, c. 441-447
  • Чардин П. Многоверсионность данных и управление параллельными транзакциями//Открытые системы, 2005, № 1, c. 64-69