Programming in Prolog
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
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
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
EXPRESS: a data EXtraction, Processing, and Restructuring System
ACM Transactions on Database Systems (TODS)
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
An algebra of relations for machine computation
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Functional Programming
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Functional Programming and Its Applications: An Advanced Course
Functional Programming and Its Applications: An Advanced Course
Logic and Data Bases
Guide to Nomad for Applications Development
Guide to Nomad for Applications Development
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Non first normal form relations to represent hierarchically organized data
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
User Extensions to the Peterlee Relational Test Vehicle
Systems for Large Data Bases
Overview of relational programming
ACM SIGPLAN Notices
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
A relational model for unstructured documents
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
| Hi-index | 0.00 |
Relational algebras as developed by Codd and his followers are extended by noting an equivalence with functional languages. This leads to higher order relations, recursive definitions of relations, and the use of higher order relations as recursive data structures. This equivalence on the one hand enables the technology of databases to be used within the context of applicative languages, and on the other hand removes the adhoc mechanisms used for higher order operations in relational databases. This leads from 4th to 5th generation data management, exploiting the mathematical foundations of functional languages and logic programming, and the technology of relational database.