Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
View updates in relational databases with an independent scheme
ACM Transactions on Database Systems (TODS)
An illustrated mathematical foundation for ERA
The unified computation laboratory
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.
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
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
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
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
On the Value of Commutative Diagrams in Information Modelling
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Reverse Engineering Legacy Information Systems for Internet Based Interoperation
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
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
Hi-index | 0.00 |
Information system software productivity can be increased by improving the maintainability and modifiability of the software produced. This latter in turn can be achieved 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. But, supporting views depends upon a solution to the view update problem, and proposed solutions to date have only had limited, rather than comprehensive, applicability. This paper presents a new treatment of view updates for formally specified information systems. The formal specification technique we use is based on category theory and has been the basis of a number of successful major information system consultancies. We define view updates by a universal property in a subcategory of models of the formal specification, and explain why this indeed gives a comprehensive 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. The paper is predominantly theoretical, as it develops the theoretical basis of a formal methods technique, but the methods described here are currently being used in a large consultancy for a government Department of Health. Because the application area, information systems, is rarely treated by formal methods, we include some detail about the formal methods used. In fact they are extensions of the usual category theoretic specification techniques, and the solution to the view update problem can be seen as requiring the existence of an initial model for a specification.