Categorical Approach for Making Model of Data Model

MIAO De-cheng,XI Jian-qing,SU Jin-dian
DOI: https://doi.org/10.3969/j.issn.1001-3695.2013.09.046
2013-01-01
Abstract:To satisfy the application demands of modeling for complex semantics of data model,and to overcome the drawbacks of the existing modeling methods of data model based on category theory both in theoretical research and engineering practice,this paper made a sketch data model.The model described formally the consistency transformation of database states by category theory independent of particular database modeling languages in the framework of model category,which extended the expressive and process functions of traditional ER model.Based on the support of sketch for graphical modeling specification,it also provided an algorithm of translating ER model to sketch data model.Besides,it compared and analyzed the advantages of sketch data model and the algorithm through experiments so as to provide a convenient and efficient formal theory framework for categorical method of data model.
What problem does this paper attempt to address?