Language Features for Interoperability of Databases with Schematic Discrepancies.

Ravi Krishnamurthy, Witold Litwin, William Kent: Language Features for Interoperability of Databases with Schematic Discrepancies. SIGMOD Conference 1991: 40-49
  author    = {Ravi Krishnamurthy and
               Witold Litwin and
               William Kent},
  editor    = {James Clifford and
               Roger King},
  title     = {Language Features for Interoperability of Databases with Schematic
  booktitle = {Proceedings of the 1991 ACM SIGMOD International Conference on
               Management of Data, Denver, Colorado, May 29-31, 1991},
  publisher = {ACM Press},
  year      = {1991},
  pages     = {40-49},
  ee        = {, db/conf/sigmod/KrishnamurthyLK91.html},
  crossref  = {DBLP:conf/sigmod/91},
  bibsource = {DBLP,}


Present relational language capabilities are insufficient to provide interoperability of databases even if they are all relational. In particular, unified multidatabase view definitions cannot reconcile schematic discrepancies, where data in one database correspond to metadata of another. We claim that following new features are necessary:
  1. Higher order expressions where variables can range over data and metadata, including database names.
  2. Higher order (multidatabase) view definitions, where the number of relations or of attributes defined, is dependent on the state of the database(s).
  3. Complete view updatability for the users of multidatabase views.
We propose these features in the context of a Horn clause based language, called Interoperable Database Language, (IDL).

Copyright © 1991 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

James Clifford, Roger King (Eds.): Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, Denver, Colorado, May 29-31, 1991. ACM Press 1991 BibTeX , SIGMOD Record 20(2), June 1991

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1095 KB]


Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX
Jurgen Annevelink: Database Programming Languages: A Functional Approach. SIGMOD Conference 1991: 318-327 BibTeX
François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. PODS 1986: 53-60 BibTeX
François Bancilhon, Nicolas Spyratos: Update Semantics of Relational Views. ACM Trans. Database Syst. 6(4): 557-575(1981) BibTeX
Weidong Chen, Michael Kifer, David Scott Warren: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114 BibTeX
Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982) BibTeX
Umeshwar Dayal, Hai-Yann Hwang: View Definition and Generalization for Database Integration in a Multidatabase System. IEEE Trans. Software Eng. 10(6): 628-645(1984) BibTeX
Arthur M. Keller: Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins. PODS 1985: 154-163 BibTeX
Ravi Krishnamurthy, Shamim A. Naqvi: Towards a Real Horn Clause Language. VLDB 1988: 252-263 BibTeX
Amihai Motro, Peter Buneman: Constructing Superviews. SIGMOD Conference 1981: 56-64 BibTeX
Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 BibTeX
Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
Rafi Ahmed, Philippe De Smedt, Weimin Du, William Kent, Mohammad A. Ketabchi, Witold Litwin, Abbas Rafii, Ming-Chien Shan: The Pegasus Heterogeneous Multidatabase System. IEEE Computer 24(12): 19-27(1991) BibTeX
Moshé M. Zloof: Query-by-Example: A Data Base Language. IBM Systems Journal 16(4): 324-343(1977) BibTeX

