Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
Basic category theory for computer scientists
Basic category theory for computer scientists
Updating relational databases through weak instance interfaces
ACM Transactions on Database Systems (TODS)
Categories and computer science
Categories and computer science
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
CGOOD, a categorical graph-oriented object data model
Theoretical Computer Science
A first course in database systems
A first course in database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
An Introduction to Database Systems
An Introduction to Database Systems
On propagation of deletions and annotations through views
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
View updates in a semantic data modelling paradigm
ADC '01 Proceedings of the 12th Australasian database conference
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Implementing Queries and Updates on Universal Scheme Interfaces
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Selective Attribute Elimination for Categorial Data Specifications
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
The impact of the constant complement approach towards view updating
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
Relational lenses: a language for updatable views
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Database interoperability through state-based logical data independence
International Journal of Computer Applications in Technology
Implementing a Categorical Information System
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Constant Complements, Reversibility and Universal View Updates
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Mathematical Support for Ensemble Engineering
Software-Intensive Systems and New Computing Paradigms
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
A relational model of incomplete data without nulls
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Lenses, fibrations and universal translations
Mathematical Structures in Computer Science
| Hi-index | 5.23 |
Maintainability and modifiability of information system software can be enhanced by the provision of comprehensive support for views, since view support allows application programs to continue to operate unchanged when the underlying information system is modified. Supporting views depend upon a solution to the view update problem. This paper presents a new treatment of view updates for formally specified semantic data models based on the category theoretic sketch data model. The sketch data model has been the basis of a number of successful major information system consultancies. We define view updates by a universal property in models of the formal specification, and explain why this indeed gives a complete and correct treatment of view updatability, including a solution to the view update problem. However, a definition of updatability which is based on models causes some inconvenience in applications, so we prove that in a variety of circumstances updatability is guaranteed independently of the current model. This is done first with a very general criterion, and then for some specific cases relevant to applications. We include some details about the sketch data model, noting that it involves extensions of algebraic data specification techniques.