An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Optimizing the performance of a relational algebra database interface
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
A correspondence between ALGOL 60 and Church's Lambda-notations: Part II
Communications of the ACM
The semantic data model: a modelling mechanism for data base applications
SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data
Principles of Database Systems
Principles of Database Systems
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
SEQUEL: A structured English query language
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
LISP 1.5 Programmer's Manual
The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
Rule-based transformation of relational queries into iterative programs
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Object-oriented database support for software environments
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Implementation concepts for an extensible data model and data language
ACM Transactions on Database Systems (TODS)
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Data functions, datalog and negation
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Functional Development of Database Applications
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A functional approach to integrating database and expert systems
Communications of the ACM
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
Functional database query languages as typed lambda calculi of fixed order (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The C++ interface in objectivity
ACM SIGPLAN Notices
PDM: an object-oriented data model
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
CACTIS: a database system for specifying functionally-defined data
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
GENESIS: a project to develop an extensible database management system
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Processing queries with quantifiers a horticultural approach
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
The Iris Architecture and Implementation
IEEE Transactions on Knowledge and Data Engineering
Navigation-Driven Evaluation of Virtual Mediated Views
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Constructing Database Systems in a Persistent Environment
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A practical functional programming system for databases
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
IBM database 2 performance: design, implementation, and tuning
IBM Systems Journal
Optimizing relational algebra operations using generic equivalence discriminators and lazy products
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Journal of Visual Languages and Computing
Generic multiset programming for language-integrated querying
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Steno: automatic optimization of declarative queries
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Generic multiset programming with discrimination-based joins and symbolic Cartesian products
Higher-Order and Symbolic Computation
A familial specification language for database application systems
Computer Languages
Hi-index | 0.02 |
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.