Functional database programming
Academic Journals
- J. Bleiholder, F. Naumann. Data fusion. ACM Computing Surveys (CSUR), 41(1):1-41, 2008.
- Amol Deshpande, Zachary Ives, Vijayshankar Raman. Adaptive Query Processing. Foundations and Trends in Databases, 1(1):1-140, 2007. download
- Goetz Graefe. Implementing sorting in database systems. ACM Comput. Surv, 38(3), 2006. download
- Dong, Libkin, Wong. Incremental Recomputation in Local Languages. INFCTRL: Information and Computation (formerly Information and Control), 181, 2003.
- Dan E. Willard. An Algorithm for Handling Many Relational Calculus Queries Efficiently. Journal of Computer and System Sciences, 65(2):295-331, 2002.
- Georg Gottlob, Nicola Leone, Francesco Scarcello. The complexity of acyclic conjunctive queries. J. ACM, 48(3):431-498, 2001. download
- Leonid Libkin, Limsoon Wong. On the Power of Incremental Evaluation in SQL-Like Languages. Lecture Notes in Computer Science, 1949, 2000.
- Limsoon Wong. Kleisli, a Functional Query System. Journal of Functional Programming (JFP), 10(1):19-56, January 2000.
- Alin Deutsch, Mary F. Fern\'andez, Daniela Florescu, Alon Y. Levy, Dan Suciu. A Query Language for XML. Computer Networks, 31(11):1155-1169, 1999.
- Zhe Li, Kenneth A. Ross. Fast joins using join indices. The VLDB Journal, 8(1):1-24, 1999.
- Leonid Libkin, Limsoon Wong. Incremental Recomputation of Recursive Queries with Nested Sets and Aggregate Functions. Lecture Notes in Computer Science, 1369:222-0, 1998.
- Leonid Libkin, Limsoon Wong. Query Languages for Bags and Aggregate Functions. JCSS: Journal of Computer and System Sciences, 55, 1997.
- Dan E. Willard. Applications of Range Query Theory to Relational Data Base Join and Selection Operations. Journal of Computer and System Sciences, 52(1):157-169, 1996.
- Dennis Shasha. Tuning databases for high performance. ACM Comput. Surv, 28(1):113-115, 1996. download
- Yannis E. Ioannidis. Query optimization. ACM Comput. Surv, 28(1):121-123, 1996. download
- Lars Baekgaard, Leo Mark. Incremental computation of nested relational query expressions. ACM Trans. Database Syst, 20(2):111-148, 1995. download
- Patrick O'Neil, Goetz Graefe. Multi-table joins through bitmapped join indices. SIGMOD Rec, 24(3):8-11, 1995. download
- Xubo Zhang, Z. Meral Ozsoyoglu. Some results on the containment and minimization of (in) equality queries. Information Processing Letters, 50(5):259-267, 1994. download
download
- Goetz Graefe. Query evaluation techniques for large databases. ACM Comput. Surv, 25(2):73-169, 1993. download
- Philip Wadler. Comprehending Monads. Mathematical Structures in Computer Science (MSCS), 2:461-493, 1992.
- Priti Mishra, Margaret H. Eich. Join processing in relational databases. ACM Comput. Surv, 24(1):63-113, 1992. download
- X. Qian, G. Wiederhold. Incremental recomputation of active relational expressions. IEEE Transactions on Knowledge and Data Engineering, 3(3):337-341, 1991.
- Eugene J. Shekita, Michael J. Carey. A performance evaluation of pointer-based joins. SIGMOD Rec, 19(2):300-311, 1990. download
- J. Cai, R. Paige. Program Derivation by Fixed Point Computation. Science of Computer Programming, 11:197-261, 1989.
- Malcolm P. Atkinson, O. Peter Buneman. Types and persistence in database programming languages. ACM Comput. Surv, 19(2):105-170, 1987. download
- Patrick Valduriez. Join indices. ACM Trans. Database Syst, 12(2):218-246, 1987. download
- Robert Paige, Fritz Henglein. Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. Journal of Symbolic Computation, Previous versions appeared at Proc. European Conference on Computer Algebra (EUROCAL), Linz, Austria, April 1985, Springer LNCS Vol. 204, pp. 554-567, and as IBM Technical Report RC 12169, September 1986, 4(2):207-232, August 1987.
- Matthias Jarke, Jurgen Koch. Query Optimization in Database Systems. ACM Comput. Surv, 16(2):111-152, 1984. download
- Peter Buneman, Robert E. Frankel, Rishiyur Nikhil. An implementation technique for database query languages. ACM Trans. Database Syst, 7(2):164-186, 1982. download
- A. Chandra, D. Harel. Structure and Complexity of Relational Queries. J. Comp. Sys. Sci, 25:99-128, 1982.
- E. F. Codd. A relational model of data for large shared data banks. Commun. ACM, 13(6):377-387, 1970. download
Book Chapters
- Jiazhen Cai, Philippe Facon, Fritz Henglein, Robert Paige, Edmond Schonberg. Type Analysis and Data Structure Selection. In Constructing Programs from Specifications, Published in the US by Elsevier Science Publishing Company Inc, 655 Ave. of the Americas, New York, NY 10010; ISBN: 0 444 89184 6, Möller (ed.), Published in the US by Elsevier Science Publishing Company Inc, 655 Ave. of the Americas, New York, NY 10010; ISBN: 0 444 89184 6, pp. 125-164, North-Holland, May 1991.
- A. Ohori. Orderings and Types in Databases. In Advances in Database Programming Languages, F. Bancilhon, P. Buneman (eds.), Chap. 6, pp. 97-116, Frontier Series, Addison-Wesley, ACM Press, 1990.
- D. Stemple, T. Sheard. Construction and Calculus of Types for Database Systems. F. Bancilhon, P. Buneman (eds.), Chap. 1, pp. 3-22, Frontier Series, Addison-Wesley, ACM Press, 1990.
- R. Paige. Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. In Advances in Database Theory, Vol. 2, J. Minker, J. Nicolas, H. Gallaire (eds.), ?, 1984.
International Conferences
- Fritz Henglein. Optimizing relational algebra operations using discrimination-based joins and lazy products. In Proc. ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation, Also DIKU TOPPS D-report no. 611, Pages 73-82, New York, NY, USA, 2010. download
- Torsten Grust, Manuel Mayr, Jan Rittinger, Tom Schreiber. Ferry: Database-supported program execution. In SIGMOD Conference, Pages 1063-1066, 2009.
- Eric Lo, Ben Kao, Wai-Shing Ho, Sau Dan Lee, Chun Kit Chui, David W. Cheung. OLAP on sequence data. In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data, Pages 649-660, New York, NY, USA, 2008. download
- Stavros Harizopoulos, Daniel J. Abadi, Samuel Madden, Michael Stonebraker. OLTP through the looking glass, and what we found there. In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data, Pages 981-992, New York, NY, USA, 2008. download
- Michael Nissen. Reporting Technologies. In 2nd 3gERP Workshop, Frederiksberg, Denmark, 2008.
- Ken Friis Larsen, Michael Nissen. FunSETL-Functional Reporting for ERP Systems. In Proc.\ 9th Symposium on Trends in Functional Programming (TFP), Technical Report ICIS-R08007, May, Radboud University Nijmegen, 2008, Nijmwegen, The Netherlands, 2008.
- Michael Nissen, Ken Friis Larsen. FunSETL-Functional Reporting for ERP Systems. In Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP), May 2008.
- Simon Peyton Jones, Philip Wadler. Comprehensive comprehensions. In Proc. 2007 Haskell Workshop, Freiburg, Germany, 2007.
- Michael Nissen. FunSETL for Data Analysis. In 1st 3gERP Workshop, Frederiksberg, Denmark, 2007.
- Ken Friis Larsen, Michael Nissen. FunSETL-Functional Reporting for ERP Systems. In Proc. 19th International Symposium on Implementation and Application of Functional Languages (IFL), Freiburg, Germany, October 2007.
- E. Meijer, B. Beckman, G. Bierman. LINQ: Reconciling Objects, Relations, and XML in the .NET Framework. In Proc. SIGMOD, 2006.
- Lajos Nagy, Ryan Stansifer. Polymorphic type inference for the relational algebra in the functional database programming language neon. In ACM-SE 44: Proceedings of the 44th annual Southeast regional conference, Pages 673-678, New York, NY, USA, 2006. download
- Mike Stonebraker, Daniel J. Abadi, Adam Batkin, Xuedong Chen, Mitch Cherniack, Miguel Ferreira, Edmond Lau, Amerson Lin, Sam Madden, Elizabeth O'Neil, Pat O'Neil, Alex Rasin, Nga Tran, Stan Zdonik. C-Store: A Column-oriented DBMS. In Proc. 31st VLDB Conf, Trondheim, Norway, 2005.
- Shimin Chen, Anastassia Ailamaki, Phillip B. Gibbons, Todd C. Mowry. Inspector joins. In VLDB '05: Proceedings of the 31st international conference on Very large data bases, Pages 817-828, 2005.
- Yanhong A. Liu, Scott D. Stoller. From datalog rules to efficient programs with time and space guarantees. In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, Pages 172-183, New York, NY, USA, 2003. download
- Quanzhong Li, Bongki Moon. Indexing and Querying XML Data for Regular Path Expressions. In VLDB, Pages 361-370, 2001.
- R. Avnur, J. M. Hellerstein. Eddies: Continously Adaptive Query Processing. In Proc. ACM SIGMOD Int'l Conf. on Management of Data (SIGMOD), Pages 261-272, New York, N.Y, 2000.
- Surajit Chaudhuri. An Overview of Query Optimization in Relational Systems. In PODS, Pages 34-43, 1998. download
- Deepak Goyal, Robert Paige. The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. In Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi, Pages 382-414, London, UK, UK, 1997.
- Sven Helmer, Guido Moerkotte. Evaluation of Main Memory Join Algorithms for Joins with Set Comparison Join Predicates. In VLDB '97: Proceedings of the 23rd International Conference on Very Large Data Bases, Pages 386-395, San Francisco, CA, USA, 1997.
- Timothy Griffin, Leonid Libkin. Incremental maintenance of views with duplicates. In Proc. of the Int.\ Conference on Management of Data (SIGMOD), M.\ Carey (ed.), Pages 328-339, San Jose, CA, 1995.
- Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong. Principles of programming with complex objects and collection types. In ICDT '92: Selected papers of the fourth international conference on Database theory, Pages 3-48, Amsterdam, The Netherlands, The Netherlands, 1995.
- Alexandra Poulovassilis, Carol Small. Investigation of Algebraic Query Optimisation Techniques for Database Programming Languages. In VLDB '94: Proceedings of the 20th International Conference on Very Large Data Bases, Pages 415-426, San Francisco, CA, USA, 1994.
- A. Gupta, I.S. Mumick, VS Subrahmanian. Maintaining views incrementally. In Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Pages 157-166, 1993.
- Jiazhen Cai, Robert Paige. Towards Increased Productivity of Algorithm Implementation. In Proc. SIGSOFT '93, December 1993.
- Val Breazu-Tannen, Peter Buneman, Shamim Naqvi. Structural recursion as a query language. In DBPL3: Proceedings of the third international workshop on Database programming languages : bulk types & persistent data, Pages 9-19, San Francisco, CA, USA, 1992.
- Val Tannen, Peter Buneman, Limsoon Wong. Naturally Embedded Query Languages. In ICDT '92: Proceedings of the 4th International Conference on Database Theory, Pages 140-154, London, UK, 1992.
- Dan E. Willard. Quasilinear algorithms for processing relational calculus expressions (preliminary report). In PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, Pages 243-257, New York, NY, USA, 1990. download
- D. Straube, T. Oezsu. Type Consistency of Queries in an Object-Oriented Database System. In Proc. Conf. Object-Oriented Programming: Systems, Languages, and Applications and European Conf. on Object-Oriented Programming, N. Meyrowitz (ed.), Pages 224-233, Ottawa, Canada, October 1990.
- P. Wadler. Comprehending Monads. In Proc. ACM Conf. on LISP and Functional Programming (LFP), Nice, France, June 1990.
- Phil Trinder, Philip Wadler. Improving list comprehension database queries. In TENCON '89. Fourth IEEE Region 10 International Conference, Bombay India, Pages 186-192, November 1989. download
- A. Ohori, P. Buneman. Static Type Inference for Parametric Classes. In Conf. Proc. Object-Oriented Programming: Systems, Languages, Applications (OOPSLA), appeared as SIGPLAN Notices, Vol. 24, No. 10, Pages 445-456, October 1989.
- J. Chomicki, T. Imielinski. Temporal Deductive Databases and Infinite Objects. In Proc. PODS 1988, 1988.
- Phil Trinder, Philip Wadler. List comprehensions and the relational calculus. In Proceedings of the 1988 Glasgow Workshop on Functional Programming, Rothesay, Scotland, Pages 115-123, August 1988.
- A. Bonner. Hypothetical Datalog: Complexity and Expressibility. In Proc. 2nd Int'l Conference on Database Theory (ICDT), Lecture Notes in Computer Science, Bruges, Belgium, August 1988.
- A. Ohori, P. Buneman. Type Inference in a Database Programming Language. In Proc. 1988 ACM Conf. on LISP and Functional Programming, Pages 174-183, July 1988.
- C. Beeri, S. Naqvi, R. Ramakrishnan, O. Shmueli, S. Tsur. Sets and Negation in a Logic Database Language (LDL1). In Proc. 6th ACM Symp. on Principles of Database Systems, Pages 21-37, San Diego, California, March 1987.
- Robert Paige, Fritz Henglein. Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. In Proc. European Conference on Computer Algebra (EUROCAL), Linz, Austria, Lecture Notes in Computer Science, Volume 204, Pages 554-567, April 1985.
- N. Immerman. Languages Which Capture Complexity Classes. In Proc. 1983 STOC, Pages 347-354, 1983.
- N. Immerman. Relational Queries Computable in Polynomial Time. In Proc. 14th ACM STOC, Pages 147-152, 1982.
- Peter Buneman, Rishiyur Nikhil, Robert Frankel. A practical functional programming system for databases. In FPCA '81: Proceedings of the 1981 conference on Functional programming languages and computer architecture, Pages 195-202, New York, NY, USA, 1981. download
Technical Reports
- Fritz Henglein, Ken Friis Larsen. Generic Multiset Programming for Language-Integrated Querying. TOPPS D-Report Department of Computer Science, University of Copenhagen (DIKU), No 609, October 2009.
- Fritz Henglein. Optimizing relational algebra operations using generic partitioning discriminators and lazy products. TOPPS D-Report Department of Computer Science, University of Copenhagen (DIKU), No 610, May 2009.
- David A. Watt, Phil Trinder. Towards a theory of bulk types. FIDE/91 Yale University, No 26, 1991.
- Jiazhen Cai, Philippe Facon, Fritz Henglein, Robert Paige, Edmond Schonberg. Type Transformation and Data Structure Choice. SETL Newsletter NYU, No 228, November 1988.
- Robert Paige, Fritz Henglein. Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code - A Case Study. RC IBM, No 12169, September 1986.
- M. Kifer, E. Lozinskii. Query Optimization in Logical Databases. Research Report SUNY (Stony Brook), No 85, June 1985.
Miscellaneous
- Daniel Brixen. Incremental Methods for REA-based Reporting. M.S. thesis, Department of Computer Science, University of Copenhagen, January 2005.
- R. Nikhil. An Incremental, Strongly Typed, Database Query Language. 1989.
- F. Bancilhon, R. Ramakrishnan. An Amateur's Introduction to Recursive Query Processing Srategies. Manuscript, 1986.
- J. Chomicki, T. Imielinski. Recognizing Pseudo-Recursion in Deductive Database. 0.
- G. Kuper, M. Vardi. On the Complexity of Queries in the Logical Data Model. 0.
Dissertations
- Stefan Manegold. Understanding, Modeling, and Improving Main-Memory Database Performance. PhD Thesis University of Amsterdam, December 2002.
- Limsoon Wong. Querying Nested Collections. PhD Thesis University of Pennsylvania, 1994.
- Divesh Srivastava. Representing and Querying Complex Information in the Coral Deductive Database System. PhD Thesis University of Wisconsin - Madison, 1993.
- J. Cai. Fixed Point Computation and Transformational Programming. PhD Thesis Rutgers University, 1987.
Master's thesis
- Alexandra Martins da Silva. Strong Types for Relational Data Stored in Databases or Spreadsheets. Master's theses Universidade do Minho, 2006.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.