selykielen suunnittelu ja toteutus Samu Viita
selykielen suunnittelu ja toteutus Samu Viita
selykielen suunnittelu ja toteutus Samu Viita
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
325. Ky<strong>selykielen</strong> edellyttämä esitystapa5.1. Intensionaalisen <strong>ja</strong> ekstensionaalisen tason sitominen toisiinsaJotta intensionaalisen <strong>ja</strong> ekstensionaalisen tason sitominen toisiinsa mahdollistuisi,se edellyttää kummankin käsitetason tietojen eksplisiittistä esittämistä.Esitys tulee tehdä siten, että käsitetasolta on mahdollisuus siirtyä toiselle käsitetasollesaumattomasti. Tämän vuoksi tasot tulee pystyä integroimaan keskenään.Esitystavan tulee mahdollistaa intensionaalisen tason rakenteen kuvautuminensitä vastaavalle ekstensionaalisella tasolla oleville ilmentymille yksikäsitteisesti<strong>ja</strong> päinvastoin. Tällöin osa-kokonaisuushierarkioissa intensionaalisellatasolla olevista luokkien <strong>ja</strong> attribuuttien nimistä voidaan siirtyä käsittelemäänniitä vastaavia ekstensionaalisen tason olioita tai arvo<strong>ja</strong>.Kahden tason toisiinsa integrointiin käytetään Timo Niemen [1983] kehittämääindeksointimekanismia, jota on edelleen kehittäneet Niemi, Kalervo Järvelin<strong>ja</strong> Marko Junkkari erilaisiin tarkoituksiin kompleksisten rakenteiden mallintamisessa.Myös tämä tutkielma poh<strong>ja</strong>utuu keskeisesti tähän indeksointimekanismiin.Tutkielmassa esittelemäni kieli poh<strong>ja</strong>utuu erityisesti Marko Junkkarinformalismiin [2001], jossa indeksointimekanismia on sovellettu olioorientoituneeseenesitystapaan. Formalismin yhtenä keskeisenä motivaationaon mahdollistaa kyselykieli, jonka <strong>suunnittelu</strong>a <strong>ja</strong> prototyyppi<strong>toteutus</strong>ta tässätutkielmassa tarkastellaan. Tarkastelen seuraavaksi tätä formalismia.5.2. Olio-orientoitunut esitystapa osa-kokonaisuussuhteilleMarko Junkkarin [2001] esitystapa mahdollistaa intensionaalisen <strong>ja</strong> ekstensionaalisentason kiinteän sitomisen toisiinsa indeksointimekanismin <strong>ja</strong> joukkoopinavulla. Esitystavan tarkoituksena on myös osa-kokonaisuussuhteita sisältävienrakenteiden tehokkaan analysoinnin mahdollistaminen. Esitystapa perustuurakenteelliseen olio-orientoituneeseen mallintamiseen. Tällöin käyttäytymisnäkökulmaanei formalismissa oteta kantaa, joten esitystavassa olioilla eivoi olla metode<strong>ja</strong>. Teoria on <strong>toteutus</strong>kielestä <strong>ja</strong> ympäristöstä riippumatonta,koska se esitetään joukko-opin avulla.