selykielen suunnittelu ja toteutus Samu Viita
selykielen suunnittelu ja toteutus Samu Viita
selykielen suunnittelu ja toteutus Samu Viita
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
24poa <strong>ja</strong> etenkin päivitykset ovat hankalia [Liu, 1999].Logiikkaohjelmoinnissa ei ole myöskään selkeää tapaa intensionaalisen <strong>ja</strong> ekstensionaalisentiedon erottelulle samassa merkityksessä kuin oliotietokantojenyhteydessä. Deduktiivisten tietokantojen yhteydessä intensionaalisella osallatarkoitetaan tietokannan johdettu<strong>ja</strong> tieto<strong>ja</strong>. Johdetut tiedot määritellään logiikansääntöjen avulla. Ekstensionaalinen taso tietokannasta koostuu tietokannassaolemassaolevasta tiedosta, johon sääntöjä sovelletaan [Niemi et al., 1998; Niemiet al., 2000]. Esittelen logiikkaohjelmoinnin peruskäsitteitä tutkielman myöhemmässävaiheessa.Deduktiivinen oliotietokanta on lupaava lähestymistapa. Siinä yhdistyyolio-orientoituneisuuden tiedon esitystapa <strong>ja</strong> logiikkaohjelmoinnin päättelykyky.Yksimielisyyttä siitä, mitä deduktiivinen olio-orientoituneisuus tarkoittaa,ei vielä ole muodostunut tiedeyhteisössä [Liu, 1999]. Näiden kahden paradigmanyhdistäminen ei ole yksinkertaista, koska lähestymistavat ovat hyvin erilaiset.Deduktiivinen olio-orientoituneisuus on valittu myös tutkielmassa esiteltävänky<strong>selykielen</strong> toteutuksen poh<strong>ja</strong>lle.