ConceptBase.cc

apibūdinimas

ConceptBase.cc yra kelių vartotojų dedukcinė duomenų bazių sistema su į objektą orientuotu duomenų modeliu. Jo gebėjimas pateikti informaciją bet kokiu abstrakcijos lygiu (duomenys, klasė, metaklasė, meta-metaklasė) daro jį galingu įrankiu metamodeliavimui ir pritaikytų modeliavimo kalbų inžinerijai. Sistemą papildo labai konfigūruojama grafinė vartotojo sąsaja, kuri remiasi ConceptBase.cc serverio logika pagrįstomis funkcijomis. ConceptBase.cc gali vaizduoti informaciją duomenų lygiu (pavyzdiniai duomenys, procesų vykdymo pėdsakai), klasės lygiu (schemos, procesų apibrėžimai), metaklasės lygiu (modeliavimo kalbų konstrukcijos), meta-metaklasės lygiu (modeliavimo apibrėžimo konstrukcijos kalbos) ir pan. Vienodas objekto vaizdavimas. Visi objektai pavaizduoti vienodoje keturių duomenų struktūroje, vadinamoje P-faktais, kuriuos sukūrė Telos kalbos kūrėjai. Objektai, jų atributai, specializacijos ir egzemplioriai pateikiami kaip P-faktai. Pavyzdžiui, objektų atributai gali turėti atributus ir yra kitų atributų pavyzdžiai. Visiškai palaikoma netgi specializacija tarp atributų. Loginės išraiškos. Taisyklės, apribojimai ir užklausos išreiškiamos pirmosios eilės loginėmis formulėmis. Viduje sistema juos paverčia „Horn“ sąlygomis, kurias interpretuoja duomenų žurnalu pagrįsta vertinimo mašina. Loginės išraiškos ConceptBase.cc gali apimti bet kurį objektą, neatsižvelgiant į jo tipą (mazgas prieš saitą) ir abstrakcijos lygį. „Datalog“ yra žinoma kaip patikimiausia skaičiavimo sistema, skirta loginėms išraiškoms įvertinti. Aktyvios taisyklės. Aktyvios taisyklės atnaujina duomenų bazę arba iškviečia išorines procedūras kaip reakciją į įvykius.