selykielen suunnittelu ja toteutus Samu Viita

37Yllä oleva ekstensionaalinen taso on formaali esitystapa kuvassa 3esitetylle ekstensionaalisen tason visualisoinnille. Tricycle-olio ilmaistaanuloimpien aaltosulkujen sisällä. Aaltosulut tarkoittavat joukkoa ja kuvattu ilmentymäon joukon ainoa alkio. Ilmentymä ilmaistaan kulmasuluilla, eli tuplerakenteena.Tuple varustetaan olioidentiteetillä. Koko tricycle:n olioidentiteettion siis o12, ja sen ainoan attribuutin arvona on 100. Kyseessä oleva arvo esiintyytuplen ensimmäisessä positiossa. Tämän jälkeen tulevat alkiot ovat joukkoja,joiden sisällä tricycle:n komponentit esitetään tuple-muotoisina. Tricycle:nkomponentit konstruoidaan samalla periaatteella. Tricycle:ä kuvaavan tuplenviimeisenä alkiona on joukko, jonka sisällä on kaksi oliota, joiden olioidentiteettinäovat o2 ja o3. Ne siis ovat rear-komponentin wheel-olioita. Tricycle-olioon,liitetään indeksi . Sen ensimmäiseen alkioon, eli Price-attribuutin arvoon100, liittyy indeksi . Vastaavasti attribuuttiarvoon steel liittyy indeksi.Alla on tricycle:n intensionaalisen tason formaali esitys. Binäärirelaatiostavoidaan selvittää esimerkiksi se, mikä on attribuuttiarvoa steel vastaava käsiteintensionaalisella tasolla. Koska ekstensionaalisella tasolla attribuuttiarvoonsteel voidaan liittää indeksi ja intensionaalisella tasolla attribuuttiin materialliitetään sama indeksi, on steel attribuutin material arvo.{, , ,, , , , , , ,, , ,, , ,, , ,, , ,