13 – 17 guruh Mirzaolimov A. – amaliy mashg’ulot Mavzu

Rasm 2. Domen vaziyatlarining tasnifi

Statik va dinamik vaziyatlarni ajratib ko'rsatish. Rangga ega bo'lish, yoshga ega bo'lish kabi holatlar statik vaziyatlarning misollari. Dazmol yaratish, non pishirish kabi holatlar dinamik vaziyatlarga misoldir.

E'tibor bering, vaziyat ham ob'ekt bo'lishi mumkin (1-rasmga qarang) va xususiyatlarga ega. Boshqa tomondan, yuqoridagi tasnif xususiyatlarni vaziyatlarning alohida holati sifatida ko'rib chiqadi. Bunday to'qnashuv ma'lumotlar bazasi domenini modellashtirishda noaniqlikni keltirib chiqaradi. Keling, savol beraylik - mashinaning rangi qanday? Ob'ekt, mulk, vaziyat? Ushbu masala muhokamasiga keyingi ma'ruzada qaytamiz.

Yuqoridagi tasnif mavzu sohasiga ikkita muhim jihatni - makon va vaqtni, vaqtni ham moment, ham interval sifatida kiritadi. Mavzu maydoni makon va vaqt ichida mavjud, ya'ni. u, xuddi real dunyo kabi, vaqtinchalik va fazoviy munosabatlar va aloqalarga ega. Tashqi dunyoning haqiqiy vaqtini va uning ma'lumotlar bazasida va axborot manbalarida aks etishini farqlash kerak. Ma'lumotlar bazasida vaqtga bog'liq munosabatlar ma'lumotlar bazasida ro'yxatdan o'tkazilgandan keyingina olinadi. Shunday qilib, har qanday vaqtda predmet sohasi - bu predmet sohasining holati (yoki oniy tasvir) deb nomlangan tanlangan ma'lum narsalar va vaziyatlarning to'plamidir.

Keling, mavzu sohasining ta'rifi bilan tanishtiramiz.

Ta'rif. Mavzu doirasi - bu tashqi dunyo rasmini ma'lum bir spekulyativ rasmga, uning ma'lum bir qismi haqiqat bo'lagining algoritmik modeli sifatida ISda o'rnatiladigan, ma'lum bir spekulyativ rasmga aylantirilishining maqsadli birlamchi o'zgarishi.

Mavzu sohasi tushunchasi o'tgan asrning 80-yillari boshlarida, IP olimlari kompyuter tizimlarida ma'lumotni namoyish qilish uchun semantik modellardan foydalanish zarurligini anglaganlarida kiritilgan. Kompyuter tizimiga qo'yiladigan talablar tabiiy til yordamida shakllangani kabi, kompyuter tizimlaridagi ma'lumotlar ham ma'lum bir semantikaga ega bo'lgan maxsus til yordamida ifodalanadi. Ushbu yondashuv birinchi marta 1976 yilda P. Chen tomonidan taqdim etilgan.