FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases | IEEE Conference Publication | IEEE Xplore