A library and protocol for synchronizing relational databases