Database Engineering from the Category Theory Viewpoint

2008 Annual International Workshop on Databases, Texts, Specifications and Objects

David Toth

Others  :  http://CEUR-WS.org/Vol-330/paper5.pdf
PID  :  49458

来源: CEUR

【 摘 要 】

This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal models. Many formal models such as XML Data Model, XQuery Data Model or Algebra for XML can be described in terms of category theory. This kind of description allows to consider generic properties of these formalisms, e.g. expressive power, optimization, reduction or translation between them, among others. These properties are rather crucial to comparison of different XML formal models and to consequent decision which formal system should be used to solve a concrete problem. This work aim is to be the basis for further research in the area of XML formal models where category theory is applied.