An incremental approach for maintaining functional dependencies