SQL, Schlüssel, Kanonische Überdeckung