Merging databases under constraints

International Journal of Cooperative Information Systems

Volumn 7, Issue 1, 1998, Pages 55-76

  Lin, Jinxin ^a,b   Mendelzon, Alberto O ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b NONE   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002382613     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843098000040     Document Type: Article

References (20)

1. S. Abiteboul and G. Grahne, Update semantics for incomplete databases, Proc. 11th Int. Conf. on Very Large Data Bases, 1985, 1-12.
2. C. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
3. M. W. Bright, A. R. Hurson and S. H. Pakzad, A taxonomy and current issues in multidatabase systems, Computer 25, 3 (1992) 50-59.
4. M. Brodie, M. Jarke and M. Papazoglou, Proc. 2nd Int. Conf. on Coop. Inf. Syst., Toronto, Canada, May 1994.
5. C. Baral, S. Kraus, J. Minker and V. S. Subrahmanian, Combining knowledge bases consisting of first-order theories, Computational Intell. 8 (1992) 45-71.
6. C. Batini and M. Lenzerini, A comparative analysis of methodologies for database schema integration, ACM Computing Surveys 18, 4 (December 1986) 323-364.
7. F. Bry and R. Manthey, Checking consistency of database constraints: A logical basis, Proc. 12th Int. Conf. on Very Large Data Bases, 1986, 13-20.
8. A. Benczur, A. B. Novak and P. Z. Revesz, Classical and weighted knowledgebase transformations, Computers and Mathematics with Applications 32, 5 (1996) 85-98.
9. A. Borgida, Language features for flexible handling of exceptions in information systems, ACM Trans. on Database Syst. 10 (1985) 563-603.
10. C. Beeri and M. Vardi, Formal systems for tuple and equality generating dependencies, SIAM J. Comput. 13, 1 (February 1984) 76-98.
11. Mukesh Dalal, Investigations into a theory of knowledge base revision: Preliminary report, Proc. 7th National Conf. of the American Association for Artif. Intell. (1988) 475-479.
12. A. Elmagarmid and G. Pu, ACM Computing Surveys, special issue on heterogeneous databases, ACM Computing Surveys 22, 3 (September 1990).
13. R. Fagin and J. Halpern, Belief, awareness, and limited reasoning, Artif. Intell. 34 (1988) 39-76.
14. R. Fagin, G. M. Kuper, J. D. Ullman and M. Vardi, Updating logical databases, Advances in Computing Research 3 (1986) 1-18.
15. R. Fagin, J. D. Ullman and M. Vardi, On the semantics of updates in databases, 2nd ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (1983) 352-365.
16. Peter Gärdenfors, Knowledge in Flux - Modeling the Dynamics of Epistemic States, MIT Press, 1988.
17. G. Grahne, A. O. Mendelzon and P. Revesz, Knowledge-base transformations, 11th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Syst., 1992.
18. J. Grudin, Groupware and social dynamics: Eight challenges for developers, Comm. of the ACM 37, 1 (January 1994) 92-105.
19. J. Halpern and Y. Moses, A guide to the modal logics of knowledge and belief, Proc. IJCAI-85 (1985) 480-490;
20. A complete version appears in Artificial Intell. 54. 3 (1992) 319-379, under the title "A guide to completeness and complexity for modal logics of knowledge and belief".