This work was inspired in Gabbay's ideas of multiple database logic [Gab91, Gab94]. Here, we study the viability of constructing a multiple database logic. The construction is based on the definition of local and global logics that guides each database of the system and their interactions. The local logic characterizes how each database works, and the global logic characterizes how they interact.
There is a variety of ways in which the databases can be interconnected to form a network. Each database in the network can even reason with different logic. In this work, we considered some possible architectures.