Designing consistency-preserving database transactions | IEEE Conference Publication | IEEE Xplore