This paper has defined the formal semantics of object identities，values，query predicates and database states for complex object databases with a hierarchy of alge-braic specifications．Semantics of queries，especially recursive queries on individual objectsis presented based on insights into query paths．Finally，the semantics of selection opera tions on OODBs is given．