selykielen suunnittelu ja toteutus Samu Viita

33Osa-kokonaisuussuhteita sisältävä rakenne esitetään part-ofstructure element (lyhyesti PSE) –rakenteena, joka sisältää kompleksisen rakenteensekä ekstensionaalisen että intensionaalisen tason erikseen. Tiedot esitetääntavalla, joka mahdollistaa indeksien avulla tapahtuvan tasojen integroinnin.Yksi PSE-rakenne sisältää yhden osa-kokonaisuussuhteen kuvauksen jasitä vastaavat ilmentymät. Komponenttitietokannalla tarkoitetaan kaikista tietokannassaolevista PSE-elementeistä muodostuvaa joukkoa.PSE-rakenne esitetään parina (Ext,N), jossa Ext on ekstensionaalinen ja Nintensionaalinen taso. Ekstensionaalinen taso on joukko, jonka alkioiden rakennemuodostetaan atomisista arvoista, olio-identiteetillä varustetuista tuplerakenteistaja joukoista. Atomisilla arvoilla ei ole rakennetta. Ne ovat jokomerkkijonoja tai lukuja. Nimiöidyllä tuplella on muoto oid, jossa x 1-x novat alkioita ja oid on tuplelle generoitu olioidentiteetti. Joukko esitetään tyyliin{x 1,x 2,…x n} missä x 1-x novat joukon alkioita. Joukko- ja tuplekonstruktorittulkitaan samoin, kuin edellä esitetyssä O 2 -oliomallissakin.Jokainen osa ja kokonaisuus on ekstensionaalisella tasolla kuvattu oliona.Niillä on täten yksikäsitteinen olioidentiteetti. Oliot esitetään tuple-rakenteenavulla. Vasemmalta oikealle mentäessä oliota esittävän tuplen alkiona on ensinattribuuttien arvot ja sitten olion mahdolliset komponentit. Jokaisella oliollapitää olla ainakin yksi attribuutti, jotta indeksointimekanismia pystytään soveltamaan.Komponentit esitetään joukon sisällä kokonaisuuden tuple-rakenteenalkioina. Joukko antaa mahdollisuuden useamman samassa roolissa olevankomponentin esittämiseen.PSE-esityksessä intensionaalinen taso esitetään binäärirelaationa, eli se sisältääjoukon järjestettyjä pareja. Jokaisen parin ensimmäisenä elementtinä onjoko olion tyypin tai attribuutin nimi ja toisena elementtinä indeksi, joka liittyykyseiseen nimeen. Intensionaalisen tason esitystä N voidaan kutsua myös nimeämisrelaatioksi,joka kuvaa joukon indeksejä joukolle, joka muodostuu attribuuttientai olioiden tyyppien nimistä. Binäärirelaatiossa tietty indeksi liitetäänyhteen nimeen, mutta tiettyä nimeä voi vastata useita indeksejä.Havainnollistan formalismin esitystapaa Junkkarin [2001] esittämälläpolkupyöräesimerkillä. Käytän esimerkkiä myös myöhemmin kyselykielen toteutuksen,ja kyselyjen tekemisen yhteydessä. Kuva 2. esittää mallinnettavaa,tricyle-tyyppistä polkupyörää.