Cardinalities in depth: a formal approach to partial validation of conceptual schema
| Autor: | Georges Grosz, Sylviane R. Schwer |
|---|---|
| Přispěvatelé: | Centre de Recherche en Informatique de Paris 1 (CRI), Université Paris 1 Panthéon-Sorbonne (UP1) |
| Rok vydání: | 1995 |
| Předmět: |
Transitive relation
Theoretical computer science Computer science [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] Automatic deduction Diagram 020207 software engineering 02 engineering and technology Conceptual schema Computer Science Applications Partial validation Set (abstract data type) Cardinality 020204 information systems 0202 electrical engineering electronic engineering information engineering Algorithm ComputingMilieux_MISCELLANEOUS Software Information Systems |
| Zdroj: | Information and Software Technology Information and Software Technology, Elsevier, 1995, pp.572-579 |
| ISSN: | 0950-5849 1873-6025 |
| DOI: | 10.1016/0950-5849(95)90933-l |
| Popis: | This paper presents an innovative approach to partially validate E/R specifications. It is based on the automatic deduction of cardinalities for transitive relationship. The major result of this work is a set of deduction rules relying on mathematical function composition. These deduced cardinalities can be effectively used by the designer to validate E/R specifications. He/she can check the accuracy of the deductions made towards the reality. In some cases, automatic deduction is not possible. Then, a careful study of the relationships is proposed. This can lead to reconsider what the relationship really is and how it should be represented using E/R concepts. Major changes in the E/R diagram can be achieved this way and thereby improve significantly the E/R specifications. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect