number. Iga registermasinal realiseeritav f.-n on osaliselt rekursiivne f.-n. Osaliselt rekursiivsete funktsioonide hulk langeb kokku Turingi mõttes arvutatavate funktsioonide hulgaga see tähendab, et ainult osaliselt rekursiivsed f.-nid on raalil arvutatavad. Ainult neile on võimalik koostada programm. 27. Cantori funktsioonid. Arvutatava funktsiooni ühekohalised esindajad. Korteez on elementide lõplik järjend. Kohati on vaja täielikku vastavust korteezhide ja naturaalarvude hulga vahel (täielikku järjestust). Cantori f.-n (sellele eksisteerib ka pöördf.-n): c(x,y) = 0.5(x+y)(x+y+1) + x pöördf.-n c1 = l(n) annab esimese argumendi c2 = r(n) annab teise argumendi Kolmekohaliste korteerzhide jaoks c3(x,y,x) = c(x,c(y,z)) I-kohaliste jaoks analoogne rekursiivne lahendus. Cantori f.n ja selle pöördf.-n on lihtrekursiivsed. Registermasina käsud saab Cantori numbrite järgi kodeerida..
tüüp/operaator süsteemi-defineeritud? See on loodud andmebaasisüsteemi loojate poolt. Relatsiooni aste ja võimsus Relatsiooni astmeks (ingl. k. degree) nimetatakse relatsioonis olevate atribuutide arvu. Unaarses relatsioonis on üks atribuut, binaarses relatsioonis on kaks atribuuti, ternaarses relatsioonis on kolm atribuuti ja naarses relatsioonis on n atribuuti. Relatsiooni võimsuseks (ingl. k. cardinality) nimetatakse relatsioonis olevate kirjete e korteezhide arvu. Millise andmemudeli alusel loodud andmebaas on ja milline ei ole navigatsiooniline andmebaas? Navigatsioonilised andmebaasid on hierahilised ja võrkstruktuuriga andmebaasid (kirjete vahelisi seoseid luuakse viitade kasutamise abil). Navigatsioonilised pole relatsioonilised andmebaasid. Olemi terviklikkuse reegel ja viidete terviklikkuse reegel Olemi terviklikkuse (ingl. k. entity integrity) reegel: Kõik primaarvõtme