Formal Semantics of Dynamic Constraints and Derivation Rules in ORM

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

Full text not available from this repository.
Official URL:


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.

Item Type: Article
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: Faculty of IT Mathematics & Sciences
Depositing User: Unnamed user with email
Date Deposited: 14 Mar 2017 07:13
Last Modified: 14 Mar 2017 07:13

Actions (login required)

View Item View Item