Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Categories, types, and structures: an introduction to category theory for the working computer scientist
An illustrated mathematical foundation for ERA
The unified computation laboratory
Categories and computer science
Categories and computer science
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
An introduction to database systems (7th ed.)
An introduction to database systems (7th ed.)
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
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
View updates in a semantic data modelling paradigm
ADC '01 Proceedings of the 12th Australasian database conference
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Selective Attribute Elimination for Categorial Data Specifications
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
View Updatability Based on the Models of a Formal Specification
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Hi-index | 0.00 |
The maintenance of legacy information systems is becoming increasingly common as needs for internet based interoperation drive system changes. This paper outlines new techniques for achieving interoperability among legacy information systems, usually without making major changes to the legacy code. The techniques involved use a limited type of reverse engineering to establish a formal model of relevant parts of the legacy systems, and they use existing interfaces to communicate between the code written to support the reverse engineered models and the legacy code. Interoperation is then achieved using mathematical techniques to support common logically data independent views of the reverse engineered models. The paper is somewhat theoretical as it provides a detailed exposition of the new techniques, but the techniques themselves are currently being tested in industrial applications with considerable success, and they are based on a framework which has been used in a number of major consultancies.