Abstract
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.
Partially supported by the Brazilian National Research Council — CNPq
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. R. F. Benevides and T. S. E. Maibaum. A constructive presentation for the modal connective of necessity. Journal of Logic and Computation, 2(No.1), 1992.
M. R. F. Benevides and J. Silva. Um estudo em lógica de multiplos bancos de dados. In Anais da XIX Conferência Latinoamericana de Informática y 22 a Jornadas Argentinas de Informática e Insetigación Operativa, Buenos Aires, Argentina, 1993.
D. M. Gabbay. Theoretical foundations for non-monotonic reasoning part 2: structured non-monotonic theories. In Proceedings of the 3rd Scandinavian AI Conference, pages 19–40, 1991.
D. Gabbay. How to construct a logic for your application. 1992. Draft, October.
D. Gabbay. What is a logical system? 1993. Draft, July.
D. M. Gabbay. LDS — Labelled Deductive Systems. Volume 1, Max-Planck-Institut fur Informatik, Saarbrucken, Germany, May 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benevides, M.R.F. (1995). Multiple database logic. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_4
Download citation
DOI: https://doi.org/10.1007/3-540-60112-0_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60112-8
Online ISBN: 978-3-540-49438-6
eBook Packages: Springer Book Archive