This report presents a formal approach to support schema integration in object-oriented databases. The basis of the approach is a synthetic subclass order to compare classes. Classes are integrated in a natural way using a join operator w.r.t. the subclass order. In contrast with existing literature, our subclass order compares classes not only by their attributes, but also by the behaviour of ...