Simple conditions for guaranteeing higher normal forms in relational databases
ACM Transactions on Database Systems (TODS)
A normal form for relational databases that is based on domains and keys
ACM Transactions on Database Systems (TODS)
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
Journal of the ACM (JACM)
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Data Modeling Essentials, 2nd Edition: A Comprehensive Guide to Data Analysis, Design, and Innovation
Efficient Discovery of Functional Dependencies and Armstrong Relations
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Samples for Understanding Data-Semantics in Relations
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Data Modeling and Database Design
Data Modeling and Database Design
Teaching agile validation of data models
SIGITE '08 Proceedings of the 9th ACM SIGITE conference on Information technology education
Requirements Analysis: From Business Views to Architecture
Requirements Analysis: From Business Views to Architecture
Hi-index | 0.00 |
This paper presents a method for independent data model validation. The proposed adaptation of the Sharp's method is more effective than normalisation alone and easy to learn. The paper argues that regardless of modelling notation used, both conceptual and logical data models can be validated. Furthermore, the paper presents examples covering cases of normal forms violations. Among the lessons learned is recognition of patterns that can help avoid certain modelling errors. We also report initial evidence of the effectiveness of the proposed method.