Sciweavers

ENTCS
2002

Sketch Data Models, Relational Schema and Data Specifications

13 years 4 months ago
Sketch Data Models, Relational Schema and Data Specifications
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and when the aspects of reality that they seek to model are common, it may be possible to express their relationships in precise mathematical terms. This paper studies three mathematical models: The sketch data model, the relational data model, and the data specifications of Piessens and Steegmans, and determines their relationships mathematically and in detail. The constructions presented here answer reasonably long-standing theoretical questions, and offer techniques that promise to be practically useful in integrating data models. Key words: Category theory, data model, mathematical specification.
Michael Johnson, Robert D. Rosebrugh
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Michael Johnson, Robert D. Rosebrugh
Comments (0)