ConceptBase.cc

Сүрөттөмө

ConceptBase.cc – объектке багытталган маалымат модели менен көп колдонуучу дедуктивдүү маалымат базасы системасы. Анын ар кандай абстракция деңгээлинде (маалыматтар, класс, метакласс, мета-метакласс) маалымат берүү жөндөмү аны ылайыкташтырылган моделдөө тилдерин метамоделдөө жана инженериялоо үчүн күчтүү куралга айлантат. Система ConceptBase.cc серверинин логикага негизделген функцияларына негизделген жогорку конфигурациялануучу графикалык колдонуучу интерфейси менен коштолот. ConceptBase.cc маалымат деңгээлинде маалыматты көрсөтө алат (мисалы маалыматтар, процесстин аткарылышынын издери), класс деңгээлинде (схемалар, процесстердин аныктамалары), метакласс деңгээлинде (моделдөө тилдеринин конструкциялары), мета-меткласс деңгээлинде (моделдештирүү үчүн конструкциялар) тилдер) жана башкалар. Объекттин бирдиктүү чагылдырылышы. Бардык объекттер Телос тилинин иштеп чыгуучулары тарабынан демилгеленген P-фактылар деп аталган бирдиктүү төрттүк маалымат структурасында көрсөтүлгөн. Объекттер, алардын атрибуттары, адистештирүүлөрү жана инстанциялары бардыгы Р-фактылар катары көрсөтүлөт. Муну менен, мисалы, объекттердин атрибуттары атрибуттарга ээ болушу мүмкүн жана башка атрибуттардын мисалдары болуп саналат. Атрибуттардын ортосундагы адистештирүү да толугу менен колдоого алынат. Логикалык туюнтмалар. Эрежелер, чектөөлөр жана сурамдар биринчи даражадагы логикалык формулаларда туюнтулган. Ички система аларды Datalog негизиндеги баалоо машинасы тарабынан чечмеленүүчү Horn пункттарына айлантат. ConceptBase.cc ичиндеги логикалык туюнтмалар анын түрүнө (түйүн менен шилтеме) жана абстракция деңгээлине карабастан, каалаган объектиде өзгөрүшү мүмкүн. Datalog логикалык туюнтмаларды баалоо үчүн эң күчтүү эсептөө системасы катары белгилүү. Активдүү эрежелер. Активдүү эрежелер маалымат базасын жаңыртат же окуяларга реакция катары тышкы процедураларды чакырат.