Teoreem. Valemitest F1, F2, ..., Fn järeldub valem G parajasti siis, kui valem F1& F&, ...& FnG on samaselt tõene. Teoreem. Valemid F ja G on samaväärsed parajasti siis, kui valemist F järeldub valem G ja valemist G järeldub valem F. Teoreem. Valemid F ja G on samaväärsed parajasti siis, kui valem FG on samaselt tõene. Literaal on lausemuutuja või tema eitus. Positiivne literaal on puhas lausemuutuja. Negatiivne literaal on eitusega lausemuutuja. Täielik elementaarkonjuktsioon on literaalidest L1,L2,...,Ln koostatud valem L1&L2&...&Ln. Täielik disjunktiivne normaalkuju Lausearvutuse valemi F täielikuks disjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaarkonjuktsioonide disjunktsiooni. Täielik elementaardisjunktsioon on literaalidest L1,L2,...,Ln koostatud valem L1vL2v...vLn. Täielik konjuktiivne normaalkuju - Lausearvutuse valemi F täielikuks konjuktiivseks
M:M Mitu mitleme seos. Meil on tabel omanikud ja tabel korterid, siis siin võime vaadelda seost mitu mitmele. Ühel omanikul on mitu korterit ja iga korter võib olla mitme omaniku omandiks. Sellise seose realiseerimine praktikas on küllaltki raske, kuna veergude arv tabelis kasvaks tabelis küllaltki suureks. Sellise seose realiseerimiseks kasutatakse abitabeleid. Atribuutide tüübid. Atribuutide tüübid: · String tüüp - võib omada väärtuseks mistahes literaalidest koosneva stringi; · Lekseemtüüp - võib omada mitmesuguseid leksikalisi ja semantilisi piiranguid; · Loendurtüüp - väärtused peavad klappima ühega deklatsioonis toodud lekseemiga. Normaliseerimine, normaalkujud (3). Normaliseerimine - andmeebaasi viimine ühele normaalkujudest (normal forms). Normaalkujud - andmebaasi tabelite ja tabelielementide organiseerimisreeglid, mis võimaldavad ära hoida transaktsioonilisi anomaaliaid andmete seostamisel ja käsitlemisel
annaabi.ee 
