Aргументация категорного описания сохранения целостности данных в базовой структуре облачных информационных систем

Аннотация

Обеспечение целостности данных в облачных информационных системах гарантирует корректную работу всей системы в целом. Применение абстрактного математического аппарата в виде категорий создает теоретическую базу для исследования обеспечения целостности данных. Обеспечение целостности данных облачных систем достигается путем решения множества задач, среди которых доминирующим является обеспечение целостности доменов, целостности таблиц и ссылочной целостности. В статье для решения этих задач рассматривается применимость методов теории категорий, а именно приводится аргументация категорного описания задач сохранения целостности доменов, таблицы и ссылочной целостности. Категорное описание позволяет представить облачную информационную систему в виде динамической системы. В динамической системе в качестве объекта исследования рассматриваются процессы в виде морфизмов, в частности морфизмы в виде отображений.