Nycklarna gör det möjligt för ett databashanteringssystem att unikt identifiera tuples i en databas. Följaktligen är nyckelklassen av stor betydelse för nästan alla databehandlingsuppgifter. I relationsmodellen för data har nycklar fått stort intresse och är väl förstådda. För effektiv databehandling avviker dock de flesta kommersiella relationsdatabassystem från relationsmodellen. Till exempel, tuples kan innehålla endast partiell information i den meningen att de innehåller så kallade noll värden för att representera ofullständig information. Codds princip om entitetsintegritet säger att varje tuple av varje relation inte får innehålla ett nollvärde på något attribut av den primära nyckeln. Därför, en nyckel över partiella relationer tvingar både unikhet och totalitet av tuples på attributen för nyckeln. På grundval av dessa två krav studerar vi den resulterande klass av nycklar över relationer som tillåter förekomster av Zaniolos null-värde "no-information". Vi visar att samspelet mellan denna klass av nycklar skiljer sig från samspelet mellan klass av nycklar över totala relationer. Vi etablerar en ändlig markaxiomatization, och en algoritm för att bestämma den tillhörande implikationsproblem i linjär tid. Dessutom karakteriserar vi Armstrongs relationer för en godtyckligt given uppsättning nycklar; det vill säga vi ger ett tillräckligt och nödvändigt villkor för en partiell relation för att tillfredsställa en nyckel just när det är underförstått av en given uppsättning nycklar. Vi etablerar också en algoritm som beräknar en Armstrong relation för en godtyckligt given uppsättning nycklar. Medan problemet med att hitta en Armstrong relation för en given nyckel uppsättning är exakt exponentiellt i allmänhet, vår algoritm returnerar en Armstrong relation vars storlek är som mest kvadratisk i storleken av en minimal Armstrong relation. Slutligen löser vi olika frågor som rör den maximala storleken på en familj av icke-redundanta nyckeluppsättningar. Våra resultat bidrar till att överbrygga klyftan mellan den befintliga teorin om databasbegränsningar och databaspraktik.
Konsekvensproblemet för den enda klassen av primära nycklar undersöks i REF.
On Codd Families of Keys over Incomplete Relations
{'venue': 'Comput. J.', 'journal': 'Comput. J.', 'mag_field_of_study': ['Computer Science']}