Part II is devoted to the formulation of the problem and models and methods of design of optimal logical structures for object-oriented databases used in designing automatic information control systems. The effectiveness criteria used for the problem design are defined by the minimal total time of utilization of databases and service of a given set of user inquires and transactions, minimal total time of implementation of a set of inquires and transactions over the database. Design problems are formulated as nonlinear integer programming problems and effective exact and heuristic algorithms are developed to solve them.