Representing and reasoning about semantic conflicts in heterogeneous information systems
DSpace@MIT (Massachusetts Institute of Technology)Published 1 January 1997Open access
Cheng Hian Goh, Stuart Madnick
Citations216
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This Thesis shows that the scCOIN framework provides a well-founded basis for reasoning about semantic disparities in heterogeneous systems, and combines the best features of loose- and tight-coupling approaches in defining an integration strategy that is scalable, extensible and accessible.
Abstract
Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1997.
Keywords
Computer Science
Foundations of Logic Programming
4,159 Citations1984John W. Lloyd
ComputerMediators in the architecture of future information systems
2,154 Citations1992Gio Wiederhold
It is shown that mediation simplifies, abstracts, reduces, merging, merges, and explains data.
Negation as Failure
2,026 Citations1978Keith Clark
It is shown that when the clause data base and the queries satisfy certain constraints, which still leaves us with a data base more general than a conventional relational data base, the query evaluation process will find every answer that is a logical consequence of the completed data base.
Journal of the ACMThe well-founded semantics for general logic programs
1,670 Citations1991Allen Van Gelder, Kenneth A. Ross +1 more
It is shown that the class of programs possessing a total well-founded model properly includes previously studied classes of "stratified" and "locally stratified" programs, and is compared with other proposals in the literature.
Journal of the ACMLogical foundations of object-oriented and frame-based languages
1,456 Citations1995Michael Kifer, Georg Lausen +1 more
A novel formalism, called Frame Logic (abbr., F-logic), is proposed, that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages.
ACM Transactions on Database SystemsDatabase abstractions
1,401 Citations1977John Miles Smith, Diane C. P. Smith
A triggering mechanism for automatically maintaining these invariants during update operations is proposed, and a simple mapping of aggregation/generalization hierarchies onto owner-coupled set structures is given.
The Journal of Logic ProgrammingConstraint logic programming: a survey
1,332 Citations1994Joxan Jaffar, Michael J. Maher
This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
1,281 Citations1990Douglas B. Lenat, Ramanathan V. Guha
This review has been difficult for me to write, because my thoughts about Cyc have changed a great deal since I first read the book in the spring of 1990, and my thoughts about the project today have changed a great deal.
ACM Computing SurveysSemantic database modeling: survey, applications, and research issues
1,144 Citations1987Richard Hull, Roger King
This paper provides a tutorial introduction to the primary components of semantic models, which are the explicit representation of objects, attributes of and relationships among objects, type constructors for building complex types, ISA relationships, and derived schema components.
On Closed World Data Bases
992 Citations1978Raymond Reiter
This paper shows that closed world evaluation of an arbitrary query may be reduced to open world evaluated of so-called atomic queries, and shows that the closed world assumption can lead to inconsistencies, but for Horn data bases no such inconsistencies can arise.
Journal of Intelligent Information SystemsThe TSIMMIS Approach to Mediation: Data Models and Languages
832 Citations1997Héctor García-Molina, Yannis Papakonstantinou +6 more
TSIMMIS—The Stanford-IBM Manager of Multiple Information sources offers a datamodel and a common query language that are designed to support the combining of information from many different sources.
Object exchange across heterogeneous information sources
756 Citations2002Yannis Papakonstantinou, Héctor García-Molina +1 more
An object-based information exchange model and a corresponding query language are defined that are well suited for integration of diverse information sources and used to integrate heterogeneous bibliographic information sources.
Surveys in computer scienceLogic Programming and Databases
746 Citations1990Stefano Ceri, Georg Gottlob +1 more
ACM SIGMOD RecordAn amateur's introduction to recursive query processing strategies
697 Citations1986François Bancilhon, Raghu Ramakrishnan
Elsevier eBooksOn the Declarative Semantics of Deductive Databases and Logic Programs
556 Citations1988Teodor C. Przymusiński
The class of perfect models of a deductive database is introduced and it is argued that this class of models provides a correct intended semantics for such databases, incorporating a natural form of the closed-world assumption.
ACM Computing SurveysSemantic data models
555 Citations1988Joan Peckham, Fred J. Maryanski
The generic properties of semantic data models are described and a representative selection of models that have been proposed since the mid-1970s are presented.
Journal of the ACMThe complexity of logic-based abduction
428 Citations1995Thomas Eiter, Georg Gottlob
It is shown that with the most basic forms of abduction the relevant decision problems are complete for complexity classes at the second level of the polynomial hierarchy, while the use of prioritization raises the complexity to the third level in certain cases.
ComputerClassifying schematic and data heterogeneity in multidatabase systems
421 Citations1991W. Kim, J. Seo
A complete framework for enumerating and classifying the types of multidatabase system (MDBS) structural and representational discrepancies is developed and is substantially applicable to heterogeneous database systems that use a nonrelational data model.
International Journal of Cooperative Information SystemsRETRIEVING AND INTEGRATING DATA FROM MULTIPLE INFORMATION SOURCES
414 Citations1993Yigal Arens, Chin Y. Chee +2 more
This paper describes how both the domain and the information sources are modeled, shows how a query at the domain level is mapped into a set of queries to individual information sources, and presents algorithms for automatically improving the efficiency of queries using knowledge about both the Domain and the Information sources.
Communications of the ACMGenerality in artificial intelligence
394 Citations1987John McCarthy
In my opinion, getting a language for expressing general commonsense knowledge for inclusion in a general database is the key problem of generality in AI.
The Journal of Logic ProgrammingLogin: a logic programming language with built-in inheritance
390 Citations1986Hassan Aı̈t-Kaci, Roger Nasr
An elaboration of the PROLOG language is described in which the notion of first-order term is replaced by a more general one, which allows the integration of inheritance directly into the unification process rather than indirectly through the resolutionbased inference mechanism of PROLOG.
ACM SIGMOD RecordF-logic: a higher-order language for reasoning about objects, inheritance, and scheme
359 Citations1989Michael Kifer, Georg Lausen
The role of common ontology in achieving sharable, reusable knowledge bases
350 Citations1991Thomas Gruber
A solar cell has a heat collector bar with a heat absorbing material in contact there with a transparent web member having a plurality of capsule uniformly distributed therein with each capsules having a suspension of highly reflective, flake-like, field responsive particles therein.
Scientific AmericanComputers, Networks and the Corporation
349 Citations1991Thomas W. Malone, John F. Rockart
ACM Transactions on Database SystemsLogic-based approach to semantic query optimization
347 Citations1990Upen S. Chakravarthy, John Grant +1 more
This paper consolidates the major results of these papers emphasizing the techniques and their applicability for optimizing relational queries and indicates how semantic query optimization techniques can be extended to databases that support recursion and integrity constraints that contain disjunction, negation, and recursion.
Contexts: a formalization and some applications
346 Citations1992Ramanathan V. Guha
The mechanism of contexts can be used to simplify representation and to integrate theories/data bases that make different assumptions and simplifications and is incorporated as rich objects in a first-order framework.
ACM Transactions on Database SystemsUsing semantic values to facilitate interoperability among heterogeneous information systems
331 Citations1994Edward Sciore, Michael Siegel +1 more
A theory of semantic values as a unit of exchange that facilitates semantic interoperability betweeen heterogeneous information systems is provided and it is shown how semantic values can either be stored explicitly or be defined by environments.
IEEE Transactions on Software EngineeringView Definition and Generalization for Database Integration in a Multidatabase System
328 Citations1984Umeshwar Dayal, Hai-Yann Hwang
A versatile view definition facility for the functional data model is described and the use of this facility for resolving inconsistencies is illustrated and its importance to database integration is emphasized.
The DARPA knowledge sharing effort: progress report
285 Citations1997Ramesh S. Patil, Richard Fikes +5 more
International Conference on Lightning ProtectionAbduction Compared with Negation by Failure.
273 Citations1989Kave Eshghi, Robert Kowalski
This paper shows how abduction can be integrated with logic programming, and concentrates on the use of abduction to generalise negation by failure.
ComputerThe Pegasus heterogeneous multidatabase system
253 Citations1991Rafi Ahmed, P. DeSmedt +6 more
Data abstraction and encapsulation facilities in the Pegasus object model provide an extensible framework for dealing with various kinds of heterogeneities in the traditional database systems and nontraditional data sources.
Journal of Logic and ComputationOn the Relationship Between Abduction and Deduction
252 Citations1991Luca Console, Daniele Theseider Dupré +1 more
A meta-level definition of abduction in l d terms of deduction, similar to various definitions proposed in the literature, and an object-leve efinition in which abductive conclusions are expressed as a logical consequence of the obser.
IEEE Transactions on Software EngineeringSuperviews: Virtual Integration of Multiple Databases
251 Citations1987A. Motro
A formal method that generates superviews, in an interactive process of schema editing operations, that is derived from the editing process, and stored together with the superview as a virtual database.
ComputerResource integration using a large knowledge base in Carnot
248 Citations1991Christine Collet, Michael N. Huhns +1 more
The method provides logical connectivity among the information resources via a semantic service layer that automates the maintenance of data integrity and provides an approximation of global data integration across systems.
International Joint Conference on Artificial IntelligencePrediction is deduction but explanation is abduction
245 Citations1989Murray Shanahan
ComputerA taxonomy and current issues in multidatabase systems
243 Citations1992M. W. Bright, Ali R. Hurson +1 more
A taxonomy of global information-sharing systems is presented, and the way in which multidatabase systems fit into the spectrum of solutions is discussed.
Scaling heterogeneous databases and the design of Disco
214 Citations2002Anthony Tomasic, Louiqa Raschid +1 more
The distributed mediator architecture of Disco is described, its query processing semantics are developed, the data model and its modeling of data source connections, and the interface to underlying data sources are described.
Elsevier eBooksSo Far (Schematically) yet So Near (Semantically)
211 Citations1993Amit Sheth, Vipul Kashyap
This paper first defines the concept of semantic proximity and provides a semantic taxonomy, and enumerate and classify the schematic and data conflicts.
Lecture notes in computer scienceQuerying semistructured heterogeneous information
182 Citations1995Dallan Quass, Anand Rajaraman +3 more
Proceedings of the IEEEMermaid—A front-end to distributed heterogeneous databases
168 Citations1987Matthew R. Templeton, David Brill +5 more
The architecture, system control, user interface, language and schema translation, query optimization, and network operation of the Mermaid system are described.
DSpace@MIT (Massachusetts Institute of Technology)Context Interchange: Overcoming the Challenges of Large-Scale Interoperable Database Systems in a Dynamic Environment
150 Citations2011Cheng Hian Goh, Stuart Madnick +1 more
Obtaining Complete Answers from Incomplete Databases
138 Citations1996Alon Y. Levy
This work presents a novel sound and complete algorithm for the answer-completeness problem by relating it to the problem of independence of queries from updates and shows an important case of the independence problem that can be decided in polynomial time, whereas the best known algorithm for this case is exponential.
Lecture notes in computer scienceCauses for events: Their computation and applications
135 Citations1986P. T. Cox, Tomasz Pietrzykowski
In this example, the interaction between the knowledge base, event and causes is discussed, and in particular, the property of consistency is used to eliminate ambiguity, and to discover deficiencies of theknowledge base.
Proceedings of the IEEEAn overview of the multi-database manipulation language MDSL
102 Citations1987Witold Litwin, Abdelaziz Abdellatif
MDSL is a new data manipulation language providing functions for data manipulation within a single database that is not available in other languages.
Flexible relation: an approach for integrating data from multiple, possibly inconsistent databases
98 Citations2002Samarth Agarwal, Arthur M. Keller +2 more
This work proposes the flexible relational model, which extends the classical relational model by providing support for inconsistent data, and presents a flexible relation algebra, which provides semantics for database operations in the presence of potentially inconsistent data.
Cost-based optimization for magic
98 Citations1996Praveen Seshadri, Joseph M. Hellerstein +6 more
A practical scheme that models magic sets rewriting as a special join method that can be added to any cost-based query optimizer, and a formal algebraic model based on an extension of the multiset relational algebra, which cleanly defines the search space and can be used in a rule-based optimizer.
Medical Entomology and ZoologyLogic and objects
94 Citations1992Francis G. McCabe
Introduction and background elements of the language programming techniques class template graphics semantics implementing class templates.
Quantificational logic of context
93 Citations1996Saša Buvač
The paper describes the syntax and the semantics of a quantificational language of context, gives a Hilbert style formal system, and outlines a proof of the system's completeness.
Integrating Information Sources Using Context Logic
87 Citations1995Adam Farquhar, Angela Dappert +2 more
This paper presents an approach to integrating disparate heterogeneous information sources that uses context logic that reduces the up-front cost of integration, provides an incremental integration path, and allows semantic conflicts within a single information sources or between information sources to be expressed and resolved.
Methods and rules
80 Citations1993Serge Abiteboul, Georg Lausen +2 more
It is shown how classical datalog semantics can be used directly and very simply to provide semantics to a syntactic extension of datalog with methods, classes, inheritance, overloading and late binding.
Journal of Organizational Computing and Electronic CommerceA classification of semantic conflicts in heterogeneous database systems
79 Citations1995Channah F. Naiman, Arison M. Ouksel
A classification of semantic conflicts which can be used as the basis for the incremental discovery and resolution of these conflicts and provides a systematic representation of alternative semantic interpretations of conflicts during the reconciliation process.
Implementation of magic-sets in a relational database system
77 Citations1994Inderpal Singh Mumick, Hamid Pirahesh
This implementation demonstrates the feasibility of the magic-sets transformation for commercial relational systems, and provides a mechanism to implement magic as an integral part of a new database system, or as an add-on to an existing database system.
ACM SIGMOD RecordSemantic heterogeneity as a result of domain evolution
75 Citations1991Vincent Ventrone
Examples of problems of semantic heterogeneity in databases due to “domain evolution”, as it occurs in both single- and multidatabase systems are described.
Problems and Promises of Computational Logic
67 Citations1990Robert Kowalski
It is argued that two major extensions of logic programming are needed — abduction and metalevel reasoning and extensions of full first-order logic may not be necessary.
Lirias (KU Leuven)SLDNFA: an abductive procedure for normal abductive programs
66 Citations1992Marc Denecker, Danny De Schreye
The research presented here provides a simple framework of abductive procedures, in which a number of parameters can be set, in order to t the abduction procedure to the application under consideration, and a completeness theorem is provided.
Medical Entomology and ZoologyMultidatabase Systems: An Advanced Solution for Global Information Sharing
57 Citations1993Ali R. Hurson, M. W. Bright +1 more
A tutorial comprising reprinted papers that explore issues associated with multidatabases and present the current status of work in the field.
Journal of Intelligent Information SystemsOn the declarative and procedural semantics of deductive object-oriented systems
52 Citations1995Gillian Dobbie, Rodney Topor
Both bottom-up and top-down query evaluation procedures are described and show that they are sound with respect to the declarative semantics of Gulog, a deductive object-oriented language.
Querying database knowledge
50 Citations1990Amihai Motro, Qiuhui Yuan
This paper argues that when this knowledge is of substantial volume and complexity, there is genuine need to query this repository of information, and that users of the database should be provided with a single, coherent instrument for access to knowledge and data.
Elsevier eBooksO*SQL: A Language for Object Oriented Multidatabase Interoperability
45 Citations1993Witold Litwin
MOSQL is presented, which consists of a common OO multidatabase language, termed MOSQL, and of an open-ended collection of local languages, which extends, and includes, the OSQL language.
ACM SIGMOD RecordOn global multidatabase query optimization
44 Citations1992Hongjun Lü, Beng Chin Ooi +1 more
It is claimed that global query optimization is necessary for high performance MDBMS as in the case of conventional distributed database systems, however, contrary to what is commonly assumed, query optimization in multidatabase systems encompasses a number of additional issues which arise from autonomy and heterogeneity of component databases.
IFIP advances in information and communication technologyThe Context Interchange Network Prototype
43 Citations1997Adil Daruwala, Cheng Hian Goh +4 more
A prototype implementation of the Context Interchange Network (CIN), designed to provide for the intelligent integration of contextually (i.e., semantically) heterogeneous data, is described in terms of a financial application.
DSpace@MIT (Massachusetts Institute of Technology)Programming the Web : design and implementation of a multidatabase browser
39 Citations1996M. Jakobisiak
This thesis designed and implemented the Multidatabase Browser and the Wrapper Generator, a front end application to the Context Interchange Network (COIN), which allows COIN users to issue queries using Structured Query Langueage to both databases and WWW information sources.
RESIDUE: a deductive approach to design synthesis
33 Citations1985Jonathan Finger, Michael Genesereth
It is shown how Residue can avoid backtracking caused by making design decisions of overly coarse granularity, and is given a rule for constraint propagation in deductive synthesis, and its use in pruning the design space.
Are we moving toward an information superhighway or a Tower of Babel? The challenge of large-scale semantic heterogeneity
33 Citations2002Stuart Madnick
Various forms of context challenges and examples of potential context mediation services, such as data semantics acquisition, data quality attributes and evolving semantics and quality, that can mitigate the problem are described.
Lirias (KU Leuven)Knowledge representation and reasoning in incomplete logic programming
25 Citations1993Marc Denecker
LINDA: a system for loosely integrated databases
23 Citations2003Antoni Wolski
LINDA, an experimental system for database access in heterogeneous environments, is discussed and the goal is to achieve maximum site autonomy and as much database access homogenization as possible.
DSpace@MIT (Massachusetts Institute of Technology)Data wrapping on the World Wide Web
19 Citations1996Jessica F. Qu
The Generic Screen Scraper is a tool that generates data wrappers to extract requested data from data sources on the World-Wide Web by allowing all queries to be issued using Standard Query Language based on the relational data model.