The Community for Technology Leaders
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05) (2005)
Timisoara, Romania
Sept. 25, 2005 to Sept. 29, 2005
ISBN: 0-7695-2453-2
pp: 59-62
Alina Andreica , "Babeş-Bolyai" University
Daniel Stuparu , "Babeş-Bolyai" University
Iulia Mantu , "Babeş-Bolyai" University
ABSTRACT
<p>The paper proposes a symbolic model for tackling the theoretical basis of the transformations between the relational database form and its XML representation. The model we propose aims at proving the consistency of such transformations, which are often used in software applications that process databases.</p> <p>On a more abstract level, our aim is to show that the categorial theory developed in symbolic computation can offer tools for systematically tackling the basis of fairly complex problems which rise in software design.</p>
INDEX TERMS
category theory, symbolic modelling, databases, XML representations of databases, representation consistency
CITATION

A. Andreica, I. Mantu and D. Stuparu, "Symbolic Modeling of Database Representations," Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)(SYNASC), Timisoara, Romania, 2005, pp. 59-62.
doi:10.1109/SYNASC.2005.69
89 ms
(Ver 3.3 (11022016))