A quorum based termination protocol for distributed database systems