Algebraic query optimisation for database programming languages

VLDB Journal

Volumn 5, Issue 2, 1996, Pages 119-132

  Poulovassilis, Alexandra ^a   Small, Carol ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Algebraic manipulation; Database management; Database programming languages; Functional languages; Query optimisation

Indexed keywords

EID: 0344683665     PISSN: 10668888     EISSN: None     Source Type: Journal    
DOI: 10.1007/s007780050019     Document Type: Article

References (35)

1. Albert J (1991) Algebraic properties of bag data types. In: Proc 17th VLDB, Barcelona, September, pp 211-219
2. Augustsson L (1984) A compiler for lazy ML. In: Proceedings of the ACM Symposium on Lisp and Functional Programming, Austin, August, pp 218-27
3. Bancilhon F, Briggs T, Khoshafian S, Valduriez P (1987) FAD, a powerful and simple database language. In: Proc 13th VLDB, Brighton, September, pp 97-106
4. Beeri C, Kornatzky Y (1990) Algebraic optimization of object-oriented query languages. In: Abiteboul S, Kanellakis PC (eds) ICDT '90. (Lecture notes in computer science, vol 470) Springer, Berlin Heidelberg New York, pp 72-88
5. Beeri C, Milo T (1992) Functional and predicative programming in OODBs. In: Proc ACM PODS, San Diego, June, pp 176-190
6. Bird R, Wadler P (1988) Introduction to functional programming, Prentice-Hall, Englewood Cliffs, NJ
7. Breazu-Tannen V, Buneman P, Naqvi S (1991) Structural recursion as a query language. In: Proc 3rd DBPL, Nafplion, August, pp 9-19
8. Burstall RM, Darlington J (1977) A transformation system for developing recursive programs. JACM 24:44-67
9. Chaudhuri S, Shim K (1994) Including group-by in query optimisation. In: Proc 20th VLDB, Santiago, September, pp 354-366
10. Clack C, Peyton-Jones S (1985) Strictness analysis - a practical approach. In: Jouannaud J-P (ed) Functional Programming Languages and Computer Architecture: proceedings. (Lecture notes in computer science, vol 201) Springer, Berlin Heidelberg New York, pp 33-49
11. Cluet S, Delobel C (1992) A general framework for the optimization of object-oriented queries. In: Proc ACM SIGMOD, San Diego, June, pp 383-392
12. Demuth B, Geppert A, Gorchs T (1994) Algebraic query optimisation in the CoOMS structurally object-oriented database system. In: Query processing for Advanced Database Systems. Freytag JC, Maier D, Vossen G (eds) Morgan Kaufman, San Mateo, Calif
13. Erwig M, Lipeck U (1991) A functional DBPL revealing high level optimizations. In: Proc 3rd DBPL, Nafplion, August, pp 306-321
14. Freytag JC, Goodman N (1989) On the translation of relational queries into iterative programs. ACM Trans Database Syst 14:1-27
15. Ganguly S, Greco S, Zaniolo C (1991) Mininum and maximum predicates in logic programming. In: Proc ACM PODS, Denver, May, pp 154-163
16. Harrison P, Khoshnevisan H (1992) The mechanical transformation of data types. Comput J 35:138-147
17. Heytens ML, Nikhil RS (1991) List comprehensions in Agna, a parallel persistent object system. In: Hughes J (ed) Functional Programming Languages and Computer Architecture: Proceedings. (Lecture notes in computer science, vol 523) Springer, Berlin Heidelberg New York, pp 569-591
18. Hindley JR, Seldin JP (1986) Introduction to combinators and λ-calculus. Cambridge University Press, Cambridge, UK
19. Jarke M, Koch J (1984) Query optimisation in database systems. ACM Comput Surv 16:111-152
20. Johnsson T (1984) Efficient compilation of lazy evaluation. In: Proceedings of the ACM Conference on Compiler Construction, Montreal, June, pp 58-69
21. Libkin L, Wong L (1993) Some properties of query languages for bags. In: Beeri C, Ohori A, Shasha D (eds) Proceedings of the 4th DBPL, New York. (Workshops in Computing) Springer, Berlin Heidelberg New York, pp 97-114
22. Lieuwin D, Dewitt D (1992) A transformation-based approach to optimizing loops in database programming languages. In: Proc ACM SIGMOD, San Diego, June, pp 91-100
23. Ohori A, Buneman P, Breazu-Tannen, V (1989) Database programming in Machiavelli - a polymorphic language with static type inference. In: Proc ACM SIGMOD, Portland, June, pp 46-57
24. Paton NW, Gray PMD (1990) Optimising and executing DAPLEX queries using Prolog. Comput J 33:547-555
25. Paulson LC (1986) Logic and computation: interactive proof with Cambridge LCF. Cambridge University Press, Cambridge, UK
26. Peyton-Jones SL (1987) The implementation of functional programming languages, Prentice-Hall, Englewood Cliffs, NJ
27. Plotkin G (1976) A power-domain construction. SIAM J Comput 5:452-487
28. Poulovassilis A, Small C (1993) A domain-theoretic approach to integrating logic and functional database languages. In: Proc 19th VLDB, Dublin, August, pp 416-428
29. Schmidt DA (1986) Denotational semantics. Allyn and Bacon, Needham Heights, Mass
30. Shaw GB, Zdonik SB (1989) An object-oriented query algebra. In: Proc 2nd DBPL, Oregon, June, pp 103-112
31. Stonebraker M (1991) Managing persistent objects in a multi-level store. In: Proc ACM SIGMOD, Denver, May, pp 2-11
32. Trinder P (1989) A functional database. DPhil thesis, Oxford University
33. Ullman JD (1989) Principles of database and knowledge-base systems, vol 2. Computer Science Press, New York
34. Vandenburg SL, DeWitt DJ (1991) Algebraic support for complex objects with arrays, identity and inheritance. In: Proc ACM SIGMOD, Denver, May pp 158-167
35. Wadler P (1990) Comprehending monads. In: Proc ACM Conference on Lisp and Functional Programming, Nice, June, pp 61-78