Logic and the Mathematic Model of the Subject-Area Description for Corporate Information Systems

Abstract

Aiming to build and receive a logic-mathematical substantiation and model of the process of constructing the description of any subject area for corporate information systems, the authors divided the subject area for building the system into constituent elements and the relationships between them. Using discrete mathematics methods to the graphs and two-seater predicates of the first order, we built an interconnected model of the subject area. Logical and mathematical models were built upon the main components of the subject area. Based on a technique used to construct its description, the use of the graphical description, combined with the application of transformation in a semantic model of the predicate type, allows us to use further the received model for constructing the normalized databases. The research reveals that constructing the qualitative description of the subject domain of the corporate automated information system requires us to use some consecutive iterations. Logic and mathematical models allow us to construct a general view of the description of the subject area of the corporate automated information system. Further, this generalized model can be transferred to absolutely any concrete subject area. The advantage of constructing the description of the subject area in the form of the predicate type’s semantic model is the integral sight at all considered subject areas, as information representation in the integral form is better perceived. When constructing such a graph, there is a possibility of completely restoring missing logical links. The purpose of the research is to describe the subject area of the corporate system using the graph form of representation. The novelty lies in developing information support model designed for managing processes of acquiring and using knowledge (this model allows to consider usefulness of information elements and didactic connections between elements) and in approach to estimation of achieving information support goals with the use of graphs describing the subject area of corporate system.