проектування, проектирование ; база даних, база данных, database

Предлагается метод проектирования онтологий формальной теории, основанной на теории категорий и методах гомологической алгебры. Метод иллюстрируется на примере проектирования избранных онтологий предметной области "Теория формальных схем и групп". Кратко рассматриваются теоретические основы метода.

Матеріали IX міжнародної науково-технічної конференції "ABІА-2009", 21-23 вересня 2009 року [Текст] / Кулик М.С., гол. оргком.; Національний авіаційний університет; МОН. — Київ, 2009. — іл.

• ББК науковий // Бази даних