selykielen suunnittelu ja toteutus Samu Viita

48Prolog-ohjelmassa aikaisemmin kuin niiden kompositio. Tämän jälkeenjohdetut attribuutit muodostetaan metodien avulla. Johdettujen attribuuttienvaatimuksena on se, että ne ovat yksipaikkaisia metodeja. Metodin ollessa yksipaikkainensitä voidaan soveltaa Prolog++:ssa samalla tavalla kuin attribuuttejakin.Tällöin käyttäjän ei tarvitse tietää, onko kyseessä johdettu- vai normaaliattribuutti. Edellä olleet tehtävät riippuvat kulloisestakin sovellutusalueesta,missä kyselykieltä tullaan käyttämään. Näiden vaiheiden lisäksi prototyyppitoteutuksessaon suoritettava manuaalisesti sekä tulostusmetodin määrittäminenluokkaan, että intensionaalisen esityksen laatiminen. Tulevaisuudessa tämä työon tarkoitus saada käyttäjälle automaattiseksi tai graafisella käyttöliittymälläsuoritettavaksi. Myös ensimmäisen pakollisen vaiheen tulostusmetodin saamistaautomaattiseksi tutkitaan jatkossa.5.4.3. PSE-tietokannan kuvaus ja esimerkkitietokantaTietokannan tulee sisältää kaikkien ylimpien tasojen oliotyyppien (top-type)intensionaalinen kuvaus aiemmin esitetyllä tavalla. Oletetaan, että tietokantakoostuu kahdesta polkupyörätyypistä, aiemmin esitetystä tricycle:stä ja lisäksiJunkkarin [2001] työssä esitetystä bicycle:stä. Tällöin tietokantaan totetutetaanniihin liittyvät intensionaalisen tason esitykset. Intensionaalista tasoa ei siis oletarkoitus esittää kaikista tricycle:n ja bicycle:n alikokonaisuuksista itsenäisinäkuvauksina. Jos sen sijaan pyörien alikokonaisuuksia luodaan itsenäisinä osina,tulee myös alikokonaisuuksien intensionaalinen esitys toteuttaa erikseen.Seuraavaksi esittelen esimerkkitietokannan, joka koostuu kolmesta tricycleoliostaja kolmesta bicycle-oliosta. Tricycle-luokan osa-kokonaisuusrakenne onsama, kuin aikaisemmissa esimerkeissä. Tällöin tricycle:llä oli ainoastaan yksiilmentymä. Tarkastelen myöhemmin esiteltäviä esimerkkikyselyjä tähän esimerkkitietokantaanperustuen. Esimerkkitietokannan toteutus muodostuu siiskahdesta intensionaalisen tason Prolog-esityksestä ja kuudesta ekstensionaalisentason Prolog-esityksestä. Prolog-termeinä tietokantaa ei tässä yhteydessäenää esitetä, koska termit ovat toteutusrakenteita, joista kyselykielen käyttäjänei tarvitse olle selvillä. Sen sijaan havainnollistan tietokantaa aikaisemmin käyttämällänisisäkkäisten taulukoiden mukaisella visualisointitavalla. Visualisoinnistaon jätetty tilankäytön vuoksi johdettu attribuutti weigth pois, vaikkase oletetaan esimerkkikyselyissä olevan mukana. Weigth on siis jokaisella PSEesityksenkompositiolla johdettuna attribuuttina ja se on toteutettu metodinavulla. Perusoliotyypeillä weigth on normaali attribuutti. Ennen bicycle-osakokonaisuussuhteentaulukkoesitystä havainnollistetaan bicyclen rakenne kuvassa5.