selykielen suunnittelu ja toteutus Samu Viita

53X = steering, X = tricycle, X = drive-gear,X = bicyclePrimitiivillä voidaan saada selville myös jonkin osan komponentit soveltamallaprimitiiviä alla olevalla tavalla. Siinä primitiivi arvottaa X:n kaikilla tietokannastalöytyvillä steering-luokan komponenteilla Ilmaisusteering is_composite_type_of X.tuottaa seuraavat arvotuksetX = front-axle, X = handlebar, X = pedals, X = wheelPrimitiiviä voidaan käyttää myös etsimään kaikki kompositio-/komponenttisuhteet,jotka tietokannassa löytyvät. Tämä saadaan aikaiseksi siten, että molemmatprimitiivin argumentit ovat muuttujia. Esimerkiksi ilmaisu:X is_composite_type_of Y.antaa suuren joukon vastauksia (eli X:n ja Y:n arvotuksia), joista vain seuraavatesitetään{X = steering, Y = front-axle}, {X = tricycle, Y = pedals} ja {X = bicycle, Y =saddle} jne…Toinen primitiivi on ensimmäisen käänteisprimitiivi. Ensimmäisellä primitiivilläpystytään ilmaisemaan samat asiat kuin toisella. Primitiivi on kuitenkin toteutettu,jotta käyttäjä voi käyttää kieltä intuitiivisemmin.Kolmas primitiivi antaa tietokannasta osa-kokonaisuussuhteen ylimmän tasontyypit. Esimerkkitietokannan tapauksessa ilmaisuX is_top_typeantaa vastaukseksiX = tricycle, X = bicycle.