EXPRESS (ma'lumotlarni modellashtirish tili) - EXPRESS (data modeling language)

Shakl 1. EXPRESS-G yozuvida keltirilgan audio kompakt disk (CD) to'plami uchun ma'lumotlar bazasiga qo'yiladigan talablar.

EXPRESS standart hisoblanadi ma'lumotlarni modellashtirish til uchun mahsulot ma'lumotlar. EXPRESS mahsulotni almashish uchun ISO standartida rasmiylashtirilgan QADAM (ISO 10303) va ISO 10303-11 sifatida standartlashtirilgan.[1]

Umumiy nuqtai

Ma'lumotlar modellari rasmiy ravishda aniqlang ma'lumotlar ob'ektlari va qiziqish doirasi uchun ma'lumotlar ob'ektlari o'rtasidagi munosabatlar. Ma'lumotlar modellarining ba'zi odatiy dasturlari rivojlanishni qo'llab-quvvatlashni o'z ichiga oladi ma'lumotlar bazalari va ma'lum bir qiziqish doirasi bo'yicha ma'lumotlar almashinuvini ta'minlash. Ma'lumotlar modellari ma'lumotlar modellashtirish tilida ko'rsatilgan.[2] EXPRESS - bu ISO 10303-11, EXPRESS Language Reference Manual-da belgilangan ma'lumotlarni modellashtirish tili.[3]

EXPRESS ma'lumotlar modelini matnli va grafik jihatdan ikki xil usulda aniqlash mumkin. Rasmiy tekshirish va kabi vositalar uchun kirish sifatida SDAI ichida matnli vakillik ASCII fayl eng muhimi. Boshqa tomondan, grafik tasvir ko'pincha tushuntirish va o'quv qo'llanmalari kabi inson uchun ko'proq mos keladi. EXPRESS-G deb nomlangan grafik tasvir matn shaklida shakllantirish mumkin bo'lgan barcha tafsilotlarni aks ettira olmaydi.

EXPRESS kabi dasturlash tillariga o'xshaydi Paskal. SCHEMA doirasida tuzilmaviy cheklovlar va algoritmik qoidalar bilan birgalikda har xil ma'lumotlar turlarini aniqlash mumkin. EXPRESS-ning asosiy xususiyati - ma'lumotlar turlarining populyatsiyasini rasmiy ravishda tasdiqlash imkoniyati - bu barcha strukturaviy va algoritmik qoidalarni tekshirishdir.

EXPRESS-G

EXPRESS-G - bu standart grafik yozuv axborot modellari.[4] Bu mavjudot va tur ta'riflarini, aloqalarni va muhimlikni aks ettirish uchun EXPRESS tilining sherigidir.[5] Ushbu grafik yozuv EXPRESS tilining pastki qismini qo'llab-quvvatlaydi. EXPRESS-G-dan EXPRESS-dan foydalanishning afzalliklaridan biri shundaki, ma'lumotlar modeli tuzilishi yanada tushunarli tarzda taqdim etilishi mumkin. EXPRESS-G ning kamchiligi shundaki, murakkab cheklovlarni rasmiy ravishda belgilab bo'lmaydi. 1-rasm misoldir. Shaklda keltirilgan ma'lumotlar modeli audio kompakt disk (CD) yig'ish uchun ma'lumotlar bazasining talablarini aniqlash uchun ishlatilishi mumkin.[2]

Oddiy misol

Shakl 2. Oila sxemasi uchun EXPRESS-G diagrammasi

Oddiy EXPRESS ma'lumotlar modeli anjir 2 ga o'xshaydi va quyidagi kod:

SCHEMA Oilasi; Jismoniy shaxsning qisqacha ma'lumoti (ONEOF (Erkak, Ayol)); ism: STRING; onasi: Ixtiyoriy ayol; otasi: Ixtiyoriy erkak;

Ma'lumotlar modeli EXPRESS sxemasiga kiritilgan Oila. U super tipli shaxsni o'z ichiga oladi Shaxs ikkita kichik tip bilan Erkak va Ayol. Beri Shaxs ABSTRACT deb faqat ikkala (ONEOF) subtipning paydo bo'lishi deb e'lon qilinadi Erkak yoki Ayol mavjud bo'lishi mumkin. Insonning har qanday hodisasi majburiydir ism atribut va ixtiyoriy atributlar Ona va ota. Ba'zi bir turdagi atributlar uchun qat'iy o'qish uslubi mavjud:

  • a Ayol rolini o'ynashi mumkin Ona a Shaxs
  • a Erkak rolini o'ynashi mumkin ota a Shaxs

EXPRESS qurilish bloklari

Ma'lumot turlari

EXPRESS ma'lumotlar turlarining qatorini taqdim etadi, bunda EXPRESS-G yozuvining ma'lum bir ma'lumot turi belgilari mavjud:[2]

A 02A ma'lumotlar turi symbols.svg
  • Tashkilot ma'lumotlarining turi: Bu EXPRESS-dagi eng muhim ma'lumotlar turi. Quyida batafsilroq yoritilgan. Shaxsning ma'lumotlar turlari ikki xil tarzda, sub-supertype daraxtida va / yoki atributlar bo'yicha bog'liq bo'lishi mumkin.
  • Ro'yxatga olish ma'lumotlarining turi: Ro'yxat qiymatlari rgb-sanash uchun qizil, yashil va ko'k kabi oddiy satrlardir. Sanoq turi kengaytiriladigan deb e'lon qilingan taqdirda, uni boshqa sxemalarda kengaytirish mumkin.
  • Ma'lumotlarning aniqlangan turi: Bu qo'shimcha ravishda boshqa ma'lumotlar turlarini ixtisoslashtiradi, masalan,> 0 qiymatiga ega bo'lgan tamsayı tipidagi ijobiy ma'lumot turini aniqlang.
  • Ma'lumot turini tanlang: Tanlash yoki turli xil variantlar orasidagi alternativani belgilaydi. Turli xil shaxs_tiplari orasidagi tanlovlar eng ko'p ishlatiladi. Belgilangan turlarni o'z ichiga olgan tanlovlar kamdan-kam uchraydi. Sanoq turi kengaytiriladigan deb e'lon qilingan taqdirda, uni boshqa sxemalarda kengaytirish mumkin.
  • Oddiy ma'lumotlar turi
    • String: Bu eng ko'p ishlatiladigan oddiy tur. EXPRESS satrlari istalgan uzunlikda va har qanday belgini o'z ichiga olishi mumkin (ISO 10646 / Unicode).
    • Ikkilik: Ushbu ma'lumotlar turi juda kamdan-kam hollarda qo'llaniladi. U bir qator bitlarni (bayt emas) qamrab oladi. Ba'zi dasturlar uchun hajmi 32 bit bilan cheklangan.
    • Mantiqiy: mantiqiy ma'lumotlar turiga o'xshash mantiqiy mumkin bo'lgan TRUE va FALSE qiymatlariga ega va qo'shimcha ravishda BILMASIZ.
    • Mantiqiy mantiq: Haqiqiy va FALSE mantiqiy qiymatlari bilan.
    • Raqam: Raqamli ma'lumotlar turi ikkalasining ham supertipi, butun va haqiqiy. Amalga oshiriladigan aksariyat dasturlar, agar haqiqiy qiymat tamsayı bo'lsa ham, real_type-ni ko'rsatish uchun er-xotin turidan foydalanadi.
    • Butun son: EXPRESS tamsayılari printsipial jihatdan har qanday uzunlikka ega bo'lishi mumkin, ammo aksariyat dasturlar ularni imzolangan 32 bitli qiymat bilan cheklaydi.
    • Haqiqiy: Ideal holda EXPRESS haqiqiy qiymati aniqlik va hajm bo'yicha cheksizdir. Ammo amalda haqiqiy qiymat ikkilamchi turdagi suzuvchi nuqta qiymati bilan ifodalanadi.
  • Ma'lumotlarni yig'ish turi: SET, BAG, LIST va ARRAY kabi mumkin bo'lgan agregatsiya turlari. SET va BAG tartibsiz bo'lsa, LIST va ARRAY buyurtma qilinadi. BAG ma'lum bir qiymatni bir necha marta o'z ichiga olishi mumkin, bunga SET uchun ruxsat berilmaydi. ARRAY - bu o'rnatilmagan a'zolarni o'z ichiga olishi mumkin bo'lgan yagona agregat. SET, LIST, BAG uchun bu mumkin emas. Agregat a'zolari boshqa har qanday ma'lumot turiga ega bo'lishi mumkin.

Ma'lumot turlari uchun bir nechta umumiy narsalarni aytib o'tish kerak.

  • Tuzilgan ma'lumotlar turlarini EXPRESS sxemasi orqali aniqlash mumkin. Ular asosan sub'ektlarni aniqlashda, shaxs atributlari va yig'ma a'zolarning turini belgilashda ishlatiladi.
  • Ma'lumotlar turlarini rekursiv usulda tobora murakkab ma'lumotlar turlarini yaratish uchun ishlatish mumkin. Masalan, ba'zi bir ob'ektlar yoki boshqa ma'lumotlar turlarini SELECT ARRAY ro'yxatini aniqlash mumkin. Agar bunday ma'lumot turlarini aniqlash mantiqiy bo'lsa, bu boshqa savol.
  • EXPRESS ma'lumotlar turini qanday ixtisoslashtirishga oid ikkita qoidalarni belgilaydi. Bu sub'ektlarning qayta e'lon qilingan atributlari uchun muhimdir.
  • Ma'lumotlarning umumiy turlari protseduralar, funktsiyalar va mavhum shaxslar uchun ishlatilishi mumkin.

Shaxs-atribut

Ob'ektning atributlari mavjudliklarga "xususiyatlar" qo'shishga va ma'lum bir rolda bir ob'ektni boshqasi bilan bog'lashga imkon beradi. Atribut nomi rolni belgilaydi. Ko'pgina ma'lumotlar turlari to'g'ridan-to'g'ri atribut turi sifatida xizmat qilishi mumkin. Bunga agregatsiya ham kiradi.

Uch xil atributlar mavjud, aniq, kelib chiqadigan va teskari atributlar. Va bularning barchasi pastki turda qayta e'lon qilinishi mumkin. Bundan tashqari, aniq atributni pastki turda olingan deb e'lon qilish mumkin. Atributlarning boshqa turini o'zgartirish mumkin emas.

  • Aniq atributlar - bu STEP-File-da ko'rinadigan to'g'ridan-to'g'ri qiymatlarga ega xususiyatlar.
  • Olingan atributlar o'z qiymatlarini ifodadan oladi. Ko'pgina hollarda ushbu ibora ushbu misolning boshqa atributlariga tegishli. Ushbu ifoda EXPRESS funktsiyalaridan ham foydalanishi mumkin.
  • Teskari atributlar ob'ektga "ma'lumot" qo'shmaydi, faqat boshqa uchidan ob'ektga aniq atributni nomlaydi va cheklaydi.

EXPRESS-G yozuvining o'ziga xos atribut belgilari:[2]

02B Attribute symbols.svg

Supertiplar va kichik tiplar

Tashkilotni bir yoki bir nechta boshqa sub'ektning pastki turi deb aniqlash mumkin (ko'p merosga ruxsat beriladi!). Supertip har qanday sonli subtipga ega bo'lishi mumkin. STEP-da juda murakkab sub-supertaypli grafikalar tuzish odatiy holdir. Ba'zi grafikalar 100 va undan ortiq ob'ektlarni bir-biri bilan bog'laydi.

