ConceptBase.cc

Опис

ЦонцептБасе.цц је вишекориснички дедуктивни систем базе података са објектно-центрираним моделом података. Његова способност да представља информације на било ком нивоу апстракције (подаци, класа, метакласа, мета-метакласа) чини га моћним алатом за метамоделирање и инжењеринг прилагођених језика за моделирање. Систем прати веома конфигурабилан графички кориснички интерфејс који се заснива на логичким карактеристикама ЦонцептБасе.цц сервера. ЦонцептБасе.цц може представљати информације на нивоу података (пример података, трагови извршења процеса), нивоу класе (шеме, дефиниције процеса), нивоу метакласе (конструкције језика за моделирање), нивоу мета-метакласе (конструкције за дефинисање моделирања језици) и тако даље. Јединствена репрезентација објекта. Сви објекти су представљени у униформној четворострукој структури података званој П-чињенице коју су пионири развили програмери Телос језика. Објекти, њихови атрибути, специјализације и инстанције су сви представљени као П-чињенице. Овим, на пример, атрибути објеката могу имати атрибуте и бити инстанце других атрибута. Чак је и специјализација између атрибута у потпуности подржана. Логички изрази. Правила, ограничења и упити су изражени логичким формулама првог реда. Интерно, систем их трансформише у Хорн клаузуле које тумачи машина за евалуацију заснована на Даталог-у. Логички изрази у ЦонцептБасе.цц могу се кретати преко било ког објекта без обзира на његов тип (чвор наспрам везе) и ниво апстракције. Даталог је познат по томе што је најробуснији рачунарски систем за процену логичких израза. Активна правила. Активна правила ажурирају базу података или позивају екстерне рутине као реакцију на догађаје.