title: an efficient method for checking object-oriented database schema correctness acm trans . database syst .. authors: a formica , h grіger , m missikoff. venue: nan. year: 1998.0
title: an efficient method for checking object-oriented database schema correctness acm transactions on database systems , 1998.0. authors: a formica , hd groger , m missikoff. venue: nan. year: nan