A transformational framework for the automatic control of derived data (1981)

by S Koenig, R Paige
Venue:In Proceedings of the 7th international conference on Very Large Data Bases