ConceptBase.cc

Описание

ConceptBase.cc — это многопользовательская дедуктивная система баз данных с объектно-ориентированной моделью данных. Его способность представлять информацию на любом уровне абстракции (данные, класс, метакласс, мета-метакласс) делает его мощным инструментом для метамоделирования и разработки настраиваемых языков моделирования. Система сопровождается гибко настраиваемым графическим пользовательским интерфейсом, основанным на логических функциях сервера ConceptBase.cc. ConceptBase.cc может представлять информацию на уровне данных (примеры данных, трассировки выполнения процессов), уровне класса (схемы, определения процессов), уровне метакласса (конструкции языков моделирования), уровне мета-метакласса (конструкции для определения моделирования). языки) и так далее. Единое представление объекта. Все объекты представлены в единой четверной структуре данных, называемой P-фактами, впервые созданной разработчиками языка Telos. Объекты, их атрибуты, специализации и экземпляры представлены в виде P-фактов. Благодаря этому, например, атрибуты объектов могут иметь атрибуты и быть экземплярами других атрибутов. Полностью поддерживается даже специализация между атрибутами. Логические выражения. Правила, ограничения и запросы выражаются в логических формулах первого порядка. Внутри система преобразует их в предложения Хорна, интерпретируемые оценочной машиной на основе Datalog. Логические выражения в ConceptBase.cc могут охватывать любой объект независимо от его типа (узел или ссылка) и уровня абстракции. Datalog известен как самая надежная вычислительная система для оценки логических выражений. Активные правила. Активные правила обновляют базу данных или вызывают внешние подпрограммы в качестве реакции на события.