The ORM Foundation

Get the facts!

ppt P04 Formal Semantics of Dynamic Rules in ORM

Downloads: 263 File Size: 463.5kB
Posted By: Ken Evans Views: 1,094
Date Added: Fri, Nov 21 2008

Abstract: This paper provides formal semantics for an extension of the Object-Role Modeling approach that supports declaration of dynamic rules.


Dynamic rules differ from static rules by pertaining to properties of state transitions, rather than to the states themselves. In this paper we restrict application of dynamic rules to so-called single-step transactions, with an old state (the input of the transaction) and a new state (the direct result of that transaction). These dynamic rules further specify an elementary transaction type by indicating which kind of object or fact (being added, deleted or updated) is actually allowed.


Dynamic rules may declare pre-conditions relevant to the transaction, and a condition

stating the properties of the new state, including the relation between the new state and the old state. In this paper we provide such dynamic rules with a formal semantics based on sorted, first-order predicate logic.


The key idea to our solution is the formalization of dynamic constraints as static constraints on the database transaction history.



Herman Balsters, University of Groningen, The Netherlands
Terry Halpin, Neumont University, Utah, USA. 


No comments exist for this file.
© 2008-2020 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service