Declarative semantics of transactions in ORM
In order to specify databases completely at the conceptual level, conceptual database specification languages should contain a data definition (sub)language (DDL), for specifying data structures (+constraints), a data retrieval (sub)language (DRL), for specifying queries, as well as a (declarative)...
Published in: | Information Systems |
---|---|
Main Author: | |
Format: | Article in Journal/Newspaper |
Language: | English |
Published: |
2016
|
Subjects: | |
Online Access: | https://hdl.handle.net/11370/78d20792-49b7-40c2-9e5b-482c1d3bfc53 https://research.rug.nl/en/publications/78d20792-49b7-40c2-9e5b-482c1d3bfc53 https://doi.org/10.1016/j.is.2016.03.005 https://pure.rug.nl/ws/files/65495594/1_s2.0_S0306437916300849_main.pdf |
id |
ftunigroningenpu:oai:pure.rug.nl:publications/78d20792-49b7-40c2-9e5b-482c1d3bfc53 |
---|---|
record_format |
openpolar |
spelling |
ftunigroningenpu:oai:pure.rug.nl:publications/78d20792-49b7-40c2-9e5b-482c1d3bfc53 2024-06-02T08:05:48+00:00 Declarative semantics of transactions in ORM de Brock, E.O. 2016 application/pdf https://hdl.handle.net/11370/78d20792-49b7-40c2-9e5b-482c1d3bfc53 https://research.rug.nl/en/publications/78d20792-49b7-40c2-9e5b-482c1d3bfc53 https://doi.org/10.1016/j.is.2016.03.005 https://pure.rug.nl/ws/files/65495594/1_s2.0_S0306437916300849_main.pdf eng eng https://research.rug.nl/en/publications/78d20792-49b7-40c2-9e5b-482c1d3bfc53 info:eu-repo/semantics/openAccess de Brock , E O 2016 , ' Declarative semantics of transactions in ORM ' , Information Systems , vol. 60 , pp. 85-94 . https://doi.org/10.1016/j.is.2016.03.005 Transaction modeling Transaction language design Semantics Rollback ORM-method Transaction verbalization DYNAMIC RULES article 2016 ftunigroningenpu https://doi.org/10.1016/j.is.2016.03.005 2024-05-07T19:51:14Z In order to specify databases completely at the conceptual level, conceptual database specification languages should contain a data definition (sub)language (DDL), for specifying data structures (+constraints), a data retrieval (sub)language (DRL), for specifying queries, as well as a (declarative) data manipulation (sub)language (DML), for specifying transactions. Object Role Modeling (ORM) is a powerful method for designing and querying database models at the conceptual level. By means of verbalization the application is also described in natural language as used by domain experts, for communication and validation purposes. ORM currently comprises a DDL and a DRL (ConQuer). However, the ORM-method does not yet contain an expressive DML for specifying transactions at the conceptual level. In an earlier paper we designed a syntactic extension of the ORM-method with a DML for specifying transactions at the conceptual level in a purely declarative way. For all transactions we proposed syntaxes, verbalizations, and diagrams. However, we did not give a formal semantics then. The purpose of this paper is to add a clear, formal and purely declarative semantics to the proposed ORM-transactions. The paper also formally defines rollbacks and illustrates everything with examples (including a solution to a well-known transaction specification problem). The extension of ORM with an expressive set of completely declaratively specified transactions makes ORM complete as a database specification method at the conceptual level. (C) 2016 Elsevier Ltd. All rights reserved. Article in Journal/Newspaper DML University of Groningen research database Information Systems 60 85 94 |
institution |
Open Polar |
collection |
University of Groningen research database |
op_collection_id |
ftunigroningenpu |
language |
English |
topic |
Transaction modeling Transaction language design Semantics Rollback ORM-method Transaction verbalization DYNAMIC RULES |
spellingShingle |
Transaction modeling Transaction language design Semantics Rollback ORM-method Transaction verbalization DYNAMIC RULES de Brock, E.O. Declarative semantics of transactions in ORM |
topic_facet |
Transaction modeling Transaction language design Semantics Rollback ORM-method Transaction verbalization DYNAMIC RULES |
description |
In order to specify databases completely at the conceptual level, conceptual database specification languages should contain a data definition (sub)language (DDL), for specifying data structures (+constraints), a data retrieval (sub)language (DRL), for specifying queries, as well as a (declarative) data manipulation (sub)language (DML), for specifying transactions. Object Role Modeling (ORM) is a powerful method for designing and querying database models at the conceptual level. By means of verbalization the application is also described in natural language as used by domain experts, for communication and validation purposes. ORM currently comprises a DDL and a DRL (ConQuer). However, the ORM-method does not yet contain an expressive DML for specifying transactions at the conceptual level. In an earlier paper we designed a syntactic extension of the ORM-method with a DML for specifying transactions at the conceptual level in a purely declarative way. For all transactions we proposed syntaxes, verbalizations, and diagrams. However, we did not give a formal semantics then. The purpose of this paper is to add a clear, formal and purely declarative semantics to the proposed ORM-transactions. The paper also formally defines rollbacks and illustrates everything with examples (including a solution to a well-known transaction specification problem). The extension of ORM with an expressive set of completely declaratively specified transactions makes ORM complete as a database specification method at the conceptual level. (C) 2016 Elsevier Ltd. All rights reserved. |
format |
Article in Journal/Newspaper |
author |
de Brock, E.O. |
author_facet |
de Brock, E.O. |
author_sort |
de Brock, E.O. |
title |
Declarative semantics of transactions in ORM |
title_short |
Declarative semantics of transactions in ORM |
title_full |
Declarative semantics of transactions in ORM |
title_fullStr |
Declarative semantics of transactions in ORM |
title_full_unstemmed |
Declarative semantics of transactions in ORM |
title_sort |
declarative semantics of transactions in orm |
publishDate |
2016 |
url |
https://hdl.handle.net/11370/78d20792-49b7-40c2-9e5b-482c1d3bfc53 https://research.rug.nl/en/publications/78d20792-49b7-40c2-9e5b-482c1d3bfc53 https://doi.org/10.1016/j.is.2016.03.005 https://pure.rug.nl/ws/files/65495594/1_s2.0_S0306437916300849_main.pdf |
genre |
DML |
genre_facet |
DML |
op_source |
de Brock , E O 2016 , ' Declarative semantics of transactions in ORM ' , Information Systems , vol. 60 , pp. 85-94 . https://doi.org/10.1016/j.is.2016.03.005 |
op_relation |
https://research.rug.nl/en/publications/78d20792-49b7-40c2-9e5b-482c1d3bfc53 |
op_rights |
info:eu-repo/semantics/openAccess |
op_doi |
https://doi.org/10.1016/j.is.2016.03.005 |
container_title |
Information Systems |
container_volume |
60 |
container_start_page |
85 |
op_container_end_page |
94 |
_version_ |
1800750677648998400 |