selykielen suunnittelu ja toteutus Samu Viita

61res(X) where diam is_property_of Y,X is_path_to Y.Kyselyssä määritellään ensin, että muuttujan Y tulee olla oliotyyppi, jolla onominaisuus diam. Tämän jälkeen ilmaistaan, että X on Y:hyn johtava polku. Vastauksenasaadaan siis tuple-muotoiset polkuesitykset poluista, jotka johtavatoliotyyppeihini rear_axle, chainring, pedals ja wheel. Jos tietyllä tyypillä on useampipolkuvaihtoehto, kaikki vaihtoehdot saadaan vastaukseksi. Ylläolevaankyselyyn tuotetaan seuraava vastaus esimerkkitietokannan yhteydessä.res(t(tricycle,rear,rear_axle))res(t(bicycle,drivegear,chainring))res(t(tricycle,steering,pedals))res(t(bicycle,drivegear,pedals))res(t(tricycle,steering,wheel))res(t(tricycle,rear,wheel))res(t(bicycle,wheel))res(t(bicycle,steering,wheel))Tricycle:n ohjauksen komponenttien nimet ja niiden ominaisuuksien nimet saadaanselville seuraavalla kyselyllä:res(X,Y) where apply_to [tricycle],X is_component_type_of steering, Yis_property_of X.Ensin ilmaistaan, että tarkastelu rajoitetaan vain tricycle:n osakokonaisuussuhteeseen.Tämän jälkeen ilmaistaan, että X-muuttuja alustetaanohjauksen komponentilla ja että Y-muuttuja on X-muuttujan sisältämän komponentinominaisuus. Tulosrelaatio koostuu X- ja Y-muuttujien seuraavista arvoista.res(front_axle,l)res(front_axle,weigth)res(handlebar,b)res(handlebar,weigth)res(pedals,diam)res(pedals,weigth)res(wheel,diam)res(wheel,r_type)