A verifiable mapping of a multidimensional array data model into an object data model

The paper considers a mapping of a multidimensional array data model into an object data model. General principles of mappings of array data models into object data models are formulated. A mapping of concrete models is also considered. The source model is the Array Data Model used in the SciDB DBMS. The target model is the SYNTHESIS language used as the canonical data model in the subject mediation technology. A method for verification of the mapping is considered. Verification means a formal proof that the mapping preserves information and semantics of the operations. Verification is realized using the AMN formal specification language. A practical aim of the paper is to provide a basis for virtual or materialized integration of array-based information resources.