Симонов В.М.

СНЯТИЕ  ОГРАНИЧЕНИЙ  В  ТЕОРЕМЕ  ОБ  ОБОБЩЁННОЙ  ИНТЕГРАЦИИ  КОНЕЧНОГО  ЧИСЛА  ИНФОРМАЦИОННЫХ  СИСТЕМ

Резюме: при доказательстве теоремы об обобщённой интеграции конечного числа информационных систем (ИС) использовались базовые и небазовые ограничения. В общем случае от части их можно избавиться (по условию). Оказывается, что доказательство теоремы в общем случае ничем принципиально не отличается от доказательства с ограничениями. Это показывается на примере из четырёх алгебраических моделей ИС.

Ключевые слова:  базовые и небазовые ограничения,  алгебраическая модель ИС,  допустимые производные модели,  строгий гомоморфизм,  строгий изоморфизм.

Simonov V.M.

REMOVING CONSTRAINTS IN THE THEOREM ON GENERALIZED INTEGRATION OF A FINITE NUMBER OF INFORMATION SYSTEMS

Summary: When proving the theorem on generalized integration of a finite number of information systems (IS), basic and non-base constraints were used.
In general, you can get rid of some of them (by condition). It turns out that the proof of a theorem in the general case is not fundamentally different from a proof with constraints. This is shown by an example of four algebraic models of IS.

Keywords: basic and non-base constraints, IS’s algebraic model, acceptable derived models, strict homomorphism, strict isomorphism.

DOI: 10.34219/2078-8320-2025-16-6-7-15