A key constraint ensures that key attributes are not duplicated across multiple tuples.