On the Logical Modeling of ETL Processes