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

Simple item page
dc.contributor.authorСагайда, П. І.
dc.contributor.authorКостіков, О. А.
dc.contributor.authorКасьянюк, О. С.
dc.contributor.authorSahaida, P. I.
dc.contributor.authorKostikov, O. A.
dc.contributor.authorKasianiuk, O. S.
dc.date.accessioned2026-02-14T15:51:16Z
dc.date.issued2025
dc.description.abstractУ статті розглядається проблема концептуального проєктування баз даних для предметної галузі «Управління проєктами» та аналізується її складність, що виникає за рахунок унікальності, тимчасовості та високого рівня невизначеності проєктів у різноманітних сферах діяльності. Традиційний підхід до моделювання, що базується на моделі «сутність-зв’язок» (ER-модель), хоч і є широко застосовуваним, має суттєві недоліки, такі як нездатність до підтримки високого рівня абстракції, що призводить до недосконалості таких інформаційних моделей для складних систем. Фундаментальна проблема ER-моделі полягає у її залежності від теорії множин, що обмежує виразну силу моделі під час опису складних бізнес-правил та відношень. Для подолання цих обмежень пропонується підхід, що ґрунтується на теорії категорій (ТК). ТК надає потужний і абстрактний апарат, який дає змогу моделювати не лише сутності (об’єкти), але й відношення (морфізми) як первинні елементи аналізу. Це забезпечує надійну формальну основу, що усуває двозначність і дає змогу уніфікувати різні типи даних (реляційні, XML, графові) в єдиній теоретичній рамці. У роботі описано, як основні поняття ТК, такі як об’єкти, морфізми, композиція та універсальні конструкції (наприклад, pullback), можуть бути використані для моделювання даних. Застосування комутативних діаграм дає змогу формалізувати складні бізнес-правила, такі як «Призначення ресурсу завданню в межах проєкту», що дає можливість перенести бізнес-логіку з рівня реалізації на рівень концептуального проєктування. Порівняльний аналіз показав, що категорійна модель є більш гнучкою, виразною та керованою порівняно з ER-моделлю, особливо в контексті еволюції схеми завдяки концепції функторів. Таким чином, дослідження доводить, що ТК є цінним інструментом для проєктування баз даних у складних предметних галузях, в тому числі для предметної галузі «Управління проєктами», забезпечуючи надійну та математично обґрунтовану основу для моделювання.
dc.description.abstract 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.
dc.identifier.citationСагайда П. І., Костіков О. А., Касьянюк О. С. Використання теорії категорій при концептуальному проєктуванні бази даних для предметної області «Управління проєктами». Науковий Журнал Метінвест Політехніки. Серія: Технічні науки. 2025. No 5. С. 92-98. DOI: https://doi.org/10.32782/3041-2080/2025-5-10
dc.identifier.doihttps://doi.org/10.32782/3041-2080/2025-5-10
dc.identifier.issn3041-2080
dc.identifier.issn3041-2099
dc.identifier.urihttps://dspace.mipolytech.education/handle/mip/3372
dc.language.isouk
dc.publisherТОВ «ТЕХНІЧНИЙ УНІВЕРСИТЕТ «МЕТІНВЕСТ ПОЛІТЕХНІКА»
dc.subjectтеорія категорій
dc.subjectуніверсальні конструкції
dc.subjectконцептуальне проєктування
dc.subjectбаза даних
dc.subjectER-модель
dc.subjectуправління проєктами
dc.subjectбізнес-правила
dc.subjectcategory theory
dc.subjectuniversal constructions
dc.subjectconceptual design
dc.subjectdatabase
dc.subjectER model
dc.subjectproject management
dc.subjectbusiness rules
dc.titleВикористання теорії категорій при концептуальному проєктуванні бази даних для предметної області «Управління проєктами»
dc.title.alternativeUsing category theory in the conceptual design of a database for the “Project Management” domain
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
ВИКОРИСТАННЯ ТЕОРІЇ КАТЕГОРІЙ ПРИ КОНЦЕПТУАЛЬНОМУ ПРОЄКТУВАННІ БАЗИ ДАНИХ ДЛЯ ПРЕДМЕТНОЇ ОБЛАСТІ «УПРАВЛІННЯ ПРОЄКТАМИ».pdf
Size:
368.13 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
10.29 KB
Format:
Item-specific license agreed to upon submission
Description:
Download

Collections

№ 5 2025
Кафедра інформаційних технологій та аналітики даних (ІНТЕХАД)