Workshop on Database Programming Languages

These are the revised proceedings of the Workshop on Database Programming Languages held at Roscoff, Finistère, France in September of 1987. The last few years have seen an enormous activity in the development of new programming languages and new programming environments for databases. The purpose of the workshop was to bring together researchers from both databases and programming languages to discuss recent developments in the two areas in the hope of overcoming some of the obstacles that appear to prevent the construction of a uniform database programming environment. The workshop, which follows a previous workshop held in Appin, Scotland in 1985, was extremely successful. The organizers were delighted with both the quality and volume of the submissions for this meeting, and it was regrettable that more papers could not be accepted. Both the stimulating discussions and the excellent food and scenery of the Brittany coast made the meeting thoroughly enjoyable. There were three main foci for this workshop: the type systems suitable for databases (especially objectoriented and complex-object databases,) the representation and manipulation of persistent structures, and extensions to deductive databases that allow for more general and flexible programming. Many of the papers describe recent results, or work in progress, and are indicative of the latest research trends in database programming languages. The organizers are extremely grateful for the financial support given by CRAI (Italy), Altaïr (France) and AT&T (USA). We would also like to acknowledge the organizational help provided by Florence Deshors, Hélène Gans and Pauline Turcaud of Altaïr, and by Karen Carter of the University of Pennsylvania. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-88-93. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/601 WORKSHOP ON DATABASE PROGRAMMING LANGUAGES Organizers: Peter Bunernan, University of Pennsylvania Francois Bancilhon, Altair Department of Computer and Information Science School of Engineering and Applied Science University of Pennsylvania Philadelphia, PA 191 04

[1]  Richard Michael King.  Knowledge-based transformational synthesis of efficient structures for concurrent computation , 1985 .

[2]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[3]  Ronald Morrison,et al.  An Approach to Persistent Programming , 1989, Comput. J..

[4]  Randy H. Katz,et al.  Managing Change in a Computer-Aided Design Database , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[5]  David J. DeWitt,et al.  Persistence in EXODUS , 1987, Workshop on Persistent Objects.

[6]  Peter Henderson,et al.  Purely Functional Operating Systems , 1982 .

[7]  Rishiyur S. Nikhil.  Functional Databases, Functional Languages , 1985, Data Types and Persistence , Informal Proceedings.

[8]  David W. Stemple,et al.  Automatic verification of database transaction safety , 1989, ACM Trans. Database Syst..

[9]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPLSA '86.

[10]  Michael Stonebraker,et al.  The Case for Shared Nothing , 1985, HPTS.

[11]  Richard Cooper,et al.  Requirements Modelling in a Persistent Object Store , 1987, POS.

[12]  Catriel Beeri,et al.  On the power of languages for manipulation of complex objects , 1987, VLDB 1987.

[13]  Serge Abiteboul,et al.  Non first normal form relations to represent hierarchically organized data , 1984, PODS.

[14]  Lee Naish,et al.  Negation and Control in Prolog , 1986, Lecture Notes in Computer Science.

[15]  P. Lee.  The automatic generation of realistic compilers from high-level semantic descriptions , 1987 .

[16]  John C. Mitchell,et al.  On the Sequential Nature of Unification , 1984, J. Log. Program..

[17]  Setrag Khoshafian,et al.  Object identity , 1986, OOPLSA '86.

[18]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[19]  John Hughes,et al.  Lazy Memo-functions , 1985, FPCA.

[20]  William Stoye,et al.  A new scheme for writing functional operating systems , 1984 .

[21]  E. M. Wright.  Solution of the equation $ze^z = a$ , 1959 .

[22]  David A. Moon,et al.  Architecture of the Symbolics 3600 , 1985, ISCA '85.

[23]  Charles Antony Richard Hoare,et al.  Hints on programming language design. , 1973 .

[24]  Gérard Huet.  A uniform approach to type theory , 1990 .

[25]  Thomas A. Standish,et al.  Initial Thoughts on the PEBBLEMAN Process. , 1979 .

[26]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[27]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[28]  R. Ladner.  The circuit value problem is log space complete for P , 1975, SIGA.

[29]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[30]  Pearl Brereton,et al.  Software engineering environments , 1988 .

[31]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[32]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[33]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[34]  Allen T. Goldberg,et al.  Knowledge-based programming: A survey of program design and construction techniques , 1986, IEEE Transactions on Software Engineering.

[35]  C. H. Papadimitriou.  SERIALIZABILITY OF CONCURRENT DATA BASE UPDATES , 1979 .

[36]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[37]  David J. DeWitt,et al.  GAMMA - A High Performance Dataflow Database Machine , 1986, VLDB.

[38]  Richard Hull,et al.  The format model: a theory of database organization , 1982, JACM.

[39]  David K. Hsiao,et al.  A multi-backend database system for performance gains, capacity growth and hardware upgrade , 1986, 1986 IEEE Second International Conference on Data Engineering.

[40]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[41]  Shamim A. Naqvi.  A Logic for Negation in Database Systems , 1986, XP7.52 Workshop on Database Theory.

[42]  Allen Van Gelder,et al.  Negation as Failure using Tight Derivations for General Logic Programs , 1988, J. Log. Program..

[43]  David J. Israel,et al.  Some Remarks on the Semantics of Representation Languages , 1982, On Conceptual Modelling.

[44]  B. Lampson,et al.  Organizing software in a distributed environment , 1983, SIGPLAN '83.

[45]  Maurizio Lenzerini,et al.  Covering and disjointness constraints in type networks , 1987, 1987 IEEE Third International Conference on Data Engineering.

[46]  D. A. Turner.  The semantic elegance of applicative languages , 1981, FPCA '81.

