loading...
Symbolic Modeling of Database Representations
Timisoara, Romania September 25-September 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SYNASC.2005.69Seventh International Symposium on Sy ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Alina Andreica, Daniel Stuparu, Iulia Mantu, "Symbolic Modeling of Database Representations," Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on, pp. 59-62, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/SYNASC.2005.69,
author = {Alina Andreica and Daniel Stuparu and Iulia Mantu},
title = {Symbolic Modeling of Database Representations},
journal ={Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2453-2},
pages = {59-62},
doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2005.69},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
TI - Symbolic Modeling of Database Representations
SN - 0-7695-2453-2
SP59
EP62
A1 - Alina Andreica,
A1 - Daniel Stuparu,
A1 - Iulia Mantu,
PY - 2005
KW - category theory
KW - symbolic modelling
KW - databases
KW - XML representations of databases
KW - representation consistency
VL - 0
JA - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
ER -
 
Alina Andreica, "Babeş-Bolyai" University
Daniel Stuparu, "Babeş-Bolyai" University
Iulia Mantu, "Babeş-Bolyai" University

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.

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.

Index Terms:
category theory, symbolic modelling, databases, XML representations of databases, representation consistency
Citation:
Alina Andreica, Daniel Stuparu, Iulia Mantu, "Symbolic Modeling of Database Representations," synasc, pp.59-62, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.