Computer Science – Databases
Scientific paper
2011-02-22
Computer Science
Databases
31 pages
Scientific paper
In this paper we presented the semantics of database mappings in the relational DB category based on the power-view monad T and monadic algebras. The objects in this category are the database-instances (a database-instance is a set of n-ary relations, i.e., a set of relational tables as in standard RDBs). The morphisms in DB category are used in order to express the semantics of view-based Global and Local as View (GLAV) mappings between relational databases, for example those used in Data Integration Systems. Such morphisms in this DB category are not functions but have the complex tree structures based on a set of complex query computations between two database-instances. Thus DB category, as a base category for the semantics of databases and mappings between them, is different from the Set category used dominantly for such issues, and needs the full investigation of its properties. In this paper we presented another contributions for an intensive exploration of properties and semantics of this category, based on the power-view monad T and the Kleisli category for databases. Here we stressed some Universal algebra considerations based on monads and relationships between this DB category and the standard Set category. Finally, we investigated the general algebraic and induction properties for databases in this category, and we defined the initial monadic algebras for database instances.
No associations
LandOfFree
Data Base Mappings and Monads: (Co)Induction 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 Data Base Mappings and Monads: (Co)Induction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Data Base Mappings and Monads: (Co)Induction will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-560893