selykielen suunnittelu ja toteutus Samu Viita

57gointitiedotilmaistaan aggregointioperaatioilla, joita ovat ylläolevassa luettelossa operaatiot 2-5. Nämä operaatiot on lainattu deduktiivisilleoliotietokannoille suunnitellusta Prolog++ -pohjaisesta kyselykielen prototyypistä[Christensen, 1998]. Tämä siksi, että ne sopivat lähes sellaisinaan tutkielmankyselykielen tarpeisiin.Where-primitiivi (alkuperäiseltä nimeltään provided) on kyselyn muodostamisenkannalta keskeinen. Primitiivin argumentilla arg1 käyttäjä ilmaisee tulosrelaationmuodon, johon hän poimii haluamansa muuttujat oikealla puolellaolevasta kyselyilmauksesta. Where-primitiivi muistuttaa relaatioalgebran valintaoperaatiota,jolla halutut relaation attribuutit valitaan tulosjoukkoon. Whereprimitiivinsoveltamisella valitaan kuitenkin relaation attribuuttien sijasta kyselyssämukana olevia muuttujia. Tällöin voidaan jättää vastauksesta kyselyssäilmenevät, mutta loppukäyttäjän näkökulmasta merkityksettömät muuttujatpois. Where-primitiivillä on kuitenkin monipuolisemmat käyttömahdollisuudet,mitä relaatioalgebran valinta-operaattorilla. Where –primitiivin vasemmallepuolelle tuleva tulos ilmaistaan tuple-rakenteina. Käyttäjä voi itse valita tuloksessakäytettävän tuplen nimen. Jos tuplen muuttujat on arvotettu olioiksi olioita,niihin voi soveltaa : -primitiiviä, jolla olion tietyn attribuutin arvo saadaantulokseen. Primitiivin käyttötapa tulosjoukon yhteydessä eroaa kuitenkin edelläesitetystä. Relaatiossa ei nimittäin käytetä sulkuja ominaisuuden nimen jälkeen.Pelkkä ominaisuuden nimi siis riittää tulosjoukon yhteydessä. Jos tuloksessailmaistaan : -primitiivi oliolle, jolla ei ole kyseistä ominaisuutta, niin vastaukseksitähän kohtaan tuple-rakenteessa saadaan arvo null.Where-primitiivin arg1:ssä ilmaistut tuplen alkioina olevat muuttujat arvottuvatjoillakin arvoilla. Vastaus ilmaistaan relaationa ja relaation tuplet tulostetaanomille riveilleen allekkain. Primitiivi poistaa kaikki samat tuplet, relaatiomallintapaan. Esimerkiksi kyselytulos(X) where X is_component_type_of steeringtulostaa vastaukseksi esimerkkitietokannasta seuraavat yksipaikkaiset tulostuplet.Toisin sanoen muuttuja X on arvottunut where-primitiivin oikealla puolellaolevan kyselyilmauksen mukaisesti.tulos(front_axle)tulos(handlebars)tulos(pedals)tulos(wheel)