Intensional and Extensional Integration and Abstraction of Heterogeneous Databases