Data synchronization is the process of establishing consistency among data from a source to a target data storage and vice versa and the continuous harmonization of the data over time. It is fundamental to a wide variety of applications, including file synchronization and mobile device synchronization e.g., for PDAs.
http://en.wikipedia.org/wiki/Data_synchronization
The problem of synchronizing data is known as set reconciliation problem in Information theory.
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1226606
In computer programming, bidirectional transformations (bx) are programs whose code express a transformation both from input to output and back to the corresponding input (possibly with modifications) in a single piece of code. Bidirectional transformations can be used to maintain several sources of information consistent, and to provide an abstract view to easily manipulate data and write them back to their source.
http://www.cs.cornell.edu/~jnfoster/papers/grace-report.pdf
http://en.wikipedia.org/wiki/Bidirectional_transformation
http://en.wikipedia.org/wiki/Data_synchronization
The problem of synchronizing data is known as set reconciliation problem in Information theory.
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1226606
In computer programming, bidirectional transformations (bx) are programs whose code express a transformation both from input to output and back to the corresponding input (possibly with modifications) in a single piece of code. Bidirectional transformations can be used to maintain several sources of information consistent, and to provide an abstract view to easily manipulate data and write them back to their source.
http://www.cs.cornell.edu/~jnfoster/papers/grace-report.pdf
http://en.wikipedia.org/wiki/Bidirectional_transformation