Controllo dell'Integrità Topologica in Basi di Dati Spaziali a seguito di Operazioni di Generalizzazione.