Database Programming Languages (DBPL-4)

1. Front Matter

   Pages i-viii

   PDF

2. Invited Talk

   1. Front Matter

      Pages 1-1

      PDF

   2. Designing Linguistic Interfaces to an Object Database or What do C++, SQL, and Hell have in Common

      • T. Andrews

      Pages 3-8

3. Regular Papers

   1. Front Matter

      Pages 9-9

      PDF

   2. Extensible Grammars for Language Specialization

      • Luca Cardelli, Florian Matthes, Martín Abadi

      Pages 11-31

   3. Linguistic Support for Persistent Modules and Capabilities

      • John Rosenberg, Michael Hitchens

      Pages 32-49

   4. Octopus: A Reflective Language Mechanism for Object Manipulation

      • Alex Farkas, Alan Dearle

      Pages 50-64

   5. Calculi for Bags and their Complexity

      • Stéphane Grumbach, Tova Milo, Yoram Kornatzky

      Pages 65-79

   6. Bulk Data Types, A Theoretical Approach

      • Catriel Beeri, Paula Ta-Shma

      Pages 80-96

   7. Some Properties of Query Languages for Bags

      • Leonid Libkin, Limsoon Wong

      Pages 97-114

   8. Ordered Types in the AQUA Data Model

      • Bharathi Subramanian, Theodore W. Leung, Stanley B. Zdonik, Scott L. Vandenberg

      Pages 115-135

   9. A Functional Object Database Language

      • Christian Laasch, Marc H. Scholl

      Pages 136-156

   10. The AQUA Data Model and Algebra

       • Theodore W. Leung, Bharathi Subramanian, Scott L. Vandenberg, Gail Mitchell, Bennet Vance, Stanley B. Zdonik

       Pages 157-175

   11. An Abstract Object-Oriented Query Execution Language

       • Bennet Vance

       Pages 176-199

   12. Efficient Optimization of Iterative Queries

       • Leonidas Fegaras

       Pages 200-225

   13. Nested Queries in Object Bases

       • Sophie Cluet, Guido Moerkotte

       Pages 226-242

   14. Thémis: a database programming language with integrity constraints

       • Véronique Benzaken, Anne Doucet

       Pages 243-262

   15. Bounded Fixpoints for Complex Objects

       • Dan Suciu

       Pages 263-281

   16. Aggregate Functions, Conservative Extension, and Linear Orders

       • Leonid Libkin, Limsoon Wong

       Pages 282-294

   17. First-Order Incremental Evaluation of Datalog Queries

       • Guozhu Dong, Jianwen Su

       Pages 295-308

The Fourth International Workshop on Database Programming Languages - Object Models and Languages (DBPL-4) took place in Manhattan, New York City, 30 August-1 September 1993. The areas of interest and the format of DBPL-4 focused on the integration of programming languages, object models, type systems and database systems. As in the previous DBPL workshops, the setting was informal, allowing the participants to actively discuss and argue about the ideas presented in the talks. The comments and remarks made by the participants during and after the presentations were taken into account in the preparation of the final versions of the papers. The result, we believe, is a set of excellent papers. The DBPL sequence is closely related to the sequence of International Workshops on Persistent Object Systems (POS), first started in 1985. While the DBPL workshops focus on language and model issues, the POS workshops have focused on implementation issues; thus the two sequences complement each other. Many researchers participate in both workshop series. The eight sessions of the technical program of DBPL-4 were as follows: 1. Bulk types and their query languages (two sessions). 2. Object models and languages. 3. Data types with order. 4. Mechanisms to support persistence, reflection, and extensibility. 5. Query optimization and integrity constraints. 6. Logic-based models. 7. Implementation and performance issues.

• Bulk Type
• Object Data Model
• Object Query Language
• data model
• database
• database programming
• database system
• programming
• programming language
• data structures

• Institute of Computer Science, The Hebrew University of Jerusalem, Givat-Ram, Jerusalem, Israel

  Catriel Beeri

• Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan

  Atsushi Ohori

• Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, New York, USA

  Dennis E. Shasha

Policies and ethics