Database Programming Languages: A Functional Approach.

@inproceedings{DBLP:conf/sigmod/Annevelink91,
  author    = {Jurgen Annevelink},
  editor    = {James Clifford and
               Roger King},
  title     = {Database Programming Languages: A Functional Approach},
  booktitle = {Proceedings of the 1991 ACM SIGMOD International Conference on
               Management of Data, Denver, Colorado, May 29-31, 1991},
  publisher = {ACM Press},
  year      = {1991},
  pages     = {318-327},
  ee        = {http://doi.acm.org/10.1145/115790.115841, db/conf/sigmod/Annevelink91.html},
  crossref  = {DBLP:conf/sigmod/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper introduces the Iris Programming Language (IPL), a functional embedding of OSQL, the query language of Iris, an object-oriented database system prototype developed by Hewlett-Packard Laboratories. The main contribution of this paper is to show how a declarative query language can be extended into a general purpose database programming language by embedding it into a functional programming language. The key to the approach is the capability of invoking an embedded interpreter from within the context of a query evaluation. The paper discusses the mechanism by which the Iris query interpreter was extended to provide this capability and discusses how such extensions can be added to relational database systems.

IPL is a full-fledged programming language, that includes control abstractions and is compiled into an intermediate, lambda calculus based language. IPL provides direct access to the operators of the underlying intermediate language, thus allowing it to be extended and specialized for a particular application domain.

IPL is successfully implemented and is in active use.

Copyright © 1991 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/smod7592 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Online Edition: ACM Digital Library

References

[1]

Harold Abelson, Gerald J. Sussman: Structure and Interpretation of Computer Programs. MIT Press 1985, ISBN 0-262-51036-7
BibTeX

[2]

...

[3]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX

[4]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX

[5]

Don S. Batory: Principles of Database Management System Extensibility. IEEE Data Eng. Bull. 10(2): 40-46(1987) BibTeX

[6]

Michael J. Carey, David J. DeWitt: An Overview of the EXODUS Project. IEEE Data Eng. Bull. 10(2): 47-54(1987) BibTeX

[7]

Tim Connors, Peter Lyngbæk: Providing Uniform Access to Heterogeneous Information Bases. OODBS 1988: 162-173 BibTeX

[8]

A. J. Field, Peter G. Harrison: Functional Programming. Addison-Wesley 1988, ISBN 0-201-19249-7
BibTeX

[9]

...

[10]

Georges Gardarin, Jean-Pierre Cheiney, Gerald Kiernan, Dominique Pastre, Hervé Stora: Managing Complex Objects in an Extensible Relational DBMS. VLDB 1989: 55-65 BibTeX

[11]

Laura M. Haas, Johann Christoph Freytag, Guy M. Lohman, Hamid Pirahesh: Extensible Query Processing in Starburst. SIGMOD Conference 1989: 377-388 BibTeX

[12]

Volker Linnemann, Klaus Küspert, Peter Dadam, Peter Pistor, R. Erbe, Alfons Kemper, Norbert Südkamp, Georg Walch, Mechtild Wallrath: Design and Implementation of an Extensible Database Management System Supporting User Defined Data Types and Functions. VLDB 1988: 294-305 BibTeX

[13]

Michael V. Mannino, Injun Choi, Don S. Batory: An Overview of the Object-Oriented Functional Data Language. ICDE 1989: 18-26 BibTeX

[14]

Frank Manola, Umeshwar Dayal: PDM: An Object-Oriented Data Model. OODBS 1986: 18-25 BibTeX

[15]

Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 BibTeX

[16]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[17]

...

[18]

Tore Risch: Monitoring Database Objects. VLDB 1989: 445-453 BibTeX

[19]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[20]

Michael Stonebraker, Jeff Anton, Eric N. Hanson: Extending a Database System with Procedures. ACM Trans. Database Syst. 12(3): 350-376(1987) BibTeX

[21]

W. Kevin Wilkinson, Peter Lyngbæk, Waqar Hasan: The Iris Architecture and Implementation. IEEE Trans. Knowl. Data Eng. 2(1): 63-75(1990) BibTeX

Referenced by

1. Yuh-Ming Shyy, Javier Arroyo, Stanley Y. W. Su, Herman Lam: The Design and Implementation of K: A High-Level Knowledge-Base Programming Language of OSAM*.KBMS. VLDB J. 5(3): 181-195(1996)
2. Alexandra Poulovassilis, Carol Small: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages. VLDB 1993: 416-428
3. Witold Litwin, Tore Risch: Main Memory Oriented Optimization of OO Queries Using Typed Datalog with Foreign Predicates. IEEE Trans. Knowl. Data Eng. 4(6): 517-528(1992)
4. William Kent: Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language. VLDB 1991: 147-160
5. Ravi Krishnamurthy, Witold Litwin, William Kent: Language Features for Interoperability of Databases with Schematic Discrepancies. SIGMOD Conference 1991: 40-49