DBPL-4, 1993: Manhattan, New York City

@proceedings{DBLP:conf/dbpl/93,
  editor    = {Catriel Beeri and
               Atsushi Ohori and
               Dennis Shasha},
  title     = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
               International Workshop on Database Programming Languages - Object
               Models and Languages, Manhattan, New York City, USA, 30 August
               - 1 September 1993},
  booktitle = {DBPL},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1994},
  isbn      = {3-540-19853-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talk

• Tim Andrews:
  Designing Linguistic Interfaces to an Object Database or What do C++, SQL, and Hell have in Common? 3-8
  

Regular Papers

• Luca Cardelli, Florian Matthes, Martín Abadi:
  Extensible Grammars for Language Specialization. 11-31
  
• John Rosenberg, Michael Hitchens:
  Linguistic Support for Persistent Modules and Capabilities. 32-49
  
• Alex Farkas, Alan Dearle:
  Octopus: A Reflective Language Mechanism for Object Manipulation. 50-64
  
• Stéphane Grumbach, Tova Milo, Yoram Kornatzky:
  Calculi for Bags and their Complexity. 65-79
  
• Catriel Beeri, Paula Ta-Shma:
  Bulk Data Types, A Theoretical Approach. 80-96
  
• Leonid Libkin, Limsoon Wong:
  Some Properties of Query Languages for Bags. 97-114
  
• Bharathi Subramanian, Stanley B. Zdonik, Theodore W. Leung, Scott L. Vandenberg:
  Ordered Types in the AQUA Data Model. 115-135
  
• Christian Laasch, Marc H. Scholl:
  A Functional Object Language. 136-156
  
• Theodore W. Leung, Gail Mitchell, Bharathi Subramanian, Bennet Vance, Scott L. Vandenberg, Stanley B. Zdonik:
  The AQUA Data Model and Algebra. 157-175
  
• Bennet Vance:
  An Abstract Object-Oriented Query Execution Language. 176-199
  
• Leonidas Fegaras:
  Efficient Optimization of Iterative Queries. 200-225
  
• Sophie Cluet, Guido Moerkotte:
  Nested Queries in Object Bases. 226-242
  
• Véronique Benzaken, Anne Doucet:
  Thémis: a database programming language with integrity constraints. 243-262
  
• Dan Suciu:
  Bounded Fixpoints for Complex Objects. 263-281
  
• Leonid Libkin, Limsoon Wong:
  Aggregate Functions, Conservative Extensions, and Linear Orders. 282-294
  
• Guozhu Dong, Jianwen Su:
  First-Order Incremental Evaluation of Datalog Queries. 295-308
  
• Anthony J. Bonner, Michael Kifer, Mariano P. Consens:
  Database Programming in Transaction Logic. 309-337
  
• Giuseppe Castagna:
  F^&_<=: integrating parametric and "ad hoc" second order polymorphism. 338-358
  
• Dag I. K. Sjøberg, Malcolm P. Atkinson, João Lopes, Philip W. Trinder:
  Building an Integrated Persistent Application. 359-375
  
• Janet L. Wiener, Yannis E. Ioannidis:
  A Moose and a Fox Can Aid Scientists with Data Management Problems. 376-398
  
• James G. Mullen, Ahmed K. Elmagarmid:
  InterSQL: A Multidatabase Transaction Programming Language. 399-416
  
• Richard C. H. Connor, Malcolm P. Atkinson, Sonia Berman, Quintin I. Cutts, Graham N. C. Kirby, Ronald Morrison:
  The Joy of Sets. 417-433