ConceptBase.cc

Kirjeldus

ConceptBase.cc on objektikeskse andmemudeliga mitme kasutajaga deduktiivne andmebaasisüsteem. Selle võime esitada teavet mis tahes abstraktsioonitasemel (andmed, klass, metaklass, meta-metaklass) muudab selle võimsaks tööriistaks kohandatud modelleerimiskeelte metamodelleerimiseks ja projekteerimiseks. Süsteemiga on kaasas hästi konfigureeritav graafiline kasutajaliides, mis põhineb ConceptBase.cc serveri loogikapõhistel funktsioonidel. ConceptBase.cc võib esindada teavet andmetasandil (näidisandmed, protsesside käitamise jäljed), klassi tasemel (skeemid, protsesside määratlused), metaklassi tasemel (modelleerimiskeelte konstruktsioonid), meta-metaklassi tasemel (konstruktid modelleerimise defineerimiseks keeled) ja nii edasi. Objekti ühtne esitus. Kõik objektid on esindatud ühtses neljakordses andmestruktuuris, mida nimetatakse P-factideks, mille algatasid Telose keele arendajad. Objektid, nende atribuudid, spetsialiseerumised ja instantseeringud on kõik esindatud P-faktidena. Näiteks võivad objektide atribuutidel olla atribuudid ja need on teiste atribuutide eksemplarid. Isegi atribuutide vaheline spetsialiseerumine on täielikult toetatud. Loogilised väljendid. Reeglid, piirangud ja päringud on väljendatud esimest järku loogikavalemites. Sisemiselt muudab süsteem need Horn-klausliteks, mida tõlgendab andmelogipõhine hindamismasin. ConceptBase.cc loogilised avaldised võivad ulatuda mis tahes objektini, olenemata selle tüübist (sõlm vs. link) ja abstraktsioonitasemest. Datalog on tuntud kui kõige tugevam arvutussüsteem loogiliste avaldiste hindamiseks. Aktiivsed reeglid. Aktiivsed reeglid värskendavad andmebaasi või kutsuvad välja välised rutiinid reaktsioonina sündmustele.