Tanyanskіy S. Models, methods and information technologies for integration of heterogeneous distributed databases

The thesis is devoted to solving of scientific and practical problem of creation on unitary methodological base of new models and methods for integration of distributed databases with heterogeneous structure, methods and tools of analysis of data models association. A classification of heterogeneous structures of databases is proposed, a classes of physical and logical heterogeneity are extracted. It is shown that the technology of data federalization is most acceptable for integration of heterogeneous data. L-regulations which form complete in one sense set of information objects that defines an information space of the knowledge domain are introduced. A system of axioms for constructing of the regulations L+ is proposed. A problem of checking of belonging of a regulation to the set L+ is solved. A separate class of the regulations - constructions of integrity is introduced on the ground of the logical existence regulations. A behavior of semantics under modification of the database is investigated. A method of minimal changes of database semantics under modification of the database structure is worked out. Possibilities of manipulation of the data which are structured with violation of requirements of relational model are investigated. A query language in the form of expressions of calculus with variables on domains is formally defined. It is shown that proposed formulation of the language may be applied not only to data having relational structure. Obtained theoretical results are used under construction and implementation of information systems of different functional purpose and training that is confirmed by acts and certificates about implementation.