Matching, Merging and Structural Properties of Data Base Category

Computer Science – Databases

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

27 pages

Scientific paper

Main contribution of this paper is an investigation of expressive power of the database category DB. An object in this category is a database-instance (set of n-ary relations). Morphisms are not functions but have complex tree structures based on a set of complex query computations. They express the semantics of view-based mappings between databases. The higher (logical) level scheme mappings between databases, usually written in some high expressive logical language, may be functorially translated into this base "computation" DB category . The behavioral point of view for databases is assumed, with behavioural equivalence of databases corresponding to isomorphism of objects in DB category. The introduced observations, which are view-based computations without side-effects, are based (from Universal algebra) on monad endofunctor T, which is the closure operator for objects and for morphisms also. It was shown that DB is symmetric (with a bijection between arrows and objects) 2-category, equal to its dual, complete and cocomplete. In this paper we demonstrate that DB is concrete, locally small and finitely presentable. Moreover, it is enriched over itself monoidal symmetric category with a tensor products for matching, and has a parameterized merging database operation. We show that it is an algebraic lattice and we define a database metric space and a subobject classifier: thus, DB category is a monoidal elementary topos.

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

Matching, Merging and Structural Properties of Data Base Category 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 Matching, Merging and Structural Properties of Data Base Category, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Matching, Merging and Structural Properties of Data Base Category will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-632652

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