Space usage in functional query languages

This publication has 16 references indexed in Scilit:

• Database query languages embedded in the typed lambda calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Any algorithm in the complex object algebra with powerset needs exponential space to compute transitive closure
  Published by Association for Computing Machinery (ACM) ,1994
• The logical data model
  ACM Transactions on Database Systems, 1993
• On the complexity of queries in the logical data model
  Theoretical Computer Science, 1993
• Recursive Applicative Program Schemes
  Published by Elsevier ,1990
• An implementation technique for database query languages
  ACM Transactions on Database Systems, 1982
• Universality of data retrieval languages
  Published by Association for Computing Machinery (ACM) ,1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• A Metalanguage for interactive proof in LCF
  Published by Association for Computing Machinery (ACM) ,1978
• A relational model of data for large shared data banks
  Communications of the ACM, 1970