Controllo dell'integrità topologica in basi di dati spaziali a seguito di operazioni di generalizzazione