title: an efficient method for checking object-oriented database schema correctness. authors: michele missikoff , anna formica , hans dietmar gröger. venue: acm trans . database syst .. year: 1998.0
title: an efficient method for checking object-oriented database schema correctness a. formica , h. d. groger , m. missikoff 1998. authors: nan. venue: acm transactions on database systems ( tods ). year: nan