Mavzu namunasi bitta sub'ekt uchun (agar mavhum bo'lmasa) yoki bunday sub-supertayp grafikdagi ob'ektlarning murakkab birikmasi uchun tuzilishi mumkin. Katta grafikalar uchun mumkin bo'lgan kombinatsiyalar soni astronomik diapazonlarda o'sishi mumkin. Mumkin bo'lgan kombinatsiyalarni cheklash uchun ONEOF va TOTALOVER kabi maxsus supertayp cheklovlari joriy etildi. Bundan tashqari, ob'ektni mavhum deb e'lon qilish mumkin, chunki u faqat ushbu mavjudotdan biron bir misol yaratib bo'lmaydi, lekin u mavhum bo'lmagan pastki turini o'z ichiga olgan taqdirdagina.

Algoritmik cheklovlar

Tashkilotlar va aniqlangan ma'lumotlar turlari bilan cheklash mumkin Qaerda qoidalar. Qaerda qoidalar, shuningdek, global qoidalarning bir qismidir. A Qaerda qoida - bu ifoda bo'lib, uni Haqiqiy qiymatga etkazish kerak, aks holda EXPRESS sxemasining populyatsiyasi haqiqiy emas. Olingan atributlar singari, bu ifoda EXPRESS funktsiyalarini ishga solishi mumkin, bu esa EXPRESS protseduralarini chaqirishi mumkin. Funksiyalar va protseduralar dasturlash tiliga juda o'xshash bo'lgan mahalliy o'zgaruvchilar, parametrlar va doimiylar bilan murakkab bayonotlarni shakllantirishga imkon beradi.

