Real-time distributed database synchronisation