An implementation technique for database query languages
- 1 June 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 7 (2), 164-186
- https://doi.org/10.1145/319702.319711
Abstract
Structured query languages, such as those available for relational databases, are becoming increasingly desirable for all database management systems. Such languages are applicative: there is no need for an assignment or update statement. A new technique is described that allows for the implementation of applicative query languages against most commonly used database systems. The technique involves “lazy” evaluation and has a number of advantages over existing methods: it allows queries and functions of arbitrary complexity to be constructed; it reduces the use of secondary storage; it provides a simple control structure through which interfaces to other programs may be constructed; and the implementation, including the database interface, is quite compact. Although the technique is presented for a specific functional programming system and for a CODASYL DBMS, it is general and may be used for other query languages and database systems.Keywords
This publication has 15 references indexed in Scilit:
- The functional data model and the data languages DAPLEXACM Transactions on Database Systems, 1981
- OperatorsACM Transactions on Programming Languages and Systems, 1979
- FQLPublished by Association for Computing Machinery (ACM) ,1979
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Database abstractionsACM Transactions on Database Systems, 1977
- Optimizing the performance of a relational algebra database interfaceCommunications of the ACM, 1975
- The programming language pascalActa Informatica, 1971
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965