in

The ORM Foundation

Get the facts!

ppt P04 Formal Semantics of Dynamic Rules in ORM

Downloads: 70 File Size: 463.5kB
Posted By: Ken Evans Views: 461
Date Added: 11-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. 

Comments

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