Declarative semantics of transactions in ORM

作者：

Highlights：

• Transactions and rollbacks are formally defined in a declarative way.

• Transactions with clear formal population semantics are added to the method ORM.

• This makes ORM complete as a database specification method at the conceptual level.

• Also a solution to a well-known transaction specification problem is given as an example.

摘要

•Transactions and rollbacks are formally defined in a declarative way.•Transactions with clear formal population semantics are added to the method ORM.•This makes ORM complete as a database specification method at the conceptual level.•Also a solution to a well-known transaction specification problem is given as an example.

论文关键词：Transaction modeling,Transaction language design,Semantics,Rollback,ORM-method,Transaction verbalization

论文评审过程：Received 6 March 2016, Accepted 10 March 2016, Available online 19 March 2016, Version of Record 14 April 2016.

论文官网地址：https://doi.org/10.1016/j.is.2016.03.005