Stefano Ceri Methodology and Tools for Data Base Design. North-Holland 1983 db/books/collections/Ceri83.html