Model correspondence as a basis for schema domination

Authors:
Guy Davies;Love Ekenberg
Affiliations:
Department of Computer and Systems Sciences, Stockholm University, Forum 100, SE-164 40 Kista, Sweden;Department of Computer and Systems Sciences, Stockholm University, Forum 100, SE-164 40 Kista, Sweden
Venue:
Knowledge-Based Systems
Year:
2010

Citing 19
Cited 0

A formal view integration method

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A theory of diagnosis from first principles

Artificial Intelligence
A comparative analysis of methodologies for database schema integration

ACM Computing Surveys (CSUR)
A theory for rule triggering systems

EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Negotiation in a non-cooperative environment

Journal of Experimental & Theoretical Artificial Intelligence
Agent-oriented programming

Artificial Intelligence
Capturing Design Rationale in Concurrent Engineering Teams

Computer
Linguistic instruments and qualitative reasoning for schema integration

CIKM '94 Proceedings of the third international conference on Information and knowledge management
On conflicts in general and their use in AI in particular

Computational conflicts
Conflict management in concurrent engineering: modelling guides

Computational conflicts
First-Order Dynamic Logic

First-Order Dynamic Logic
Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Formal Basis for Dynamic Schema Integration

ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
A survey of approaches to automatic schema matching

The VLDB Journal — The International Journal on Very Large Data Bases
A transition logic for schemata conflicts

Data & Knowledge Engineering
Visualization of mappings between schemas

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Incremental schema matching

VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Schema merging and mapping creation for relational sources

EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
A framework for determining design correctness

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conceptual schemata each representing some component of a system in the making, can be integrated in a variety of ways. Herein, we explore some fundamental notions of this. In particular, we examine some ways in which integration using correspondence assertions affects the interrelationship of two component schemata. Our analysis of the logic leads us to reject the commonly asserted requirement of constraining correspondence assertions to single predicates from a source schema. Much previous work has focussed on dominance with regard to preservation of information capacity as a primary integration criterion. However, even though it is desirable that the information capacity of a combined schema dominate one or both of its constituent schemata, we here discuss some aspects of why domination based on information capacity alone is insufficient for the integration to be semantically satisfactory, and we provide a framework for detecting mappings that prevent schema domination.