Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Cspec: Constraint Specification for Data Modeling

Cspec: Constraint Specification for Data Modeling
View Free PDF
Author(s): Gillian S. Miller (Macquarie University, Australia)
Copyright: 2006
Pages: 3
Source title: Emerging Trends and Challenges in Information Technology Management
Source Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-59904-019-6.ch136
ISBN13: 9781616921286
EISBN13: 9781466665361


Data modeling allows us to elicit and visualize information about business objects and the relationships between them at a high level of abstraction. We argue that data modeling should be augmented to allow a detailed and rigorous specification of data constraints that represent structural invariants and business rules. We propose a language CSpec which extends OCL in a natural way to allow for constraint specification and advocate the use of a minimal but powerful set of notations to express constraint patterns. Novel features of our language are relational constraints, commuting constraints, concept formation, path predicates and safe transitive relationships.

Body Bottom