The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Some DML instruction sequences for application program analysis and conversion
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
LSL: a Link and Selector Language
SIGMOD '76 Proceedings of the 1976 ACM SIGMOD international conference on Management of data
A methodology of application program analysis and conversion based on database semantics
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
An access path model for physical database design
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Application Program Conversion due to Data Base Changes
Systems for Large Data Bases
Logical Design and Schema Conversion for Relational and DBTG Databases
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Database design and translation for multiple data models
Database design and translation for multiple data models
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
A framework for choosing a database query language
ACM Computing Surveys (CSUR)
Towards a Better Understanding of Data Models Through the Multilingual Database System
IEEE Transactions on Software Engineering
An approach for integration of data processing in a distributed enviornment
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A transformation-based approach to optimizing loops in database programming languages
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Rosolving conflicts in global storage design through replication
ACM Transactions on Database Systems (TODS)
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
Federated databases and systems: part I --- a tutorial on their data sharing
The VLDB Journal — The International Journal on Very Large Data Bases
Heterogeneous Databases: Proliferations, Issues, and Solutions
IEEE Transactions on Knowledge and Data Engineering
Program Analysis for Conversion from a Navigation to a Specification Database Interface
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data language requirements of database machines
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
JReq: database queries in imperative languages
CC'10/ETAPS'10 Proceedings of the 19th joint European conference on Theory and Practice of Software, international conference on Compiler Construction
| Hi-index | 0.00 |
A “decompilation” algorithm is developed to transform a program written with the procedural operations of CODASYL DML into one which interacts with a relational system via a nonprocedural query specification. An Access Path Model is introduced to interpret the semantic accesses performed by the program. Data flow analysis is used to determine how FIND operations implement semantic accesses. A sequence of these is mapped into a relational query and embedded into the original program. The class of programs for which the algorithm succeeds is characterized.