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.


Abstract
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
@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/}
}
Files
 













 

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