Uz ortopapildinātas kopas balstīta funkcionālā atkarība

Abstract

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.

Functional dependency systems consist of variables, their values and the dependencies between the values. By adding constraints this simple object can be made into a predicate logic. The aim of this work is to examine an example of such a functional dependency system and whether the example satisfies constraints needed for building such a logic. As the example we took functions defined on maximal orthosubsets of an orthoposet as the variables of a functional dependency system. In the general case this example does not satisfy all constraints examined.