基于数据库事务的不变式推导

基于数据库事务的不变式推导

曾虹驰,彭鑫,赵文耘

Deriving Invariants from Database Transactions

ZENG Hong-chi, PENG Xin and ZHAO Wen-yun

计算机科学 . 2017, (11): 91 -97 . DOI: 10.11896/j.issn.1002-137X.2017.11.014