ConceptBase.cc

Deskripsi

ConceptBase.cc adalah sistem database deduktif multi-pengguna dengan model data yang berpusat pada objek. Kemampuannya untuk merepresentasikan informasi pada tingkat abstraksi apa pun (data, kelas, metaclass, meta-metaclass) menjadikannya alat yang ampuh untuk metamodeling dan rekayasa bahasa pemodelan yang disesuaikan. Sistem ini disertai dengan antarmuka pengguna grafis yang sangat dapat dikonfigurasi yang dibangun di atas fitur berbasis logika dari server ConceptBase.cc. ConceptBase.cc dapat merepresentasikan informasi pada level data (contoh data, jejak eksekusi proses), level kelas (skema, definisi proses), level metaclass (konstruksi bahasa pemodelan), level meta-metaclass (konstruksi untuk mendefinisikan pemodelan bahasa), dan sebagainya. Representasi objek yang seragam. Semua objek direpresentasikan dalam struktur data quadruple seragam yang disebut P-facts yang dipelopori oleh pengembang bahasa Telos. Objek, atribut, spesialisasi, dan instantiasinya semuanya direpresentasikan sebagai fakta-P. Dengan ini, misalnya, atribut objek dapat memiliki atribut dan merupakan turunan dari atribut lainnya. Bahkan spesialisasi antar atribut didukung sepenuhnya. Ekspresi logis. Aturan, batasan, dan kueri diekspresikan dalam rumus logika orde pertama. Secara internal, sistem mengubahnya menjadi klausa Horn yang ditafsirkan oleh mesin evaluasi berbasis Datalog. Ekspresi logis di ConceptBase.cc dapat berkisar pada objek apa pun terlepas dari jenisnya (simpul vs. tautan) dan tingkat abstraksinya. Datalog dikenal sebagai sistem komputasi yang paling kuat untuk mengevaluasi ekspresi logis. Aturan aktif. Aturan aktif memperbarui database atau memanggil rutinitas eksternal sebagai reaksi terhadap peristiwa.