Search results for "fa-satvari"
showing 1 items of 1 documents
Uz ortopapildinātas kopas balstīta funkcionālā atkarība
2021
Funkcionālo atkarību sistēmu veido mainīgie, to vērtības, un atkarības starp tām. No šī vienkāršā objekta, tam uzliekot nosacījumus, var būvēt izteikumu loģikas. Darba mērķis ir izpētīt piemēru šādai funkcionālo atkarību sistēmai, un to, vai piemērs apmierina loģikas veidošanai nepieciešamos nosacījumus. Apskatītais piemērs ir ortopapildinātas kopas maksimālas ortogonālas apakškopas kā definīcijas apgabali funkcijām, kas ir mainīgie funkcionālo atkarību sistēmā. Vispārīgā gadījumā tam neizpildās visi apskatītie nosacījumi.