Database design and query reformulation with an inference machine. - P. M. da Silveira (1985)