Modeling a Multiversion Data Warehouse: A Formal Approach. · Study