Design of object-oriented databases for automatic information control systems is studied. A formal method of analysis and design of optimal structures for object-oriented databases is developed on the basis of sequential interconnected formalizations of user problem domains, clustering of user information and functional requirements, design and analysis of object models for user requirements and object canonical structure of databases and design of optimal logical structures for object-oriented databases. Methods of analysis of problem domains of database users and construction of effective object canonical database structures in the form of classes, objects, and their relations and satisfying principles of abstraction, encapsulation, modularity, and hierarchy are described.