selykielen suunnittelu ja toteutus Samu Viita

54Neljäs primitiivi antaa puolestaan tietokannassa olevien osakokonaisuussuhteidenperustyypit, ja sitä käytetään argumentin osalta samaantapaan kuin is_top_type -primitiiviä.Viidennellä primitiivillä saadaan selville oliotyypin ominaisuudet. Argumentillaarg1 ilmaistaan ominaisuus, joka liittyy argumentilla arg2:lla ilmaistuunoliotyyppiin.Esimerkkitietokannasta kyselyX is_property_of wheelantaa tulokseksiX = Diam, X = Rtype ja X = W.Kuudes primitiivi antaa argumenttiin arg2 johtavan polkuesityksen argumentissaarg1. Primitiivi antaa kaikki polkuesitykset, joita tietokannasta oliotyypillelöytyy. KyselyX is_path_to wheelantaa esimerkkitietokannasta vastauksetX = t(wheel,steering,tricycle), X = t(wheel,rear,tricycle), X =t(wheel,steering, bicycle) ja X = t(wheel,bicycle).Seitsemännessä primitiivissä muuttuja arvottuu sellaisilla oliotyyppeillä, jotkaesiintyvät kaikissa tietokannassa olevissa osa-kokonaisuussuhteissa komponentteina.Kahdeksas primitiivi on samanlainen kuin seitsemäs, mutta vastaussaadaan listaesityksenä. Primitiiviä seitsemän kannattaa käyttää tilanteissa,joissa primitiivin tulosta käsitellään kyselyssä jonkin toisen primitiivin argumenttina.Kahdeksas primitiivi on kätevä tilanteissa, joissa primitiivin tulosta eikäsitellä edelleen, sillä listaesitys on havainnollisempi.6.2.2. Intensionaalis-ekstensionaaliset primitiivitIntensionaalisen ja ekstensionaalisen tason yhdistäviä primitiivejä on kielessäkuusi. Tasojen yhdistäminen ilmaistaan siten, että primitiivin toinen argumenttikuuluu ekstensionaaliselle tasolle ja toinen intensionaaliselle tasolle. Kieli sisältääseuraavat intensionaalis-ekstensionaaliset primitiivit: