37Yllä oleva ekstensionaalinen taso on formaali esitystapa kuvassa 3esitetylle ekstensionaalisen tason visualisoinnille. Tricycle-olio ilmaistaanuloimpien aaltosulkujen sisällä. Aaltosulut tarkoittavat joukkoa <strong>ja</strong> kuvattu ilmentymäon joukon ainoa alkio. Ilmentymä ilmaistaan kulmasuluilla, eli tuplerakenteena.Tuple varustetaan olioidentiteetillä. Koko tricycle:n olioidentiteettion siis o12, <strong>ja</strong> sen ainoan attribuutin arvona on 100. Kyseessä oleva arvo esiintyytuplen ensimmäisessä positiossa. Tämän jälkeen tulevat alkiot ovat joukko<strong>ja</strong>,joiden sisällä tricycle:n komponentit esitetään tuple-muotoisina. Tricycle:nkomponentit konstruoidaan samalla periaatteella. Tricycle:ä kuvaavan tuplenviimeisenä alkiona on joukko, jonka sisällä on kaksi oliota, joiden olioidentiteettinäovat o2 <strong>ja</strong> o3. Ne siis ovat rear-komponentin wheel-olioita. Tricycle-olioon,liitetään indeksi . Sen ensimmäiseen alkioon, eli Price-attribuutin arvoon100, liittyy indeksi . Vastaavasti attribuuttiarvoon steel liittyy indeksi.Alla on tricycle:n intensionaalisen tason formaali esitys. Binäärirelaatiostavoidaan selvittää esimerkiksi se, mikä on attribuuttiarvoa steel vastaava käsiteintensionaalisella tasolla. Koska ekstensionaalisella tasolla attribuuttiarvoonsteel voidaan liittää indeksi <strong>ja</strong> intensionaalisella tasolla attribuuttiin materialliitetään sama indeksi, on steel attribuutin material arvo.{, , ,, , , , , , ,, , ,, , ,, , ,, , ,
385.2.1. Indekseihin perustuva analysointi PSE-esitystavassaIndekseihin sisältyy runsaasti informaatiota osa-kokonaisuusrakenteesta, jostieto on järjestetty PSE-esityksen edellyttämällä tavalla. Intensionaalisen <strong>ja</strong> ekstensionaalisentason integroinnin lisäksi indeksien avulla voidaan suoraan analysoidarakenteellisuutta <strong>ja</strong> suhteita rakenteiden välillä. Tässä tutkielmassa indeksienanalysointia esitellään suppeasti <strong>ja</strong> yleisellä tasolla. Formaalimpi indeksienanalysointi on esitetty Junkkarin [2001] työssä.Indeksien demonstroimisessa käytän seuraavaa esitystä: Esitän indeksitmuodossa , missä x1-xn ovat kokonaisluku<strong>ja</strong>. Symbolit I1-Intarkoittavat mielivaltaisia indeksejä. Ne voivat siis myös olla tyhjiä indeksejä.Täten tarkoittaa indeksiä, jonka alkuna on indeksi I1 <strong>ja</strong> viimeisenä alkionax1. Indeksi tarkoittaa indeksiä, jossa indeksin I1 jälkeenesiintyvät alkiot x1 <strong>ja</strong> x2 peräkkäin. Tämän jälkeen tulee mielivaltainen indeksiI2, jonka jälkeen viimeisenä alkiona on x3. Jos siis x1 = 1, x2 = 2 <strong>ja</strong> x3 = 3, niinesimerkiksi indeksi olisi eräs yllä olevan indeksirakenteenhyväksymä indeksi.Indeksi I1 liittyy tyyppiin, jos PSE:stä löytyy muotoa oleva indeksi.Tämä johtuu siitä, että kaikilla tyypeillä on oltava vähintään yksi attribuutti.Attribuutti-indeksi on puolestaan sellainen indeksi, jolle ei ole löydettävissäsamasta PSE:stä samanalkuista, mutta pidempää indeksiä. Peruskomponentillekuvautuva indeksi I1 on sellainen, että kaikki muotoa olevat indeksitovat attribuutti-indeksejä. Tämä tarkoittaa siis sitä, että indeksiin kuvautuvallatyypillä ei ole komponentte<strong>ja</strong>. Tiettyä tyyppiä kuvaavan indeksin I1 komposiitti-indeksitovat indeksejä, jotka ovat alusta samanlaisia, mutta lyhempiä kuin. Esimerkiksi tyyppi-indeksin komposiitti-indeksit ovat , <strong>ja</strong> . Tietyn indeksin komponentti-indeksit ovat puolestaan sellaisia,jotka ovat alusta samanlaisia, mutta pidempiä <strong>ja</strong> lisäksi tyyppi-indeksejä.Esimerkiksi indeksin komponentti-indeksejä ovat <strong>ja</strong> , mikälimolemmat indeksit liittyvät tyyppeihin. Komponentti- <strong>ja</strong> komposiittiindeksithelpottavat myös transitiivisten yhteyksien selvittämistä.5.3. Ohjelmointikielen valinta ky<strong>selykielen</strong> toteuttamiseenJotta PSE-esitystavan poh<strong>ja</strong>lta voitaisiin ohjelmoida tietokoneelle toimiva kyselykieli,tarvitaan ohjelmointiparadigma, joka tukee esitystavan mukaista informaationesittämistä <strong>ja</strong> käsittelyä. Aikaisemmin totesin relaatiomallin, sen laajennoksenNF 2 -mallin <strong>ja</strong> olio-orientoituneiden tietokantojen olevan riittämättömiähelppokäyttöisen, mutta samalla ilmaisuvoimaisen ky<strong>selykielen</strong> vaatimuksille.
- Page 1 and 2: Osa-kokonaisuussuhteen käsittelyyn
- Page 3 and 4: ii1. Johdanto .....................
- Page 5 and 6: ivTermitC++ Proseduraalinen ohjelmo
- Page 7 and 8: 2nen tapa poistaa kompleksisuutta o
- Page 9 and 10: 4abc d e f ghiKuva 1. Esimerkki osa
- Page 11 and 12: 6ovat osa autoa ja fonologia on osa
- Page 13 and 14: 8liittyy usein poissulkeutuvuusomin
- Page 15 and 16: 10voidaan jakaa kahteen periytymise
- Page 17 and 18: 12kahierarkian luokkiin. Oliolla on
- Page 19 and 20: 14nimistä. Lisäksi rakenteeseen e
- Page 21 and 22: 16(oid1, ).”Helkama”, ohjaus: o
- Page 23 and 24: 18class departmenttype [dept_name:s
- Page 25 and 26: 20kossa oleva joukko sisältää yh
- Page 27 and 28: 22kaksisuuntaisesti. Seuraavaksi ta
- Page 29: 24poa ja etenkin päivitykset ovat
- Page 32 and 33: 27minen tapahtuu intensionaalisella
- Page 34 and 35: 29siten, että eri hyttityypit on j
- Page 36 and 37: 314.7. Muita kielen vaatimuksia osa
- Page 38 and 39: 33Osa-kokonaisuussuhteita sisältä
- Page 40 and 41: 35oliotyyppejä on mahdollista esit
- Page 44 and 45: 39Toteutuskielen tulee täyttää k
- Page 46 and 47: 41Sääntö tulkitaan luonnollisen
- Page 48 and 49: 43Luokan määrittäminen aloitetaa
- Page 50 and 51: 45pse([map(tricycle,t(1)),map(price
- Page 52 and 53: 47ta tiettyä arvoa tai oliota vast
- Page 54 and 55: 49FRAMESADDLETRICYCLESTEERINGKun si
- Page 56 and 57: 516. Kielen primitiivit ja esimerkk
- Page 58 and 59: 53X = steering, X = tricycle, X = d
- Page 60 and 61: 551. arg1 is_instance_of arg22. arg
- Page 62 and 63: 57gointitiedotilmaistaan aggregoint
- Page 64 and 65: 59täsmälleen samat rivit poisteta
- Page 66 and 67: 61res(X) where diam is_property_of
- Page 68 and 69: 636.3.2. Ekstensionaaliset kyselytE
- Page 70 and 71: 65res(aluminium).Jos käyttäjä ei
- Page 72 and 73: 67res(C,Material,sum(Comp:weigth))
- Page 74 and 75: 697. YhteenvetoTutkielmassa tarkast
- Page 76 and 77: 718. Lähdeluettelo[Agrawal, 1987]
- Page 78 and 79: 73[Moss, 1994] Chris Moss, Prolog++