ConceptBase.cc

Tavsif

ConceptBase.cc - ob'ektga yo'naltirilgan ma'lumotlar modeliga ega bo'lgan ko'p foydalanuvchili deduktiv ma'lumotlar bazasi tizimi. Uning har qanday abstraksiya darajasida (ma'lumotlar, sinf, metasinf, meta-metasinf) ma'lumotni taqdim etish qobiliyati uni moslashtirilgan modellashtirish tillarini metamodelash va muhandislik qilish uchun kuchli vositaga aylantiradi. Tizim ConceptBase.cc serverining mantiqiy xususiyatlariga asoslangan yuqori darajada sozlanishi grafik foydalanuvchi interfeysi bilan birga keladi. ConceptBase.cc ma'lumotlar darajasida (misol ma'lumotlari, jarayonni bajarish izlari), sinf darajasida (sxemalar, jarayon ta'riflari), metasinf darajasida (modellash tillari konstruksiyalari), meta-metaklass darajasida (modellashni aniqlash uchun konstruktsiyalar) ma'lumotlarni taqdim etishi mumkin. tillar) va boshqalar. Ob'ektning yagona tasviri. Barcha ob'ektlar Telos tilini ishlab chiquvchilar tomonidan yaratilgan P-faktlar deb nomlangan yagona to'rtlik ma'lumotlar tuzilmasida taqdim etilgan. Ob'ektlar, ularning atributlari, ixtisoslashuvlari va namunalari P-faktlar sifatida ifodalanadi. Bu bilan, masalan, ob'ektlarning atributlari atributlarga ega bo'lishi mumkin va boshqa atributlarning namunalari bo'lishi mumkin. Hatto atributlar orasidagi ixtisoslashuv ham to'liq qo'llab-quvvatlanadi. Mantiqiy ifodalar. Qoidalar, cheklovlar va so'rovlar birinchi tartibli mantiqiy formulalarda ifodalanadi. Ichki tizim ularni Datalog-ga asoslangan baholash mashinasi tomonidan sharhlangan Horn bandlariga aylantiradi. ConceptBase.cc dagi mantiqiy ifodalar turi (tugun va havola) va abstraktsiya darajasidan qat'iy nazar har qanday ob'ekt bo'ylab o'zgarishi mumkin. Datalog mantiqiy ifodalarni baholash uchun eng mustahkam hisoblash tizimi ekanligi bilan mashhur. Faol qoidalar. Faol qoidalar ma'lumotlar bazasini yangilaydi yoki hodisalarga reaktsiya sifatida tashqi tartiblarni chaqiradi.