數(shù)據(jù)庫系統(tǒng)原理教案-在線瀏覽
2024-07-18 19:46本頁面
【正文】 系演算：謂詞變元的基本對象為域變量。*早期抽象查詢語言（關(guān)系代數(shù)、關(guān)系演算語言）的作用作為評估實際系統(tǒng)中查詢語言能力的標準。 具有關(guān)系代數(shù)與關(guān)系演算雙重特點的語言。*關(guān)系系統(tǒng)自動支持的完整性：實體完整性、參照完整性。表中的每列都與一域（表的數(shù)據(jù)類型）相關(guān)連2） 笛卡兒積（本質(zhì)上為最大元組表）*定義：給定一組域D1，D2，….，Dn，這些域可以完全不同，也可以部分或全部相同。元素中的每一個值di叫作一個分量。R表示關(guān)系的名字，n是關(guān)系的目或度n=1單元關(guān)系n=2二元關(guān)系關(guān)系為笛卡兒積的子集，表行——元組，表列——屬性（n目關(guān)系有n個屬性）。*主屬性：主碼的諸屬性*非碼屬性：不包含在任何侯選碼中的屬性*全碼：侯選碼為關(guān)系的所有屬性組*關(guān)系的三種類型：基本表（實際存在表）、查詢表（查詢結(jié)果）、視圖表（虛表由基本表與其他試圖表導出）*基本關(guān)系具有6條性質(zhì)：（見書P40） 關(guān)系模式*定義：關(guān)系的描述稱為關(guān)系模式。R為關(guān)系名U組成該關(guān)系的屬性名集合D屬性組所來自的域DOM屬性向域的映象集合F屬性間數(shù)據(jù)的依賴關(guān)系集合（第四章專門討論）*關(guān)系模式通常簡記為R（U）或R（A1，A2，…，An），域名及屬性向域的映象常常直接說明為屬性的類型、長度*型與值：模式是型，關(guān)系（表）是模式的值 關(guān)系數(shù)據(jù)庫含義：在一個給定的現(xiàn)實世界的領域中，相應于所有實體及實體之間的聯(lián)系的關(guān)系的集合構(gòu)成一個關(guān)系數(shù)據(jù)庫。關(guān)系模式的值也稱為關(guān)系數(shù)據(jù)庫，是這些關(guān)系模式在某一時刻對應的關(guān)系的集合。2．3關(guān)系完整性 實體完整性要點：主屬性不能取空值。 參照完整性*關(guān)系與關(guān)系之間存在著引用關(guān)系：因為現(xiàn)實世界的實體之間存在某種聯(lián)系，而關(guān)系模型中實體及實體間的聯(lián)系都是用關(guān)系來描述的。*參照關(guān)系——R*被參照關(guān)系——S*參照完整性規(guī)則——基本關(guān)系R的外碼F與基本關(guān)系S的主碼Ks相對應，則R上的每個元組在F上的取值要求：或者取空值；或者等于S中的某個元組的主碼值。 *通常有三類：非空約束（not null）、唯一約束(unique)、檢查約束(check)*2．4如何實現(xiàn)完整性約束規(guī)則（作問題處理） 在表中定義完整性規(guī)則 在對表中的數(shù)據(jù)進行更新操作時，數(shù)據(jù)庫管理系統(tǒng)自動的檢查完整性規(guī)則，將表中的數(shù)據(jù)約束在用戶期望的范圍中。即在輸入數(shù)據(jù)時一定程度上過濾了不合法的數(shù)據(jù)。**在前端一已經(jīng)實現(xiàn)的完整性約束，在數(shù)據(jù)庫表中是否可以不需要再定義？回答否，因為，如不通過應用程序直接通過工具操作數(shù)據(jù)庫表時，就沒有了相應的完整性檢查。主要研究關(guān)系（表）運算，運算對象是關(guān)系，運算結(jié)果也是關(guān)系。運算只涉及行，將關(guān)系看成是行（元組）的集合。運算既涉及行也涉及列。兩集合元組并在一起，去掉重復元組。
教學教案相關(guān)推薦
鄂ICP備17016276號-1