Abstract
在資料庫理論裡，資料間的相依性(data dependency) 是個很重要的課題。傳統的討論多半集中在關係(rdlation)內的相依性。本文將此概念推廣至關係之間。直觀上來說，如果任何在一關係A 上的修改都不須參考另一關係B, 我們就認為關係A 與關係B 不相關(independent) 。本論文對此概念給了一個精確的定義，并研究它的一些現象。1.簡介關係之間的相依性, 早已受到注意并被研究, 然而前人所注意的相依性僅限於在被分割的關係之間(decpmplsed relations)。但是類似的相依性也可能在任意兩個( 或多個) 關係之間被發現, 而這些關係未必是由分割另一關係所得的結果。本論文將對這種一般關係之間的相依性作明確的定義及研究。2.關係間的相依性在提出我們的定義之前, 我們對前人的結果作了一簡單的復習。至於我們對相依性的定義，大略地說，任何在關係A 上的修改(update)只要結果與其它關係( 不含關係B) 相容,則必與關係B 相容,我們就稱關係A 與關係B 無關。反之我們稱關係A 與關係B 相依。3.進一步的發展我們發現,即使關係A 與關係B 相關,也不一定所有對關係A 的修改都必須參照關係B基於這點,我們對相依性作了一些簡單的分類。4.討論若是沒有對相依性下一形式上的(formal)定義，我們可能會在某些情況下誤認，甚至忽略一些相依性而不自如。在論文中，有一些例子來說明這些情況。5.結論在本論文中我們主要的結果是對相依性作了一精確的形式定義, 并對其基本性質作了初步的研究。我們的結果可作為對於關聯式資料庫中這類課題更進一步研究的基礎。