Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
This paper provides formal semantics for an extension of the Object-Role Modeling approach to support declaration of dynamic rules. Dynamic rules differ from static rules by involving state transitions, rather than simply individual states. This paper restricts application of dynamic rules to single...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Published: |
IGI Global
2016
|
| Subjects: | |
| Online Access: | http://eprints.intimal.edu.my/734/ |
| _version_ | 1848766552869961728 |
|---|---|
| author | Balsters, Herman Halpin, Terry |
| author_facet | Balsters, Herman Halpin, Terry |
| author_sort | Balsters, Herman |
| building | INTI Institutional Repository |
| collection | Online Access |
| description | This paper provides formal semantics for an extension of the Object-Role Modeling approach to support declaration of dynamic rules. Dynamic rules differ from static rules by involving state transitions, rather than simply individual states. This paper restricts application of dynamic rules to single-step transactions, with a previous state (input to the transaction) and a new state (the result of that transaction). These dynamic rules specify an elementary transaction type by indicating which kinds of objects or facts (being added, deleted or updated) are involved. Dynamic rules may declare pre-conditions relevant to the transaction, and a post-condition stating the properties of the new state. In this paper the authors provide such dynamic rules with a formal semantics based on sorted, first-order predicate logic. The key idea underlying their solution is the formalization of dynamic constraints in terms of static constraints on the database transaction history. |
| first_indexed | 2025-11-14T11:52:58Z |
| format | Article |
| id | intimal-734 |
| institution | INTI International University |
| institution_category | Local University |
| last_indexed | 2025-11-14T11:52:58Z |
| publishDate | 2016 |
| publisher | IGI Global |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | intimal-7342017-03-14T07:13:35Z http://eprints.intimal.edu.my/734/ Formal Semantics of Dynamic Constraints and Derivation Rules in ORM Balsters, Herman Halpin, Terry QA76 Computer software This paper provides formal semantics for an extension of the Object-Role Modeling approach to support declaration of dynamic rules. Dynamic rules differ from static rules by involving state transitions, rather than simply individual states. This paper restricts application of dynamic rules to single-step transactions, with a previous state (input to the transaction) and a new state (the result of that transaction). These dynamic rules specify an elementary transaction type by indicating which kinds of objects or facts (being added, deleted or updated) are involved. Dynamic rules may declare pre-conditions relevant to the transaction, and a post-condition stating the properties of the new state. In this paper the authors provide such dynamic rules with a formal semantics based on sorted, first-order predicate logic. The key idea underlying their solution is the formalization of dynamic constraints in terms of static constraints on the database transaction history. IGI Global 2016 Article PeerReviewed Balsters, Herman and Halpin, Terry (2016) Formal Semantics of Dynamic Constraints and Derivation Rules in ORM. International Journal of Information System Modeling and Design (IJISMD), 7 (2). ISSN 1947-8186 http://www.igi-global.com/article/formal-semantics-of-dynamic-constraints-and-derivation-rules-in-orm/162695 10.4018/IJISMD.2016040102 |
| spellingShingle | QA76 Computer software Balsters, Herman Halpin, Terry Formal Semantics of Dynamic Constraints and Derivation Rules in ORM |
| title | Formal Semantics of Dynamic Constraints and Derivation Rules in ORM |
| title_full | Formal Semantics of Dynamic Constraints and Derivation Rules in ORM |
| title_fullStr | Formal Semantics of Dynamic Constraints and Derivation Rules in ORM |
| title_full_unstemmed | Formal Semantics of Dynamic Constraints and Derivation Rules in ORM |
| title_short | Formal Semantics of Dynamic Constraints and Derivation Rules in ORM |
| title_sort | formal semantics of dynamic constraints and derivation rules in orm |
| topic | QA76 Computer software |
| url | http://eprints.intimal.edu.my/734/ http://eprints.intimal.edu.my/734/ http://eprints.intimal.edu.my/734/ |