Sciweavers

Share
WAIM
2005
Springer

An Algebraic Framework for Schema Matching

9 years 8 months ago
An Algebraic Framework for Schema Matching
It is well known that a formal framework for the schema matching problem (SMP) is important because it facilitates the building of algorithm model and the evaluation of algorithms. An algebraic framework for schema matching is developed in this paper. First, based on universal algebra, we propose a meta-meta structure for schema, which is named multi-labeled schema. This definition has a distinctive feature: it is able to formally describe any particular style of schemas, and transforms a schema and other available information into a finite structure over specific signature. Later, we introduce a formal definition of schema matching that is called multivalent matching. Then, we formulize SMP as a schema homomorphism problem, and prove that SMP is equivalent to finding a semantic homomorphism from one schema to another. These results lead to the main contribution of this paper: an algebraic framework for SMP. This framework builds the algorithm model for SMP. Thirdly, we show a cla...
Zhi Zhang, Haoyang Che, Pengfei Shi, Yong Sun, Jun
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where WAIM
Authors Zhi Zhang, Haoyang Che, Pengfei Shi, Yong Sun, Jun Gu
Comments (0)
books