A structured logical database design methodology. (volumes i and ii)