EXPRESS tili mahalliy va global qoidalarni tavsiflashi mumkin. Masalan:

 TASHKILOT maydon_birligi   SUBTYPE OF (nomli birlik); Qaerda   WR1: (O'ZIismli birlik.o'lchamlari.length_exponent = 2) VA        (O'ZIismli birlik.o'lchamlari.mass_eksponent = 0) VA        (O'ZInomli birlik.o'lchamlari.vaqt_eksponent = 0) VA        (O'ZInomli birlik.o'lchamlari.elektr_o'tkazuvchi_eksponent = 0) VA        (O'ZInomli birlik.o'lchamlari.          termodinamik_temperature_exponent = 0) VA        (O'ZInomli birlik.o'lchamlari.modda_eksponent miqdori = 0) VA        (O'ZIismli birlik.o'lchamlari.nurli_intensiya_eksponent = 0); END_ENTITY; - maydon birligi

Ushbu misolda area_unit ob'ekti uzunlikning kvadrat qiymatiga ega bo'lishi kerakligi tasvirlangan. Buning uchun o'lchovlar.length_exponent atributlari 2 ga, asosiy SI birliklarining barcha boshqa ko'rsatkichlari 0 ga teng bo'lishi kerak.

Yana bir misol:

 TURI kun_haftasida_son = INTEGER; Qaerda   WR1: (1 <= O'ZI) VA (O'ZI <= 7); END_TYPE; - kun_haftasida_son

Ya'ni, bu hafta qiymati 7 dan oshmasligi kerakligini anglatadi.

Shunday qilib, siz o'zingizning shaxslaringizga ba'zi qoidalarni tavsiflashingiz mumkin. Ushbu misollar haqida batafsil ma'lumotni ushbu sahifada topishingiz mumkin ISO 10303 -41

Shuningdek qarang

ISO bilan bog'liq mavzular
  • ISO 10303: Sanoat mahsuloti ma'lumotlarini kompyuter tomonidan izohlash va almashish uchun ISO standarti.
  • ISO 10303-21: ASCII tuzilishga ega STEP ma'lumotlar almashinuvi shakli
  • ISO 10303-22: STEP-ni amalga oshirish usullarining bir qismi bo'lgan standart ma'lumotlarga kirish interfeysi
  • ISO 10303-28: STEP-XML EXPRESS sxemasini ifodalash uchun kengaytiriladigan belgilash tilidan (XML) foydalanishni belgilaydi.
  • ISO 13584 -24: PLIB ning mantiqiy modeli EXPRESS-da ko'rsatilgan
  • ISO 13399: Asboblarni namoyish qilish va almashtirishni kesish uchun ISO standarti
  • ISO / PAS 16739: Industry Foundation sinflari EXPRESS-da ko'rsatilgan
  • STEP (ISO 10303) qismlari ro'yxati
Boshqa tegishli mavzular

Adabiyotlar

Ushbu maqola o'z ichiga oladijamoat mulki materiallari dan Milliy standartlar va texnologiyalar instituti veb-sayt https://www.nist.gov.

  1. ^ ISO 10303-11: 2004 Sanoat avtomatlashtirish tizimlari va integratsiyasi - Mahsulot ma'lumotlarini namoyish qilish va almashtirish - 11-qism: Ta'riflash usullari: EXPRESS tili ma'lumotnomasi
  2. ^ a b v d Maykl R. Makkaleb (1999). "Ma'lumotlar tizimlarining ma'lumotlar kontseptsiya modeli". Milliy standartlar va texnologiyalar instituti. 1999 yil avgust.
  3. ^ ISO Xalqaro standarti 10303-11: 1994, Ishlab chiqarishni avtomatlashtirish tizimlari va integratsiya - Mahsulot ma'lumotlarini namoyish qilish va almashtirish - 11-qism: Ta'rif usullari: EXPRESS til ma'lumotnomasi, Xalqaro standartlashtirish tashkiloti, Jeneva, Shveytsariya (1994).
  4. ^ 4 EXPRESS-G tiliga umumiy nuqtai Arxivlandi 2008-11-09 da Orqaga qaytish mashinasi. Kirish 9 Noyabr 2008.
  5. ^ EXPRESS-G yozuvi haqida ma'lumot olish uchun EXPRESS tiliga ma'lumot qo'llanmasining B ISO ilovasiga murojaat qiling (ISO 10303-11)

Qo'shimcha o'qish

  • ISO 10303, uchun asosiy sahifa STEP, mahsulot modeli ma'lumotlarini almashish standarti
  • Duglas A. Shenk va Piter R. Uilson, EXPRESS usulini modellashtirish, Oksford universiteti matbuoti, 1993 yil, ISBN  978-0-19-508714-7