Context Interchange: New Features and Formalisms for the Intelligent Integration of Information Context Interchange: New Features and Formalisms for the Intelligent Integration of Information

The Context Interchange strategy presents a novel perspective for mediated data access in which semantic conflicts among heterogeneous systems are not identified a priori, but are detected and reconciled by a context mediator through comparison of contexts axioms corresponding to the systems engaged in data exchange. In this article, we show that queries formulated on shared views, export schema, and shared “ontologies” can be mediated in the same way using the Context Interchange framework. The proposed framework provides a logic-based object-oriented formalsim for representing and reasoning about data semantics in disparate systems, and has been validated in a prototype implementation providing mediated data access to both traditional and web-based information sources.

[1]  PiraheshHamid,et al.  Implementation of magic-sets in a relational database system , 1994 .

[2]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[3]  Christine Collet,et al.  Resource integration using a large knowledge base in Carnot , 1991, Computer.

[4]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[5]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[6]  Hamid Pirahesh,et al.  Cost-based optimization for magic: algebra and implementation , 1996, SIGMOD '96.

[7]  Willem Jonker,et al.  The ECRC multi database system , 1995, SIGMOD '95.

[8]  Arnon Rosenthal,et al.  Using semantic values to facilitate interoperability among heterogeneous information systems , 1994, TODS.

[9]  R. MacGregor,et al.  Mermaid—A front-end to distributed heterogeneous databases , 1987, Proceedings of the IEEE.

[10]  Divesh Srivastava,et al.  Answering Queries Using Views. , 1999, PODS 1995.

[11]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[12]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[13]  Tomasz Imeilinski.  Intelligent query answering in rule based systems , 1987 .

[14]  Jennifer Widom,et al.  Object exchange across heterogeneous information sources , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[15]  Yigal Arens,et al.  Planning and Reformulating Queries for Semantically-Modeled Multidatabase Systems , 1992, CIKM 1992.

[16]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[17]  Weimin Du,et al.  The Pegasus heterogeneous multidatabase system , 1991, Computer.

[18]  Ramanathan V. Guha,et al.  Building large knowledge-based systems , 1989 .

[19]  Patrick Valduriez,et al.  Scaling heterogeneous databases and the design of Disco , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[20]  Jennifer Widom,et al.  Querying Semistructured Heterogeneous Information , 1997, J. Syst. Integr..

[21]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[22]  Stéphane Bressan,et al.  A Procedure for Mediation of Queries to Sources in Disparate Contexts , 1997, ILPS.

[23]  Maurizio Lenzerini,et al.  Representing and Using Interschema Knowledge in Cooperative Information Systems , 1993, Int. J. Cooperative Inf. Syst..

[24]  Serge Abiteboul,et al.  Methods and rules , 1993, SIGMOD Conference.

[25]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[26]  Hamid Pirahesh,et al.  Implementation of magic-sets in a relational database system , 1994, SIGMOD '94.

[27]  Thomas R. Gruber,et al.  The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases , 1991, KR.

[28]  Stuart E. Madnick,et al.  A Metadata Approach to Resolving Semantic Conflicts , 2011, VLDB.

[29]  Olivier Danvy,et al.  Tutorial notes on partial evaluation , 1993, POPL '93.

[30]  Witold Litwin,et al.  O*SQL: A Language for Object Oriented Multidatabase Interoperability , 1992, DS-5.

[31]  John F. Sowa,et al.  Building large knowledge-based systems: Representation and inference in the cyc project: D.B. Lenat and R.V. Guha , 1993 .

[32]  Richard Hull,et al.  Managing semantic heterogeneity in databases: a theoretical prospective , 1997, PODS.

[33]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[34]  W. Litwin,et al.  An overview of the multi-database manipulation language MDSL , 1987, Proceedings of the IEEE.

[35]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[36]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[37]  Tomasz Imielinski,et al.  Intelligent Query Answering in Rule Based Systems , 1988, J. Log. Program..

[38]  Stéphane Bressan,et al.  The Context Interchange mediator prototype , 1997, SIGMOD '97.

[39]  Stuart E. Madnick,et al.  Working Paper Alfred P. Sloan School of Management Database Systems in a Dynamic Environment Database Systems in a Dynamic Environment Received Context Interchange: Overcoming the Challenges of Large-scale Interoperable Database Systems in a Dynamic Environment* , 2022 .

[40]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[41]  Terry A. Landers,et al.  An Overview of MULTIBASE , 1986, DDB.

[42]  eva Kühn,et al.  VIP-MDBS: A Logic Multidatabase System , 1988, Proceedings [1988] International Symposium on Databases in Parallel and Distributed Systems.

[43]  Jeffrey D. Ullman,et al.  Information integration using logical views , 1997, Theor. Comput. Sci..

[44]  Divesh Srivastava,et al.  Answering Queries Using Views. , 1999, PODS 1995.

[45]  Wanda Pratt,et al.  Integrating Information Sources Using Context Logic , 1995 .