Referenced by

  1. Theo Härder, Günter Sauter, Joachim Thomas: The Intrinsic Problems of Structural Heterogeneity and an Approach to Their Solution. VLDB J. 8(1): 25-43(1999)
  2. Goksel Aslan, Dennis McLeod: Semantic Heterogeneity Resolution in Federated Databases by Metadata Implantation and Stepwise Evolution. VLDB J. 8(2): 120-132(1999)
  3. Laks V. S. Lakshmanan, Fereidoon Sadri, Subbu N. Subramanian: On Efficiently Implementing SchemaSQL on an SQL Database System. VLDB 1999: 471-482
  4. Anthony Tomasic, Louiqa Raschid, Patrick Valduriez: Scaling Access to Heterogeneous Data Sources with DISCO. IEEE Trans. Knowl. Data Eng. 10(5): 808-823(1998)
  5. Frédéric Gingras, Laks V. S. Lakshmanan: nD-SQL: A Multi-Dimensional Language for Interoperability and OLAP. VLDB 1998: 134-145
  6. Renée J. Miller: Using Schematically Heterogeneous Structures. SIGMOD Conference 1998: 189-200
  7. Gustav Fahl, Tore Risch: Query Processing Over Object Views of Relational Data. VLDB J. 6(4): 261-281(1997)
  8. Chiang Lee, Chia-Jung Chen: Query Optimization in Multidatabase Systems Considering Schema Conflicts. IEEE Trans. Knowl. Data Eng. 9(6): 941-955(1997)
  9. Uwe Hohenstein, Volkmar Pleßer: A Generative Approach to Database Federation. ER 1997: 422-435
  10. Vipul Kashyap, Amit P. Sheth: Semantic and Schematic Similarities Between Database Objects: A Context-Based Approach. VLDB J. 5(4): 276-304(1996)
  11. James J. Lu, Anil Nerode, V. S. Subrahmanian: Hybrid Knowledge Bases. IEEE Trans. Knowl. Data Eng. 8(5): 773-785(1996)
  12. Yannis Papakonstantinou, Serge Abiteboul, Hector Garcia-Molina: Object Fusion in Mediator Systems. VLDB 1996: 413-424
  13. Laks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian: SchemaSQL - A Language for Interoperability in Relational Multi-Database Systems. VLDB 1996: 239-250
  14. Yannis E. Ioannidis, Miron Livny, Shivani Gupta, Nagavamsi Ponnekanti: ZOO : A Desktop Experiment Management Environment. VLDB 1996: 274-285
  15. Damianos Chatziantoniou, Kenneth A. Ross: Querying Multiple Features of Groups in Relational Databases. VLDB 1996: 295-306
  16. Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Brian Meckler, Michael Suckow: Is GUI Programming a Database Research Problem? SIGMOD Conference 1996: 517-528
  17. Yannis Papakonstantinou, Hector Garcia-Molina, Jeffrey D. Ullman: MedMaker: A Mediation System Based on Declarative Specifications. ICDE 1996: 132-141
  18. Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü: An Executable Graphical Representation of Mediatory Information Systems. ICDE 1996: 124-131
  19. Evaggelia Pitoura, Omran A. Bukhres, Ahmed K. Elmagarmid: Object Orientation in Multidatabase Systems. ACM Comput. Surv. 27(2): 141-195(1995)
  20. Xiaolei Qian, Louiqa Raschid: Query Interoperation Among Object-Oriented and Relational Databases. ICDE 1995: 271-278
  21. Ling Liu, Calton Pu: The Distributed Interoperable Object Model and Its Application to Large-scale Interoperable Database Systems. CIKM 1995: 105-112
  22. Helmut Kaufmann, Moira C. Norrie: Relaxation of Correctness in Database Systems. ADBIS 1995: 90-105
  23. Jaroslaw A. Chudziak, Henryk Rybinski, James Vorbach: Towards a Unifying Logic Formalism for Semantic Data Models. ER 1993: 492-507
  24. Chiang Lee, Cheng-Lun Tsai: Strategies for Selection from Heterogeneous Relations. DASFAA 1993: 97-104
  25. Toncan Duong, John Hiller, Anne H. H. Ngu: Information Integration through Contract. DASFAA 1993: 107-114
  26. Thierry Barsalou, Dipayan Gangopadhyay: M(DM): An Open Framework for Interoperation of Multimodel Multidatabase Systems. ICDE 1992: 218-227
  27. Werner Kießling, Helmut Thöne, Ulrich Güntzer: Database Support for Problematic Knowledge. EDBT 1992: 421-436
  28. William Kent: Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language. VLDB 1991: 147-160
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:40:05 2009