Towards a Formal Approach for Object Database Design
Pascal Poncelet, Maguelonne Teisseire, Rosine Cicchetti, Lotfi Lakhal · 1993
This paper focuses on a formal approach * for advanced database modeling and design. It is based on the IF02 model, an extension of the semantic model IF0 defined by S. Abiteboul and R. Hull. It preserves the acquired