Integrazione della definizione di chiusura di un insieme di attributi