Funktionella beroenden lägger semantik till ett databasschema, och är användbara för att studera olika problem, såsom databasdesign, frågeoptimering och hur beroenden transporteras in i en vy. I samband med en inbäddad relationsmodell kan dessa beroenden utökas genom att använda sökvägsuttryck istället för attributnamn, vilket resulterar i en klass beroenden som vi kallar inbäddade funktionella beroenden (NFD). NFD definierar en naturlig klass av beroenden i komplexa datastrukturer, särskilt de gör det möjligt att specificera många användbara intra- och inter-set beroenden (dvs. beroenden som är lokala till en uppsättning och beroenden som kräver konsekvens mellan uppsättningar). Sådana begränsningar kan inte fångas upp av befintliga begrepp om funktionella, flervärderade, eller förena beroenden. I detta dokument presenteras definitionen av NFD:er och deras betydelse genom att de översätts till logik. Det presenterar sedan en sund och fullständig uppsättning av åtta inferens regler för NFDs, och diskuterar metoder för att hantera förekomsten av tomma uppsättningar i fall. Tomma uppsättningar lägger till komplexitet i resonemanget eftersom formler som VZ E R.P(z) är trivialt sanna när R är tom. Denna axiomatisering utgör ett första steg i resonemanget om begränsningar i datalagertillämpningar, där både käll- och måldatabaser stöder komplexa typer. Komplexa datamodeller används dock i stor utsträckning inom biomedicinska och andra vetenskapliga databastillämpningar. Resonemang om beroenden inom dessa applikationer blir allt viktigare när scheman blir större, frågor spänner över flera komplexa databaser, och nya databaser skapas som materialiserade vyer. Till exempel, om en ny databas skapas som en materialiserad vy över flera komplexa databaser, att veta hur beroenden förs in i denna komplexa vy kan eliminera dyra kontroller som den nya databasen skapas och senare uppdateras. Vi börjar därför angripa detta problem genom att definiera ett begrepp om funktionellt beroende för den bofasta relationsmodellen tillsammans med inferensregler för dessa beroenden. Vi överväger den bofasta relationsmodellen, där set och tuple konstruktörer är skyldiga att alternera, främst för enkelhet, men att slappna av detta antagande ändrar inte nämnvärt inferens reglerna. Eftersom i denna modell attribut för en relation kan vara uppsättningar snarare än atomtyper, beroenden kan passera till olika nivåer av häckning genom vägar. Vi kallar denna nya form av funktionella beroenden häckade funktionella beroenden (NFD). Som ett exempel på vad vi skulle vilja kunna uttrycka, överväga en typkurs definieras som en uppsättning poster med attribut cnum, tid, studenter och bok, där studenter är en uppsättning poster med etiketter sid, ålder och betyg, och böcker är en uppsättning poster med etiketter isbn, och titel:
I REF FD definieras FD som väldefinierade sökvägsuttryck i närvaro av poster och finita uppsättningar.
Reasoning about nested functional dependencies
{'venue': "PODS '99", 'journal': None, 'mag_field_of_study': ['Computer Science']}