DB Category: Denotational Semantics for View-based Database Mappings

Computer Science – Databases

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

40 pages

Scientific paper

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 for databases and their mappings are established. By introduction of view-based observations for databases, which are computations without side-effects, we define a fundamental (Universal algebra) monad with a power-view endofunctor T. The resulting 2-category DB is symmetric, so that any mapping can be represented as an object (database instance) as well, where a higher-level mapping between mappings is a 2-cell morphism. Database category DB has the following properties: it is equal to its dual, complete and cocomplete. Special attention is devoted to practical examples: a query definition, a query rewriting in GAV Database-integration environment, and the fixpoint solution of a canonical data integration model.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

DB Category: Denotational Semantics for View-based Database Mappings does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with DB Category: Denotational Semantics for View-based Database Mappings, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and DB Category: Denotational Semantics for View-based Database Mappings will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-87250

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.