Використання теорії категорій при концептуальному проєктуванні бази даних для предметної області «Управління проєктами»

У статті розглядається проблема концептуального проєктування баз даних для предметної галузі «Управління проєктами» та аналізується її складність, що виникає за рахунок унікальності, тимчасовості та високого рівня невизначеності проєктів у різноманітних сферах діяльності. Традиційний підхід до моделювання, що базується на моделі «сутність-зв’язок» (ER-модель), хоч і є широко застосовуваним, має суттєві недоліки, такі як нездатність до підтримки високого рівня абстракції, що призводить до недосконалості таких інформаційних моделей для складних систем. Фундаментальна проблема ER-моделі полягає у її залежності від теорії множин, що обмежує виразну силу моделі під час опису складних бізнес-правил та відношень. Для подолання цих обмежень пропонується підхід, що ґрунтується на теорії категорій (ТК). ТК надає потужний і абстрактний апарат, який дає змогу моделювати не лише сутності (об’єкти), але й відношення (морфізми) як первинні елементи аналізу. Це забезпечує надійну формальну основу, що усуває двозначність і дає змогу уніфікувати різні типи даних (реляційні, XML, графові) в єдиній теоретичній рамці. У роботі описано, як основні поняття ТК, такі як об’єкти, морфізми, композиція та універсальні конструкції (наприклад, pullback), можуть бути використані для моделювання даних. Застосування комутативних діаграм дає змогу формалізувати складні бізнес-правила, такі як «Призначення ресурсу завданню в межах проєкту», що дає можливість перенести бізнес-логіку з рівня реалізації на рівень концептуального проєктування. Порівняльний аналіз показав, що категорійна модель є більш гнучкою, виразною та керованою порівняно з ER-моделлю, особливо в контексті еволюції схеми завдяки концепції функторів. Таким чином, дослідження доводить, що ТК є цінним інструментом для проєктування баз даних у складних предметних галузях, в тому числі для предметної галузі «Управління проєктами», забезпечуючи надійну та математично обґрунтовану основу для моделювання.

The article examines the problem of conceptual database design for the “Project Management” domain, analyzing its complexity arising from the uniqueness, temporality, and high level of uncertainty of projects in various fields of activity. The traditional modeling approach, based on the Entity-Relationship model (ER model), although widely used, has significant drawbacks, such as the inability to support a high level of abstraction, which makes these information models imperfect for complex systems. A fundamental problem with the ER model is its reliance on set theory, which limits the expressive power of the model in describing complex business rules and relationships. To overcome these limitations, an approach based on Category Theory (CT) is proposed. CT provides a powerful and abstract framework that allows for the modeling of not only entities (objects) but also relationships (morphisms) as primary elements of analysis. This provides a robust formal foundation that eliminates ambiguity and allows for the unification of different data types (relational, XML, graph) within a single theoretical framework. The paper describes how the core concepts of CT, such as objects, morphisms, composition, and universal constructions (e.g., pullback), can be used for data modeling. The use of commutative diagrams allows for the formalization of complex business rules, such as “Assigning a resource to a task within a project”, by shifting business logic from the implementation level to the conceptual design level. A comparative analysis showed that the categorical model is more flexible, expressive, and manageable compared to the ER model, especially in the context of schema evolution, thanks to the concept of functors. Thus, the research proves that CT is a valuable tool for database design in complex domains, including the “Project Management” domain, by providing a reliable and mathematically sound foundation for modeling.