Relative information capacity of simple relational database schemata
SIAM Journal on Computing
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
Methods and tools for equivalent data model mapping construction
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Topology and category theory in computer science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Schema equivalence in heterogeneous systems: bridging theory and practice
Information Systems - Special issue on extending database technology
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Order-sorted model theory for temporal executable specifications
Theoretical Computer Science
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Information and Computation
A vision for management of complex models
ACM SIGMOD Record
Constraints for semistructured data and XML
ACM SIGMOD Record
On XML integrity constraints in the presence of DTDs
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Model independent assertions for integration of heterogeneous schemas
The VLDB Journal — The International Journal on Very Large Data Bases
View Integration: A Step Forward in Solving Structural Conflicts
IEEE Transactions on Knowledge and Data Engineering
Theoretical Aspects of Schema Merging
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Generic Schema Matching with Cupid
Proceedings of the 27th International Conference on Very Large Data Bases
Pushouts of Order-Sorted Algebraic Specifications
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Constrained Matching is Type Safe
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Data warehouse scenarios for model management
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Behavioral Compatibility of Self-Typed Theories
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Rondo: a programming platform for generic model management
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Supporting executable mappings in model management
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
State-Space Optimization of ETL Workflows
IEEE Transactions on Knowledge and Data Engineering
Managing Uncertainty in Schema Matcher Ensembles
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Institutionalising ontology-based semantic integration
Applied Ontology
An Algebraic Framework for Schema Matching
Informatica
Tuning the ensemble selection process of schema matchers
Information Systems
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Package merge in UML 2: practice vs. theory?
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An algebraic framework for schema matching
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Three semantics for distributed systems and their relations with alignment composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Automatic model generation in model management
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
Verification theories for XML schema
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Institutionalising ontology-based semantic integration
Applied Ontology
| Hi-index | 0.00 |
The core of a model theory for generic schema management is developed. This theory has two distinctive features: it applies to a variety of categories of schemas, and it applies to transformations of both the schema structure and its integrity constraints. A subtle problem of schema integration is considered in its general form, not bound to any particular category of schemas. The proposed solution, as well as the overall theory, is based entirely on schema morphisms that carry both structural and semantic properties. Duality results that apply to the schema and the data levels are established. These results lead to the main contribution of this paper: a formal schema and data management framework for generic schema management. Implications of this theory are established that apply to integrity problems in schema integration. The theory is illustrated by a particular category of schemas with object-oriented features along with typical database integrity constraints.