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: a logical semantics for object-oriented databases j meseguer. authors: nan. venue: nan. year: nan