SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Correct Schema Transformations
 by Xiaolei Qian.

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.
BibTEX Entry
  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 = {}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2018 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy