Analysis and Design of Data Systems. Functional Dependencies and ...