Читать книгу Development MIVAR encyclopaedia - Олег Варламов - Страница 3

Solution of various problems requires accomplishing both logic and computing data processing. Historically, the areas of a logic conclusion and computing processing have been developing independently and have been successfully solving various classes of problems. Somewhat, there existed a contradiction between these approaches [1, 9, 14-21]. Besides, the problems of processing and storage of the various data were divided. Databases were used mainly for storage and search of the demanded data, and system of a logic conclusion and calculations were applied to the information processing, the search of solutions, etc. These areas turned to be poorly crossed, though the purposes of association of all functions on accumulation and information processing in one system [1-20] were regularly proclaimed.

The analysis of almost all models of data representation is carried out in the paper [8]: relational, network, hierarchical, semantic networks, ontology, and “essence-communication" and MIVAR information space (in the whole, more than 25 data models). M.P. Kogalovsky describes the evolution of database technologies and systematizes data on the major technologies in [14]. A.S. Markov and K.J. Lisovskij ([18]) have proved their choice of computational logic methods for the increase of level of intellectuality of relational databases. A.S. Markov introduces the concept of "logic programming of the relational databases" as one of the names of the direction of "deductive databases". A.R. Sajmon conducts the multidimensional analysis of key areas of modern mass technologies of databases and estimates the prospects of their development in [20]. D.A. Pospelov describes in [19] the Russian approach to the productions and its processing. In [1], the structures of data and basic algorithms of modern methodology of program elaboration are examined in detail. In [16], some traits of one of the most popular semantic data models – an "Essence-Relation" model (ER-model) – are examined. In [9], formal representations of data structures of ER-model and MIVAR information space are shown.

Thus, there were theoretical workings on the unification of logic and computing processing. MIVAR information space (MIVAR model of the data) seems to be the most promising of all data models [9].