Abstract
We propose a new data model intended for peer-to-peer (P2P) databases. The model assumes that each peer has a (relational) database and exchanges data with other peers (its acquaintances). In this context, one needs a data model that views the space of available data within the P2P network as an open collection of possibly overlapping and inconsistent databases. Accordingly, the paper proposes the Local Relational Model, develops a semantics for coordination formulas. The main result of the paper generalizes Reiter’s characterization of a relational database in terms of a first order theory [1], by providing a syntactic characterization of a relational space in terms of a multi-context system. This work extends earlier work by Giunchiglia and Ghidini on Local Model Semantics [2].
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Reiter, R.: Towards a Logical Reconstruction of Relational Database Theory. In Brodie, M., Mylopoulos, J., Schmidt, J., eds.: On Conceptual Modelling. Springer-Verlag (1984) 191–233
Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 (2001) 221–259
Ullman, J.D.: Information Integration Using Logical Views. In: Proc. of the 6th ICDT (1997)
Florescu, D., Levy, A., Mendelzon, A.: Database techniques for the World-Wide Web: A survey. SIGMOD Record 27 (1998) 59–74
Ghidini, C., Serafini, L.: Distributed First Order Logics. In Gabbay, D., de Rijke, M., eds.: Frontiers Of Combining Systems 2. Studies in Logic and Computation. Research Studies Press (1998) 121–140
Giunchiglia, F.: Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine XVI (1993) 345–364 Short version in Proceedings IJCAI’93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39–49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.
Sciore, E., Siegel, M., Rosenthal, A.: Using semantic values to facilitate interoperability among heterogeneous information systems. ACM TODS 19 (1994) 254–290
Halevy, A.Y.: Answering queries using views: A survey. VLDB Journal 10 (2001)
Lenzerini, M.: Data integration: A theoretical perspective. In: PODS. (2002) 233–246
Carey, M., Haas, L., Schwarz, P., Arya, M., Cody, W., Fagin, R., Flickner, M., Luniewski, A., Niblack, W., Petkovic, D., II, J. T., Williams, J., Wimmers, E.: Towards heterogeneous multimedia information systems: The garlic approach. RIDE-DOM (1995) 124–131
Ceri, S., Widom, J.: Managing semantic heterogeneity with production rules and persistent queues. In Agrawal, R., Baker, S., Bell, D., eds.: 19th VLDB Conference 24–27, 1993, Dublin, Ireland, Proceedings, Morgan Kaufmann (1993) 108–119
Levy, A., Rajaraman, A., Ordille, J.: Querying Heterogeneous Information Sources Using Source Descriptions. In: Proceedings of the 22nd VLDB Conference, Bombay, India (1996)
Gupta, A., Widom, J.: Local verification of global integrity constraints in distributed databases. In: ACM SIGMOD International Conference on Management of Data. (1993) 49–58
Grefen, P., Widom, J.: Integrity constraint checking in federated databases. In: Proceedings 1st IFCIS International Conference on Cooperative Information Systems. (1996) 38–47
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Serafini, L., Giunchiglia, F., Mylopoulos, J., Bernstein, P. (2003). Local Relational Model: A Logical Formalization of Database Coordination. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds) Modeling and Using Context. CONTEXT 2003. Lecture Notes in Computer Science(), vol 2680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44958-2_23
Download citation
DOI: https://doi.org/10.1007/3-540-44958-2_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40380-7
Online ISBN: 978-3-540-44958-4
eBook Packages: Springer Book Archive