ConceptBase.cc

Опис

ConceptBase.cc — це багатокористувацька дедуктивна система баз даних з об’єктно-орієнтованою моделлю даних. Його здатність представляти інформацію на будь-якому рівні абстракції (дані, клас, метаклас, мета-метаклас) робить його потужним інструментом для метамоделювання та розробки налаштованих мов моделювання. Система супроводжується графічним інтерфейсом користувача з можливістю налаштування, який базується на логічних функціях сервера ConceptBase.cc. ConceptBase.cc може представляти інформацію на рівні даних (приклади даних, сліди виконання процесу), рівні класу (схеми, визначення процесів), рівні метакласу (конструкції мов моделювання), рівні метаметакласу (конструкції для визначення моделювання мови) і так далі. Уніфіковане представлення об’єктів. Усі об’єкти представлені в уніфікованій чотирикратній структурі даних, яка називається P-фактами, яку вперше запровадили розробники мови Telos. Об’єкти, їхні атрибути, спеціалізації та екземпляри представлені як P-факти. Таким чином, наприклад, атрибути об’єктів можуть мати атрибути та бути екземплярами інших атрибутів. Навіть спеціалізація між атрибутами повністю підтримується. Логічні вирази. Правила, обмеження та запити виражаються логічними формулами першого порядку. Внутрішньо система перетворює їх у пропозиції Horn, інтерпретовані машиною оцінки на основі Datalog. Логічні вирази в ConceptBase.cc можуть охоплювати будь-який об’єкт, незалежно від його типу (вузол чи посилання) та рівня абстракції. Datalog відома як найнадійніша обчислювальна система для оцінки логічних виразів. Активні правила. Активні правила оновлюють базу даних або викликають зовнішні підпрограми як реакцію на події.