基于数据库事务的不变式推导 (Deriving Invariants from Database Transactions).

Hongchi Zeng Xin Peng Wenyun Zhao

Published in: 计算机科学 (2017)

Keyphrases

database transactions
integrity constraints
execution model
database
transaction processing
transaction model
distributed databases
mobile computing