An incremental update propagation scheme for a cooperative transaction model | IEEE Conference Publication | IEEE Xplore