Number SRI-CSL-95-08.
Computer Science Laboratory, SRI International, Menlo Park, CA.
July, 1995.

We develop a formal basis of correct schema transforamtions. Schemas are formalized as abstract data types and correct schema transformations are formalized as information-preserving signature interpretations. Our formalism captures transformations of all schema components, making it possible to transform uniformly constraints and queries along with structures. In addition, our formalism captures schema transformations between different data models as easily as those within the same data model. Compared with Hull's notion of relative information capacity, our notion of information preservation captures more natural schema transformations. Our work lays the foundation of a transformational framework of schema manipulations.

@techreport{SRI-CSL-95-08,
  AUTHOR = {Xiaolei Qian},
  TITLE = {Correct Schema Transformations},
  INSTITUTION = {Computer Science Laboratory, {SRI} International},
  YEAR = {1995},
  NUMBER = {{SRI-CSL-95-08}},
  ADDRESS = {Menlo Park, {CA}},
  MONTH = {July},
  URL = {http://www.csl.sri.com/papers/sri-csl-95-08/}
}

• sri-csl-95-08.pdf
• sri-csl-95-08.ps