Her varlık kümesinde, o kümedeki varlık örneğini tekil olarak tanımlamaya yarayan asgari bir nitelik seti. Eğer tek bir nitelik bu işi göremiyorsa birden fazla niteliğin birleşimi de anahtar oluşturabilir.