selykielen suunnittelu ja toteutus Samu Viita

67res(C,Material,sum(Comp:weigth)) where apply_to [bicycle], materialis_property_of C, Comp is_instance_of C,Comp is_component_object_of bicycle,Comp:material(Material).Kyselyssä where-primitiivin oikealla puolella ilmaistaan, että kyselyä sovelletaanainoastaan bicycle:n osa-kokonaisuussuhteille apply_to-primitiivin avulla.C-muuttujalla tarkoitetaan komponenttityyppiä, jolla on attribuutti nimeltäänmaterial. Lisäksi ilmaistaan, että Comp-muuttuja tarkoittaa C-muuttujan mukaistailmentymää ja että ilmentymän tulee olla bicycle:n alikomponenttioliona. LopuksiComp-muuttujan arvona olevan olion material-attribuutin arvoon viitataanMaterial-muuttujalla. Vastausrelaatioon halutaan mukaan komponenttityyppi,tyyppiä vastaava materiaali ja komponentti-materiaali -paria vastaavienkomponenttien yhteenlaskettu paino. Komponenttityypin tieto löytyy siis C-muuttujasta ja tyyppiin liittyvä materiaali Material-muuttujasta. Soveltamallasum –aggregointifunktiota, yksittäisen komponenttiolion painoon, saadaankaikkien ehdot täyttävien komponenttien painojen summa selville.Kyselyn vastauksena saadaan relaatiores(frame,steel,10.2)res(saddle,leather,1.1)res(saddle,plastic,2.2).Analyyttistä voimaa sisältyy myös kyselyyn, jossa saadaan vastaukseksi polkupyöräntietyn osan kaikki komponentit, niiden ominaisuudet ja ominaisuuksienarvot. Tällöin saadaan kerralla kattava näkemys tietyn komponentin intensionaalisestaja ekstensionaalisesta tasosta. Seuraavassa esimerkkikyselyssä halutaansaada selville tricycle:n steering:in kaikki alikomponentit ja niitä vastaavatominaisuudet. Lisäksi jokaisen ominaisuuden kohdalla halutaan vielä ominaisuudenarvo. Kyselyres(T,P,Z) where apply_to [tricycle], X is_component_object_of steering,Xis_instance_of T,P is_property_of T,X:P(Z).tuottaa laajan relaation, jonka tupleista esittelen vain muutaman:result(front_axle,l,4)result(front_axle,weigth,14)result(handlebars,weigth,1.1)