@article{ITA_1983__17_2_97_0, author = {Batini, C. and d'Atri, A.}, title = {Relational data base design using refinement rules}, journal = {RAIRO. Informatique th\'eorique}, pages = {97--119}, publisher = {EDP-Sciences}, volume = {17}, number = {2}, year = {1983}, mrnumber = {713224}, zbl = {0519.68083}, language = {en}, url = {http://archive.numdam.org/item/ITA_1983__17_2_97_0/} }