A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Brief Announcement: On the Correctness of Transaction Processing with External Dependency
2019
International Symposium on Distributed Computing
Preserved Fulltext
We briefly introduce a unified model to characterize correctness levels stronger (or equal to) serializability in the presence of application invariant. We propose to classify relations among committed transactions into data-related and application semantic-related. Our model delivers a condition that can be used to verify the safety of transactional executions in the presence of application invariant.
doi:10.4230/lipics.disc.2019.46
dblp:conf/wdag/KishiHP19
fatcat:htws7ldglzg4nabu4xjawfzk64