DB Category: Denotational Semantics for View-based Database Mappings

Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed database category DB , for databases (objects) and view-based mappings (morphisms) between them, is different from Set category: the morphisms (based on a set of complex query computations) are not functions, while the objects are database instances (sets of relations). The logic based schema mappings between databases, usually written in a highly expressive logical language (ex. LAV, GAV, GLAV mappings, or tuple generating dependency) may be functorially translated into this ”computation” category DB. A new approach is adopted, based on the behavioral point of view for databases, and behavioral equivalences

• Type: Journal
• Year: 2011
• Where: CORR
• Authors: Zoran Majkic
• Keywords: Categorical Denotational Semantics, CORR 2011, Databases, Education, Mappings