Institutions: integrating objects, XML and databases Export

@article{Alagic2002, abstract = {A general model theory based on institutions is proposed as a formal framework for investigating typed object-oriented, XML and other data models equipped with integrity constraints. A major challenge in developing such a unified model theory is in the requirement that it must be able to handle major structural differences between the targeted models as well as the significant differences in the logic bases of their associated constraint languages. A distinctive feature of this model theory is that it is transformation-oriented. It is based on structural transformations within a particular category of models or across different categories with a fundamental requirement that the associated constraints are managed in such a way that the database integrity is preserved.}, author = {Alagic, Suad}, citeulike-article-id = {1757387}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/S0950-5849(02)00010-1}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6V0B-4562B1V-1/2/a2f2f7f4a52dd250dc1e8e66bf22852c}, day = {31}, doi = {10.1016/S0950-5849(02)00010-1}, journal = {Information and Software Technology}, keywords = {category\_theory, confirmation, databases, institutions, transfer}, month = {March}, number = {4}, pages = {207--216}, posted-at = {2007-10-11 22:19:01}, priority = {2}, title = {Institutions: integrating objects, XML and databases}, url = {http://dx.doi.org/10.1016/S0950-5849(02)00010-1}, volume = {44}, year = {2002} }

TY - JOUR ID - Alagic2002 L3 - citeulike-article-id:1757387 N2 - A general model theory based on institutions is proposed as a formal framework for investigating typed object-oriented, XML and other data models equipped with integrity constraints. A major challenge in developing such a unified model theory is in the requirement that it must be able to handle major structural differences between the targeted models as well as the significant differences in the logic bases of their associated constraint languages. A distinctive feature of this model theory is that it is transformation-oriented. It is based on structural transformations within a particular category of models or across different categories with a fundamental requirement that the associated constraints are managed in such a way that the database integrity is preserved. IS - 4 JF - Information and Software Technology EP - 216 TI - Institutions: integrating objects, XML and databases VL - 44 SP - 207 KW - category_theory KW - confirmation KW - databases KW - institutions KW - transfer AU - Alagic, Suad PY - 2002/03/31/ UR - http://dx.doi.org/10.1016/S0950-5849(02)00010-1 ER -