ConceptBase.cc

Përshkrim

ConceptBase.cc është një sistem bazë të dhënash deduktive me shumë përdorues me një model të dhënash të përqendruar te objekti. Aftësia e tij për të përfaqësuar informacionin në çdo nivel abstraksioni (të dhëna, klasë, metaclass, meta-meta-class) e bën atë një mjet të fuqishëm për metamodelimin dhe inxhinierinë e gjuhëve të modelimit të personalizuara. Sistemi shoqërohet nga një ndërfaqe grafike shumë e konfigurueshme e përdoruesit që bazohet në veçoritë e bazuara në logjikë të serverit ConceptBase.cc. ConceptBase.cc mund të përfaqësojë informacion në nivelin e të dhënave (shembull të dhëna, gjurmë të ekzekutimeve të procesit), nivelin e klasës (skema, përkufizimet e procesit), nivelin e metaklasës (ndërtimet e gjuhëve modeluese), nivelin meta-metaklase (konstruktet për përcaktimin e modelimit gjuhë), e kështu me radhë. Paraqitja uniforme e objektit. Të gjitha objektet janë të përfaqësuara në një strukturë uniforme katërfishe të dhënash të quajtur P-faktet e krijuara nga zhvilluesit e gjuhës Telos. Objektet, atributet e tyre, specializimet dhe instancat përfaqësohen të gjitha si P-fakte. Me këtë, për shembull, atributet e objekteve mund të kenë atribute dhe janë shembuj të atributeve të tjera. Edhe specializimi midis atributeve mbështetet plotësisht. Shprehje logjike. Rregullat, kufizimet dhe pyetjet shprehen në formula logjike të rendit të parë. Brenda, sistemi i transformon ato në klauzola Horn të interpretuara nga një makinë vlerësimi e bazuar në Datalog. Shprehjet logjike në ConceptBase.cc mund të variojnë mbi çdo objekt, pavarësisht nga lloji i tij (nyja kundrejt lidhjes) dhe niveli i tij i abstraksionit. Datalog është i njohur si sistemi më i fuqishëm llogaritës për vlerësimin e shprehjeve logjike. Rregullat aktive. Rregullat aktive përditësojnë bazën e të dhënave ose thërrasin rutina të jashtme si reagim ndaj ngjarjeve.