In this paper we presented another contributions for an intensive exploration of properties and semantics of relational DB category, where objects are instances of relational databases and morphisms are general GLAV mappings between them, used in a data integration systems. Here we considered some Universal algebra considerations and relationships of DB category and standard Set category based on monads and of general monadic algebraic and induction properties for databases, and we define the initial algebras for database instances.
展开▼