arrow
Return

Institutions: integrating objects, XML and databases

delete2002-03-01
delete8
PRE
AI
A
Alagic, S
DOI:10.1016/S0950-5849(02)00010-1delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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. (C) 2002 Elsevier Science B.V. All rights reserved.
Keywords:
object-oriented
XML
data models
institutions
transformations
integrity constraints
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Information and Software Technology cover
Information and Software Technology
IF:
4.3
Papers:
3.8K
Citations:
7.7K

Organization

No organization information available
Cited Papers

Cited Papers

errShare
errSave
A Defense of Human Equality
err1944-03-01
err0
PREAI
errHerbert Spiegelberg
errShare
errSave
Resource Allocation for Lagrangian Tracking
err2016-06-01
err0
errOAAI
errBenjamin T. Jones; Andrew Solow; Rubao Ji
errShare
errSave
errShare
errSave
Management of ocular surface squamous neoplasia: Bowman Club Lecture 2021
err2021-07-27
err0
errOAAI
errOsmel P Alvarez; Mike Zein; Anat Galor; Carol L Karp
errShare
errSave
A garment design method based on modularization
err2016-08-20
err0
PREAI
errHaimei Zhou; Yanni Xu; Lichuan Wang; Yan Chen
errShare
errSave
researcher View more