Аннотация:In the paper a mapping of an array-based data model - the SciDB DBMS model - into a canonical model used for virtual or materialized database integration is presented. To be precise, a mapping into an object model - the SYNTHESIS language is considered. The SYNTHESIS language is used as the canonical model in the subject mediator technology. A method for proving of preserving the information and the semantics of operations by the mapping is illustrated. The method uses a formal specification language. An aim of the work is developing of a sound theoretical basis for the integration of array-based resources.