11. Virtuaalne relatsioon e. vaade (teema 5) 12. Pädevusala (teema 7) 13. Funktsionaalne allsüsteem (teema 7) 14. Register (teema 7) 15. Kuidas on omavahel seotud pädevusalad, funktsionaalsed allsüsteemid ja registrid? (teema 7) 16. Kontseptuaalne andmebaasi disain. Eesmärk, sisendid, tulemused.(teema 7) 17. Kontseptuaalne andmemudel (teema 7) 18. Mida näitavad andmebaasi operatsioonide lepingud ja milleks neid kasutada? (teema 7) 19. Nimetage teisendusreegleid, mille põhjal saab kontseptuaalsest andmemudelist tuletada esialgse loogilise disaini andmemudeli. (teema 10) 20. Loogiline andmebaasi disain. Eesmärk, sisendid, tulemused. (teema 10) 21. Normaliseerimine (teema 9) 22. Esimene normaalkuju (teema 9) 23. Kolmas normaalkuju ja Boyce/Coddi normaalkuju (teema 9) 24. Ortogonaalse disaini printsiip (teema 9) 25. Füüsiline andmebaasi disain. Eesmärk, sisendid, tulemused. (teema 12) 26. Indeks (teema 12) 27
terminid formaalne aksiomaatiline süsteem; arvutus; tõestussüsteem. Tuletus koosneb 2 tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletusreeglid näitavad, mida saab mingi kujuga lausena esitatud väitest (oletusest) või väidetest selles tuletussammus järeldada, milline on sammu tulem. Tuletusreegleid ei tohi kasutada asenduste tegemiseks tuletussammu eeldustes või tulemites, selleks saab kasutada teisendusreegleid ehk asendusreegleid. Teisendusreegel lubab mingi sümboli või valemi asendada teise sümboli või valemiga. Asendusi saab teha ka valemi sees. Nt koolialgebra valemites võib valemi (a + a) asendada sümboliga 2a, lausearvutuses võib valemis (¬A ˅ B) & (A → ¬A ˅ B) iga disjunktsiooni kujul ¬A ˅ B asendada implikatsiooniga A → B (vt lausearvutuse teisendusreeglite tabelit). Teisendusreeglit saab
tuletussammudest. Üks tuletussamm on mingi konkreetse väite tuletamine eelduste või varem saadud vahetulemuste põhjal. Tuletusreeglid näitavad, mida saab mingi kujuga lausena esitatud väitest (oletusest) või väidetest selles tuletussammus järeldada, milline on sammu tulem. Tuletusreegleid ei tohi kasutada asenduste tegemiseks tuletussammu eeldustes või tulemites, selleks saab kasutada teisendusreegleid ehk asendusreegleid. Teisendusreegel lubab mingi sümboli või valemi asendada teise sümboli või valemiga. Asendusi saab teha ka valemi sees. Nt koolialgebra valemites võib valemi (a + a) asendada sümboliga 2a, lausearvutuses võib valemis (¬A B) & (A ¬A B) iga disjunktsiooni kujul ¬A B asendada implikatsiooniga A B (vt lausearvutuse teisendusreeglite tabelit). Teisendusreeglit saab vaadelda kui kehtivat arutlust, millel on üks eeldus ja üks lõppjäreldus, kusjuures reegel
annaabi.ee 
