@article{ZENG Hong-chi:91, author = {ZENG Hong-chi, PENG Xin and ZHAO Wen-yun}, title = {Deriving Invariants from Database Transactions}, publisher = {Computer Science}, year = {2017}, journal = {Computer Science}, volume = {44}, number = {11}, eid = {91}, numpages = {6}, pages = {91}, keywords = {Database transaction,Invariant derivation,Algebraic equation}, url = {https://www.jsjkx.com/EN/abstract/article_16644.shtml}, doi = {10.11896/j.issn.1002-137X.2017.11.014} }