Sammanfattning —Fungerande beroenden (FD) och integrationsberoenden (IND) är de mest grundläggande integritetsbegränsningar som uppstår i praktiken i relationsdatabaser. I detta dokument tar vi upp frågan om normalisering i närvaro av FDs och INDs och i synnerhet den semantiska motiveringen för integration Beroende Normal Form (IDNF), en normal form som kombinerar Boyce-Codd normal form med begränsningen för INDs att de är icke-cirkulära och nyckelbaserade. Vi motiverar och formaliserar tre mål för databasdesign i närvaro av FDs och INDs: icke-interaktion mellan FDs och INDs, eliminering av redundans och uppdatering anomalier, och bevarande av enhet integritet. Vi visar att, när det gäller FD:er, i närvaro av att IND:er är fria från redundans är detsamma som att vara fri från uppdateringsanomalier. Sedan, för var och en av dessa egenskaper, vi härled motsvarande syntaktiska villkor på databasen design. Individuellt, var och en av dessa syntaktiska villkor är svagare än IDNF och begränsningen att en FD inte inbäddas i höger sida av en IND är vanligt till tre av villkoren. Men vi visar också att för att dessa tre mål för databasdesign ska kunna uppfyllas samtidigt är IDNF både ett nödvändigt och tillräckligt villkor. Indexvillkor — Relativ databasdesign, normala former, funktionellt beroende, integrationsberoende.
En möjlighet vi forskar just nu, är att begränsa databasen scheman att vara i den så kallade Inkluderande beroende Normal Form REF, en redundansfri normal form där automatisk integritet reparation är möjlig.
Justification for inclusion dependency normal form
{'venue': 'IEEE Transactions on Knowledge and Data Engineering', 'journal': None, 'mag_field_of_study': ['Computer Science']}