ConceptBase.cc

Апісанне

ConceptBase.cc - гэта шматкарыстальніцкая сістэма дэдуктыўнай базы дадзеных з аб'ектна-арыентаванай мадэллю даных. Яго здольнасць прадстаўляць інфармацыю на любым узроўні абстракцыі (дадзеныя, клас, метакласс, мета-метакласс) робіць яго магутным інструментам для метамадэлявання і распрацоўкі індывідуальных моў мадэлявання. Сістэма суправаджаецца графічным карыстальніцкім інтэрфейсам з магчымасцю наладжвання, які абапіраецца на лагічныя функцыі сервера ConceptBase.cc. ConceptBase.cc можа прадстаўляць інфармацыю на ўзроўні дадзеных (прыклады дадзеных, сляды выканання працэсаў), узроўні класа (схемы, азначэнні працэсаў), узроўні метакласа (канструкцыі моў мадэлявання), узроўні метаметакласа (канструкцыі для вызначэння мадэлявання мовы) і гэтак далей. Аднастайнае прадстаўленне аб'екта. Усе аб'екты прадстаўлены ў адзінай чатырохкратнай структуры даных, званай P-фактамі, якую ўпершыню ўвялі распрацоўшчыкі мовы Telos. Аб'екты, іх атрыбуты, спецыялізацыі і экзэмпляры - усё гэта прадстаўлена як P-факты. Такім чынам, напрыклад, атрыбуты аб'ектаў могуць мець атрыбуты і быць асобнікамі іншых атрыбутаў. Нават спецыялізацыя паміж атрыбутамі цалкам падтрымліваецца. Лагічныя выразы. Правілы, абмежаванні і запыты выражаюцца ў лагічных формулах першага парадку. Унутрана сістэма пераўтварае іх у пункты Horn, якія інтэрпрэтуюцца ацэначнай машынай на аснове Datalog. Лагічныя выразы ў ConceptBase.cc могуць выкарыстоўвацца для любога аб'екта незалежна ад яго тыпу (вузел супраць спасылкі) і ўзроўню абстракцыі. Datalog вядома як самая надзейная вылічальная сістэма для ацэнкі лагічных выразаў. Дзеючыя правілы. Актыўныя правілы абнаўляюць базу дадзеных або выклікаюць знешнія працэдуры ў якасці рэакцыі на падзеі.