functional depedency

 sifat depedency functional

Mengingat bahwa X, Y, dan Z adalah set atribut dalam relasi R, satu dapat memperoleh beberapa sifat dependensi fungsional. Among the most important are Armstrong's axioms , which are used in database normalization: Di antara yang paling penting adalah aksioma Armstrong , yang digunakan dalam normalisasi database:

• Subset Property (Axiom of Reflexivity): If Y is a subset of X , then X → Y Subset Properti (Aksioma Refleksivitas): Jika Y adalah subset dari X, maka X → Y
• Augmentation (Axiom of Augmentation): If X → Y , then XZ → YZ Augmentasi (Aksioma Augmentasi): Jika X → Y, maka XZ YZ →
• Transitivity (Axiom of Transitivity): If X → Y and Y → Z , then X → Z Transitivitas (Aksioma Transitivitas): Jika X → Y dan Y → Z, maka X → Z

From these rules, we can derive these secondary rules: Dari aturan ini, kita dapat memperoleh aturan-aturan sekunder:

• Union : If X → Y and X → Z , then X → YZ Uni: Jika X → Y dan X → Z, maka X → YZ
• Decomposition : If X → YZ , then X → Y and X → Z Dekomposisi: Jika X → YZ, maka X → Y dan X → Z
• Pseudotransitivity : If X → Y and WY → Z , then WX → Z Pseudotransitivitas: Jika X → Y dan Z → WY, maka WX → Z

Equivalent sets of functional dependencies are called covers of each other. Set dependensi fungsional setara disebut mencakup satu sama lain. Every set of functional dependencies has a canonical cover . Setiap set dependensi fungsional memiliki cakupan canonical .

 

Functional Dependencies (Contoh)

Contoh ini menggambarkan konsep ketergantungan fungsional. The situation modeled is that of college students visiting one or more lectures in each of which they are assigned a teaching assistant (TA). Situasi dimodelkan adalah bahwa mahasiswa mengunjungi satu atau lebih kuliah di masing-masing mereka diberi asisten dosen (TA). Let's further assume that every student is in some semester and is identified by a unique integer ID. Mari kita lebih lanjut mengasumsikan bahwa setiap mahasiswa pada semester tertentu dan diidentifikasi oleh ID integer unik.

StudentID StudentID	Semester Semester	Lecture Kuliah	TA TA
1234 1234	6 6	Numerical Methods Metode Numerik	John John
2380 2380	4 4	Numerical Methods Metode Numerik	Peter Peter
1234 1234	6 6	Visual Computing Visual Computing	Amina Amina
1201 1201	4 4	Numerical Methods Metode Numerik	Peter Peter
1201 1201	4 4	Physics II Fisika II	Simone Simone

We notice that whenever two rows in this table feature the same StudentID, they also necessarily have the same Semester values. Kami melihat bahwa setiap kali dua baris dalam tabel fitur ini StudentID yang sama, mereka juga tentu memiliki nilai Semester yang sama. This basic fact can be expressed by a functional dependency: Ini fakta dasar dapat dinyatakan dengan ketergantungan fungsional:

• StudentID → Semester. StudentID → Semester.

Other nontrivial functional dependencies can be identified, for example: Lain dependensi fungsional trivial dapat diidentifikasi, misalnya:

• {StudentID, Lecture} → TA {StudentID, Kuliah TA} →
• {StudentID, Lecture} → {TA, Semester} {StudentID, Kuliah} {→ TA, Semester}

The latter expresses the fact that the set {StudentID, Lecture} is a superkey of the relation. Yang terakhir ini mengungkapkan fakta bahwa himpunan {StudentID, Kuliah} adalah superkey dari relasi.

(DI KUTIP DARI WIKIPEDIA)