{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:23Z","timestamp":1761611063208},"reference-count":58,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":5739,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1016\/s0743-1066(96)00146-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T11:42:52Z","timestamp":1027597372000},"page":"101-149","source":"Crossref","is-referenced-by-count":23,"title":["Logic and algebraic languages for interoperability in multidatabase systems"],"prefix":"10.1016","volume":"33","author":[{"given":"Laks V.S.","family":"Lakshmanan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fereidoon","family":"Sadri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iyer N.","family":"Subramanian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(96)00146-X_BIB1","series-title":"Proceedings of Workshop on Database Programming Languages","first-page":"253","article-title":"COL: A Logic-Based Language for Complex Objects","author":"Abiteboul","year":"1987"},{"issue":"3","key":"10.1016\/S0743-1066(96)00146-X_BIB2","volume":"22","year":"1990","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"10.1016\/S0743-1066(96)00146-X_BIB3","volume":"19","year":"1994","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB4","series-title":"IEEE COMPCON","first-page":"128","article-title":"Pegasus: A System for Seamless Integration of Heterogeneous Information Sources","author":"Ahmed","year":"1991"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB5","series-title":"IEEE Computer","article-title":"The Pegasus Heterogeneous Multidatabase System","author":"Ahmed","year":"1991"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB6","series-title":"Proceedings of the International Workshop on Logic in Databases (LID'96)","first-page":"425","article-title":"Language Extensions for Semantic Integration of Deductive Databases","author":"Asirelli","year":"1996"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB7","series-title":"Proceedings of the IEEE International Conference on Data Engineering","article-title":"An Open Framework for Interoperation of Multimodel Multidatabase Systems","author":"Barsalou","year":"1992"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB8","series-title":"Proceedings of the International Conference on Very Large Databases","article-title":"Object and File Management in the Exodus Extensible Database System","author":"Carey","year":"1986"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB9","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB10","series-title":"Proceedings of IPSJ","article-title":"The TSIMMIS Project: Integration of Heterogeneous Information Sources","author":"Chawathe","year":"1994"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB11","series-title":"2nd International Workshop on Database Programming Languages","article-title":"Hilog as a Platform for Database Language","author":"Chen","year":"1989"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB12","doi-asserted-by":"crossref","DOI":"10.1016\/0743-1066(93)90039-J","article-title":"A Foundation for Higher-Order Logic Programming","author":"Chen","year":"1990"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB13","series-title":"Distributed Object Management","article-title":"Declarative Definition of Object-Oriented Multidatabase Mappings","author":"Chomicki","year":"1993"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB14","series-title":"Providing OLAP (On-Line Analytical Processing) to User-Analysts: An IT Mandate","author":"Codd","year":"1995"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB15","series-title":"Second International Conference on Expert Database Systems","article-title":"Cooperative Answering: A Methodology to Provide Intelligent Access to Databases","author":"Cuppens","year":"1988"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB16","article-title":"Foundations on Deductive Object-Oriented Database Systems","author":"Dobbie","year":"1995"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB17","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF00962280","article-title":"An Overview of Cooperative Answering","volume":"1","author":"Gaasterland","year":"1992","journal-title":"Journal of Intelligent Information Systems"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB18","series-title":"Proceedings of the ACM Symposium on Principles of Database Systems (PODS)","article-title":"Tables as a Paradigm for Querying and Restructuring","author":"Gyssens","year":"1996"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01228709","article-title":"Federated Databases and Systems; Part-One\u2014A Tutorial on Their Data Sharing","volume":"1","author":"Hsiao","year":"1992","journal-title":"VLDB Journal"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB20","series-title":"Multidatabase Systems: An Advanced Solution for Global Information Sharing","author":"Hurson","year":"1994"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB21","doi-asserted-by":"crossref","DOI":"10.1145\/210332.210335","article-title":"Logical Foundations for Object-Oriented and Frame-Based Languages","author":"Kifer","year":"1995","journal-title":"Journal of ACM"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB22","series-title":"2nd International Conference on Database Theory","first-page":"102","article-title":"On the Semantics of Rule-Based Expert Systems with Uncertainty","author":"Kifer","year":"1988"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB23","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","article-title":"Theory of Generalized Annotated Logic Programming and Its Applications","volume":"12","author":"Kifer","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB24","series-title":"Introduction to Object Oriented Databases","author":"Kim","year":"1990"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB25","series-title":"ACM SIGMOD International Conference on Management of Data","first-page":"40","article-title":"Language Features for Interoperability of Databases with Schematic Discrepancies","author":"Krishnamurthy","year":"1991"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB26","series-title":"Proceedings of the 14th VLDB Conference","first-page":"252","article-title":"Towards a Real Horn Clause Language","author":"Krishnamurthy","year":"1988"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB27","series-title":"Proceedings of the International Conference on Database Expert Systems and Applications (DEXA '94)","article-title":"Modeling Uncertainty in Deductive Databases","author":"Lakshmanan","year":"1994"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB28","article-title":"On Higher-Order Logics for MultiDatabase Interoperability","author":"Lakshmanan","year":"1995"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB29","article-title":"Extending Database Technology for Sophisticated Database Programming","author":"Lakshmanan","year":"1995"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB30","series-title":"Proceedings of the IEEE International Conference on Very Large Databases (VLDB'96)","first-page":"239","article-title":"SchemaSQL\u2014A Language for Querying and Restructuring Multidatabase Systems","author":"Lakshmanan","year":"1996"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB31","series-title":"Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST)","article-title":"A Declarative System for Multi-Database Interoperability","author":"Lakshmanan","year":"1995"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB32","series-title":"Distributed Databases","first-page":"153","article-title":"An Overview of Multibase","author":"Landers","year":"1982"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB33","article-title":"A Prolog Interpreter for F-logic","author":"Lawley","year":"1993"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB34","series-title":"Workshop on Deductive Databases in Conjunction with JICSLP","first-page":"31","article-title":"Query Transformation for Accessing Heterogeneous Databases","author":"Lefebvre","year":"1992"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB35","article-title":"Data Model and Query Evaluation in Global Information Systems","volume":"4","author":"Levy","year":"1995","journal-title":"Journal of Intelligent Information Systems"},{"issue":"2","key":"10.1016\/S0743-1066(96)00146-X_BIB36","article-title":"MSQL: A Multidatabase Language","volume":"48","author":"Litwin","year":"1989","journal-title":"Information Sciences"},{"issue":"3","key":"10.1016\/S0743-1066(96)00146-X_BIB37","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1145\/96602.96608","article-title":"Interoperability of Multiple Autonomous Databases","volume":"22","author":"Litwin","year":"1990","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB38","series-title":"Proceedings of the North American Conference on Logic Programming","first-page":"330","article-title":"Higher-Order Logic as a Data Model","author":"Manchanda","year":"1989"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB39","article-title":"A Schemalog Implementation for a Mediator Language","author":"Gori","year":"1996"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB40","series-title":"Proceedings of the 16th International Conference on Very Large Databases (VLDB'90)","first-page":"264","article-title":"The Magic of Duplicates and Aggregates","author":"Mumick","year":"1990"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB41","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0169-023X(89)90004-9","article-title":"Schema Evolution in Object-Oriented Database Systems","volume":"4","author":"Nguyen","year":"1989","journal-title":"Data and Knowledge Engrg."},{"key":"10.1016\/S0743-1066(96)00146-X_BIB42","series-title":"IEEE Trans. on Knowledge and Data Engrg.","first-page":"310","article-title":"The Role of Polymorphism in Schema Evolution in an Object-Oriented Database","author":"Osborn","year":"1989"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB43","article-title":"Realizing SchemaLog","author":"Papoulis","year":"1994"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB44","series-title":"Proceedings of the International Conference on Very Large Databases","article-title":"CORAL: Control, Relations, and Logic","author":"Ramakrishnan","year":"1992"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB45","series-title":"Proceedings of the 11th ACM Symposium on PODS","first-page":"346","article-title":"Relations with Relation Names as Arguments: Algebra and Calculus","author":"Ross","year":"1992"},{"issue":"2","key":"10.1016\/S0743-1066(96)00146-X_BIB46","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/176567.176570","article-title":"Using Semantic Values to Facilitate Interoperability among Heterogeneous Information Systems","volume":"19","author":"Sciore","year":"1994","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB47","series-title":"Foundations of Deductive Databases and Logic Programming","article-title":"Negation in Logic Programming","author":"Shepherdson","year":"1988"},{"issue":"3","key":"10.1016\/S0743-1066(96)00146-X_BIB48","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/96602.96604","article-title":"Federated Database System for Managing Distributed, Heterogeneous and Autonomous Databases","volume":"22","author":"Sheth","year":"1990","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB49","series-title":"Proceedings of the 4th IEEE Symposium on Logic Programming","first-page":"173","article-title":"On the Semantics of Quantitative Logic Programs","author":"Subrahmanian","year":"1987"},{"issue":"2","key":"10.1016\/S0743-1066(96)00146-X_BIB50","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","article-title":"Amalgamating Knowledge Bases","volume":"19","author":"Subrahmanian","year":"1994","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB51","article-title":"Hermes; Heterogeneous Reasoning and Mediator System","author":"Subrahmanian","year":"1995"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB52","first-page":"695","article-title":"Mermaid: A Front-End to Distributed Heterogeneous Databases","volume":"5","author":"Templeton","year":"1987"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB53","series-title":"Proceedings of the ACM Symposium on PODS","article-title":"Database Theory: Past and Future","author":"Ullman","year":"1987"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB54","volume":"Vol. II","author":"Ullman","year":"1989"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB55","volume":"Vol. I","author":"Ullman","year":"1989"},{"issue":"4","key":"10.1016\/S0743-1066(96)00146-X_BIB56","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"van Emden","year":"1976","journal-title":"JACM"},{"key":"10.1016\/S0743-1066(96)00146-X_BIB57","series-title":"IEEE Computer","article-title":"Mediators in the Architecture of Future Information Systems","author":"Wiederhold","year":"1992"},{"issue":"2","key":"10.1016\/S0743-1066(96)00146-X_BIB58","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1109\/69.88004","article-title":"Reliability of Answers to Queries in Relational Databases","volume":"3","author":"Sadri","year":"1990","journal-title":"IEEE Transactions on Knowledge and Data Engineering"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074310669600146X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S074310669600146X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T18:51:27Z","timestamp":1556304687000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S074310669600146X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["S074310669600146X"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(96)00146-x","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}