title: an efficient method for checking object-oriented database schema correctness. authors: a formica , h grіger , m missikoff. venue: acm trans . database syst .. year: 1998
title: schema evolution in object-oriented database systems. authors: gt nguyen , d rieu. venue: data & knowledge engineering ,. year: 1989.0