Designing conceptual database models for innovative evaluation of quality
- Day - Time: 22 April 2013, h.12:00
- Place: Area della Ricerca CNR di Pisa - Room: C-29
Speakers
Referent
Abstract
The approach to introduce innovative evaluations of quality is based on two different methods: the former is a vertical mapping which starts from the formal specification of a database application and achieves the conceptual model of the ASSO methodology. The latter is a horizontal mapping which starts from a graph of conceptual classes and achieves the resulting model of the previous approach. The innovative evaluation is based on the following points:
- Achievement of the quality desiderata.
- Numerical evaluation of the consistency costs.
- Conceptual evaluation of the resulting model.
The Numerical evaluation of the consistency costs expresses the cost of what has been explicitly specified/proven in terms of variable and constant cardinality. The conceptual evaluation of the model is a set of hidden classes which are implicitly specified within graphs of conceptual classes. This evaluation expresses the saving that you get for what has been implicitly specified/proved. The quantitative evaluation of the consistency costs can be determined starting from the conceptual evaluation of the model. The vice-versa is not possible.