[47]  David M. Ungar,et al.  Generation Scavenging: A non-disruptive high performance storage reclamation algorithm , 1984, SDE 1.

[48]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[49]  B. J. Mailloux,et al.  Revised Report on the Algorithmic Language ALGOL 68 , 1976, SIGP.

[50]  Irving L. Traiger,et al.  Evaluation Techniques for Storage Hierarchies , 1970, IBM Syst. J..

[51]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[52]  Peter J. Downey,et al.  Assignment Commands with Array References , 1978, JACM.

[53]  Robin Milner,et al.  Edinburgh LCF , 1979, Lecture Notes in Computer Science.

[54]  Jacob T. Schwartz.  The setl language and examples of its use , 1973 .

[55]  J. Fairbairn,et al.  Ponder and its type system , 1982 .

[56]  Dennis McLeod,et al.  An Approach to Information Management for CAD/VLSI Applications , 1983, Engineering Design Applications.

[57]  Richard Cooper,et al.  Constructing Database Systems in a Persistent Environment , 1987, VLDB.

[58]  Georges Gardarin,et al.  Evaluation of database recursive logic programs as recurrent function series , 1986, SIGMOD '86.

[59]  N. Curteanu.  Book Reviews: Lecture on Contemporary Syntactic Theories: An Introduction to Unification-Based Approaches to Grammar , 1987, CL.

[60]  Patrick Valduriez,et al.  FAD, a Powerful and Simple Database Language , 1987, VLDB.

[61]  Barry E. Jacobs,et al.  On Database Logic , 1982, JACM.

[62]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[63]  David A. McAllester,et al.  Boolean classes , 1986, OOPLSA '86.

[64]  Jeffrey D. Ullman,et al.  Design Overview of the NAIL! System , 1986, ICLP.

[65]  Daniel Leivant.  Reasoning about functional programs and complexity classes associated with type disciplines , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[66]  Ellen Borison,et al.  A Model of Software Manufacture , 1986, Advanced Programming Environments.

[67]  Peter Buneman,et al.  Inheritance and persistence in database programming languages , 1986, SIGMOD '86.

[68]  Winfried Lamersdorf,et al.  Language Support for Office Modelling , 1984, VLDB.

[69]  Michael Stonebraker,et al.  The design of POSTGRES , 1986, SIGMOD '86.

[70]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[71]  Christer Hulten,et al.  Making type changes transparent , 1984 .

[72]  Peter Buneman,et al.  A Domain Theoretic Approach to Higher-Order Relations , 1986, ICDT.

[73]  Paolo Atzeni,et al.  Formal properties of net-based knowledge representation schemes , 1986, 1986 IEEE Second International Conference on Data Engineering.

[74]  Philip M. Neches.  The Anatomy of a Database Computer System , 1985, COMPCON.

[75]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[76]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, J. Comput. Syst. Sci..

[77]  Patrick Valduriez,et al.  Implementation Techniques of Complex Objects , 1986, VLDB.

[78]  Alan Dearle,et al.  Safe Browsing in a Strongly Typed Persistent Environment , 1988, Comput. J..

[79]  Patricia G. Selinger,et al.  Access path selection in a relational database management system , 1979, SIGMOD '79.

[80]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..

[81]  Don S. Batory,et al.  Modeling the storage architectures of commercial database systems , 1985, TODS.

[82]  Gordon D. Plotkin,et al.  An ideal model for recursive polymorphic types , 1984, Inf. Control..

[83]  Luís Moniz Pereira.  Logic Control with Logic , 1982, Implementations of Prolog.

[84]  Carlo Zaniolo,et al.  Optimization of Nonrecursive Queries , 1986, VLDB.

[85]  David A. Fisher,et al.  Issues in the Design of a Distributed Operating System for Ada , 1986, Computer.

[86]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[87]  Peter D. Mosses,et al.  Denotational semantics , 1995, LICS 1995.

[88]  Shamim A. Naqvi,et al.  Semantics of Updates in Logic Programming , 1987, DBPL.

[89]  Michael B. Smyth.  Power Domains , 1978, J. Comput. Syst. Sci..

[90]  Hans-Jörg Schek,et al.  The relational model with relation-valued attributes , 1986, Inf. Syst..

[91]  Hans-Jörg Schek,et al.  A Storage System for Complex Objects , 1986, OODBS.

[92]  Z. Meral Özsoyoglu,et al.  A normal form for nested relations , 1985, PODS.

[93]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[94]  David Beech,et al.  Groundwork for an Object Database Model , 1987, Research Directions in Object-Oriented Programming.

[95]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[96]  G. Edwards.  Texas , 1958, "These United States".

[97]  David J. DeWitt,et al.  Database Machines: An Idea Whose Time Passed? A Critique of the Future of Database Machines , 1989, IWDM.

[98]  Harald Ganzinger,et al.  Programs as Data Objects , 1986, Lecture Notes in Computer Science.

[99]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.

[100]  Kim B. Bruce,et al.  An Algebraic Model of Subtype and Inheritance , 1990, DBPL.

[101]  Paolo Atzeni,et al.  Set Containment Inference , 1986, ICDT.

[102]  Isamu Kobayashi,et al.  An Overview of Database Management Technology , 1985 .

[103]  Robert E. Tarjan,et al.  Variations on the Common Subexpression Problem , 1980, J. ACM.

[104]  Eugene Wong,et al.  Query optimization by simulated annealing , 1987, SIGMOD '87.

[105]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[106]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[107]  Brad J. Cox,et al.  Object-oriented programming ; an evolutionary approach , 1986 .

[108]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[109]  Takao Miura,et al.  On the properties of extended inclusion dependences , 1986, IEEE Transactions on Software Engineering.