ConceptBase.cc

Опис

ConceptBase.cc е повеќекориснички дедуктивен систем на бази на податоци со објектно-центриран модел на податоци. Неговата способност да претставува информации на кое било ниво на апстракција (податоци, класа, метакласа, мета-метакласа) го прави моќна алатка за метамоделирање и инженерство на приспособени јазици за моделирање. Системот е придружен со високо конфигурабилен графички кориснички интерфејс кој се надоврзува на логичките карактеристики на серверот ConceptBase.cc. ConceptBase.cc може да претставува информации на ниво на податоци (пример податоци, траги од извршување на процеси), ниво на класа (шеми, дефиниции на процеси), ниво на метакласа (конструкции на јазици за моделирање), ниво на мета-метакласа (конструкции за дефинирање моделирање јазици) и така натаму. Еднообразно претставување на објектот. Сите објекти се претставени во униформа четирикратна структура на податоци наречена P-факти, пионер на развивачите на јазикот Телос. Објектите, нивните атрибути, специјализации и инстанции се сите претставени како P-факти. Со ова, на пример, атрибутите на објектите можат да имаат атрибути и се примери на други атрибути. Дури и специјализацијата помеѓу атрибутите е целосно поддржана. Логички изрази. Правилата, ограничувањата и барањата се изразени во логички формули од прв ред. Внатрешно, системот ги трансформира во Хорн клаузули интерпретирани од машина за оценување базирана на Datalog. Логичките изрази во ConceptBase.cc може да се движат низ кој било објект без оглед на неговиот тип (јазол наспроти врска) и неговото ниво на апстракција. Даталогот е познат по тоа што е најцврстиот пресметковен систем за оценување на логички изрази. Активни правила. Активните правила ја ажурираат базата на податоци или повикуваат надворешни рутини како реакција на настани.