ConceptBase.cc

Maelezo

ConceptBase.cc ni mfumo wa hifadhidata wa makato wa watumiaji wengi wenye muundo wa data unaozingatia kitu. Uwezo wake wa kuwakilisha maelezo katika kiwango chochote cha uondoaji (data, darasa, metaclass, meta-metaclass) huifanya kuwa zana madhubuti ya usanifu na uhandisi wa lugha za kielelezo zilizogeuzwa kukufaa. Mfumo unaambatana na kiolesura cha mchoro kinachoweza kusanidiwa sana ambacho hujengwa juu ya vipengele vinavyotegemea mantiki vya seva ya ConceptBase.cc. ConceptBase.cc inaweza kuwakilisha taarifa katika kiwango cha data (mfano wa data, ufuatiliaji wa utekelezaji wa mchakato), kiwango cha darasa (mipangilio, ufafanuzi wa mchakato), kiwango cha metaclass (miundo ya lugha za kielelezo), kiwango cha meta-metaclass (mipangilio ya kufafanua uundaji lugha), na kadhalika. Uwakilishi wa kitu sare. Vipengee vyote vinawakilishwa katika muundo sare wa data wenye pembe nne uitwao P-facts iliyoanzishwa na wasanidi wa lugha ya Telos. Vipengee, sifa, utaalam, na arifa zao zote zinawakilishwa kama ukweli wa P. Kwa hili, kwa mfano, sifa za vitu zinaweza kuwa na sifa na ni mifano ya sifa nyingine. Hata utaalam kati ya sifa unasaidiwa kikamilifu. Maneno yenye mantiki. Sheria, vikwazo, na hoja zinaonyeshwa katika fomula za mpangilio wa kwanza. Kwa ndani, mfumo huzibadilisha kuwa vifungu vya Pembe vinavyotafsiriwa na mashine ya kutathmini kulingana na Datalog. Misemo ya kimantiki katika ConceptBase.cc inaweza kutofautiana juu ya kitu chochote bila kujali aina yake (nodi dhidi ya kiungo) na kiwango chake cha uondoaji. Datalogi inajulikana kwa kuwa mfumo thabiti zaidi wa kukokotoa wa kutathmini misemo yenye mantiki. Sheria zinazotumika. Sheria zinazotumika husasisha hifadhidata au piga simu taratibu za nje kama jibu la matukio.