Formal Semantics of Dynamic Constraints and Derivation Rules in ORM

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...

Full description

Bibliographic Details
Main Authors: Balsters, Herman, Halpin, Terry
Format: Article
Published: IGI Global 2016
Subjects:
QA76 Computer software
Online Access:http://eprints.intimal.edu.my/734/
http://eprints.intimal.edu.my/734/
http://eprints.intimal.edu.my/734/
id intimal-734
recordtype eprints
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
repository_type Digital Repository
institution_category Local University
institution INTI International University
building INTI Institutional Repository
collection Online Access
topic QA76 Computer software
spellingShingle QA76 Computer software
Balsters, Herman
Halpin, Terry
Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
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.
format Article
author Balsters, Herman
Halpin, Terry
author_facet Balsters, Herman
Halpin, Terry
author_sort Balsters, Herman
title Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
title_short 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_sort formal semantics of dynamic constraints and derivation rules in orm
publisher IGI Global
publishDate 2016
url http://eprints.intimal.edu.my/734/
http://eprints.intimal.edu.my/734/
http://eprints.intimal.edu.my/734/
first_indexed 2018-09-05T09:11:32Z
last_indexed 2018-09-05T09:11:32Z
_version_ 1610758165300772864

Similar Items