ConceptBase.cc

Penerangan

ConceptBase.cc ialah sistem pangkalan data deduktif berbilang pengguna dengan model data berpusatkan objek. Keupayaannya untuk mewakili maklumat pada mana-mana peringkat abstraksi (data, kelas, metaclass, meta-metaclass) menjadikannya alat yang berkuasa untuk metamodeling dan kejuruteraan bahasa pemodelan tersuai. Sistem ini disertakan dengan antara muka pengguna grafik yang sangat boleh dikonfigurasikan yang dibina di atas ciri berasaskan logik pelayan ConceptBase.cc. ConceptBase.cc boleh mewakili maklumat pada tahap data (data contoh, jejak pelaksanaan proses), tahap kelas (skema, definisi proses), tahap metaclass (konstruk bahasa pemodelan), tahap meta-metaclass (konstruk untuk menentukan pemodelan bahasa), dan sebagainya. Perwakilan objek seragam. Semua objek diwakili dalam struktur data empat kali ganda seragam yang dipanggil P-facts yang dipelopori oleh pembangun bahasa Telos. Objek, atribut, pengkhususan dan instantiasinya semuanya diwakili sebagai fakta P. Dengan ini, sebagai contoh, atribut objek boleh mempunyai atribut dan merupakan contoh atribut lain. Malah pengkhususan antara atribut disokong sepenuhnya. Ungkapan logik. Peraturan, kekangan dan pertanyaan dinyatakan dalam formula logik urutan pertama. Secara dalaman, sistem mengubahnya menjadi klausa Horn yang ditafsirkan oleh mesin penilaian berasaskan Datalog. Ungkapan logik dalam ConceptBase.cc boleh berjulat ke atas mana-mana objek tanpa mengira jenisnya (nod vs. pautan) dan tahap abstraksinya. Datalog dikenali sebagai sistem pengiraan yang paling teguh untuk menilai ungkapan logik. Peraturan aktif. Peraturan aktif mengemas kini pangkalan data atau memanggil rutin luaran sebagai tindak balas kepada peristiwa.