A Method for Expressing Integrity Constraints in Database Conceptual Modeling

Authors

  • Alain Pereira Toledo Universidad Central "Marta Abreu" de Las Villas
  • Abel Rodriguez Morffi Universidad Central "Marta Abreu" de Las Villas
  • Alain Pérez Alonso Universidad Técnica Federico Santa María, Sede Concepción
  • Andy Morfa Hernández Universidad Central "Marta Abreu" de Las Villas
  • Luis M. Gonzalez Gonzalez Universidad Central "Marta Abreu" de Las Villas

DOI:

https://doi.org/10.13053/cys-1-1-3217

Keywords:

Integrity constraints, entity-relationship, SBVR, alloy

Abstract

Traditional methods lack the necessary or appropriate means for expressing the integrity constraints during the database conceptual modeling stage. At most, integrity constraints are informally documented and then, coded in the application. This leads to late error detection and database inconsistencies due to the incapacity of the domain expert to validate the program code. Thus, it is necessary to express such constraints in a natural and formal way in order to close the gap between modelers and domain experts, and to support the transformation to other languages and models. As a result, we propose a controlled natural language based on Semantics of Business Vocabulary and Business Rules (SBVR) to help modelers and domain experts in the process of writing and validating the constraints that cannot be represented in an Entity-Relationship schema; and the Alloy language to allow a formal specification. Inaddition, all the correspondences between the models and languages are described in order to consistently express the constraints and to lay the foundations of the automatic transformation. Finally, a case study and a usability survey show that the proposal is feasible, without abandoning a traditional and popular approach such as the Entity-Relationship model.

Downloads

Published

2020-03-25

Issue

Vol. 24 No. 1 (2020): 24(1)2020

Section

Articles

License 

Hereby I transfer exclusively to the Journal "Computación y 
Sistemas", published by the Computing Research Center (CIC-IPN),
the Copyright of the aforementioned paper. I also accept that these 
rights will not be transferred to any other publication, in any other 
format, language or other existing means of developing.
I certify that the paper has not been previously disclosed or simultaneo
usly submitted to any other publication, and that it does not contain 
material whose publication would violate the Copyright or other 
proprietary rights of any person, company or institution. I certify that 
I have the permission from the institution or company where I work or 
study to publish this work.
The representative author accepts the responsibility for the publication
of this paper on behalf of each and every one of the authors. 
This transfer is subject to the following conditions:
  • The authors retain all ownership rights (such as patent rights) of this work, except for the publishing rights transferred to the CIC, through this document.
  • Authors retain the right to publish the work in whole or in part in any book they are the authors or publishers. They can also make use of this work in conferences, courses, personal web pages, and so on.
  • Authors may include working as part of his thesis, for non-profit distribution only.