Local relational model: A logical formalization of database coordination

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2680, Issue , 2003, Pages 286-299

  Serafini, Luciano ^a   Giunchiglia, Fausto ^a,b   Mylopoulos, John ^b,c   Bernstein, Philip ^d  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF TORONTO   (Canada)

^d MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER NETWORKS; COSTS; INFORMATION RETRIEVAL SYSTEMS; INTEROPERABILITY; MATHEMATICAL MODELS; SEMANTICS; RELATIONAL DATABASE SYSTEMS;

DATABASE COORDINATION; INCONSISTENT DATABASES; LOCAL RELATIONAL MODELS; MULTI-CONTEXT SYSTEMS; FIRST ORDER THEORIES; INCONSISTENT DATABASE; LOGICAL FORMALIZATION; PEER TO PEER; RELATIONAL DATABASE; RELATIONAL MODEL; SYNTACTIC CHARACTERIZATION;

RELATIONAL DATABASE SYSTEMS; PEER TO PEER NETWORKS;

EID: 8344241852     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44958-2_23     Document Type: Conference Paper

References (14)

1. 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
2. Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 (2001) 221-259
3. Ullman, J.D.: Information Integration Using Logical Views. In: Proc. of the 6th ICDT (1997)
4. Florescu, D., Levy, A., Mendelzon, A.: Database techniques for the World-Wide Web: A survey. SIGMOD Record 27 (1998) 59-74
5. 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
6. 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.
7. Sciore, E., Siegel, M., Rosenthal, A.: Using semantic values to facilitate interoperability among heterogeneous information systems. ACM TODS 19 (1994) 254-290
8. Halevy, A.Y.: Answering queries using views: A survey. VLDB Journal 10 (2001)
9. Lenzerini, M.: Data integration: A theoretical perspective. In: PODS. (2002) 233-246
10. 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
11. 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
12. Levy, A., Rajaraman, A., Ordille, J.: Querying Heterogeneous Information Sources Using Source Descriptions. In: Proceedings of the 22nd VLDB Conference, Bombay, India (1996)
13. 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
14. Grefen, P., Widom, J.: Integrity constraint checking in federated databases. In: Proceedings 1st IFCIS International Conference on Cooperative Information Systems. (1996) 38-47