關系模型用二維表格結構表示實體集外鍵表示實體間聯系的數據模型稱為關系模型關系模型是由若干個關系模式組成的集合
關系模式關系模式實際上就是記錄類型它包括模式名屬性名值域名以及模式的主鍵關系模式僅是對數據特性的描述
關系實例就是一個關系即一張二維表格
屬性在關系模型中字段稱為屬性
域在關系中每一個屬性都有一個取值范圍稱為屬性的值域
元組在關系中記錄稱為元組
候選碼在關系中能唯一標識元組的屬性集稱為關系模式的候選碼
主碼用戶選作元組標識的一個候選碼為主碼
外碼某個關系的主碼相應的屬性在另一關系中出現此時該主碼在就是另一關系的外碼如有兩個關系S和SC其中S#是關系S的主碼相應的屬性S#在關系SC中也出現此時S#就是關系SC的外碼
實體完整性規則這條規則要求關系中元組在組成主碼的屬性上不能有空值如果出現空值那麼主碼值就起不了唯一標識元組的作用
參照完整性規則這條規則要求不引用不存在的實體其形式定義如下如果屬性集K是關系模式R的主碼K也是關系模式R的外碼那麼R的關系中K的取值只允許有兩種可能或者為空值或者等於R關系中某個主碼值
這條規則在使用時有三點應注意
()外碼和相應的主碼可以不同名只要定義在相同值域上即可
()R和R也可以是同一個關系模式表示了屬性之間的聯系
()外碼值是否允許空應視具體問題而定
過程性語言在編程時必須給出獲得結果的操作步驟即干什麼和怎麼干如Pascal和C語言等
非過程性語言編程時只須指出需要什麼信息不必組出具體的操作步驟的語言各種關系查詢語言均屬於非過程性語言
From:http://tw.wingwit.com/Article/program/SQL/201311/11189.html
