Title :
Analysis of Update Synchronization for Multiple Copy Data Bases
Author :
Gelenbe, Erol ; Sevcik, Ken
Author_Institution :
Laboratoire de Recherche en Informatique et Automatique, University of Paris
Abstract :
A formal model allowing a precise definition of coherence and promptness in a multiple copy information system is presented and used to analyze a class of update synchronization techniques.
Keywords :
Automatic control; Clocks; Coherence; Communication networks; Computer applications; Delay; Electric breakdown; Information analysis; Information systems;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1979.1675241
