Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases. - Flavia Cruz; Fernanda Araújo Baião; Marta Mattoso; Gerson Zaverucha (SBIA, 2002)