PRPL: A Database Workload Specification Language, v1.3.

Kurt P. Brown PRPL: A Database Workload Specification Language, v1.3. 1992 Univ. of Wisconsin-Madison Tolga Yurek Efficient View Maintenance at Data Warehouses. 1997 University of California at Santa Barbara, Department of Computer Science

Paul R. McJones The 1995 SQL Reunion: People, Project, and Politics, May 29, 1995. Digital System Research Center Report SRC1997-018 1997 db/labs/dec/SRC1997-018.html http://www.mcjones.org/System_R/SQL_Reunion_95/ decTR/src1997-018.pdf

db/labs/gte/TR-0263-08-94-165.html Frank Manola An Evaluation of Object-Oriented DBMS Developments: 1994 Edition. GTE Laboratories Incorporated TR-0263-08-94-165 August 1994 db/labs/gte/index.html#TR-0263-08-94-165 GTE/MANO94a.pdf

db/labs/gte/TR-0169-12-91-165.html Frank Manola Object Data Language Facilities for Multimedia Data Types. GTE Laboratories Incorporated TR-0169-12-91-165 December 1991 db/labs/gte/index.html#TR-0169-12-91-165 GTE/MANO91a.pdf

db/labs/gte/TR-0231-08-93-165.html Frank Manola Sandra Heiler A 'RISC' Object Model for Object System Interoperation: Concepts and Applications. GTE Laboratories Incorporated TR-0231-08-93-165 August 1993 db/labs/gte/index.html#TR-0231-08-93-165 GTE/MANO93c.pdf

db/labs/gte/TM-0014-06-88-165.html Frank Manola Distributed Object Management Technology. GTE Laboratories Incorporated TM-0014-06-88-165 June 1988 db/labs/gte/index.html#TM-0014-06-88-165 GTE/MANO88.pdf

db/labs/gte/TM-0332-11-90-165.html Frank Manola Mark F. Hornick Alejandro P. Buchmann Object Data Model Facilities for Multimedia Data Types. GTE Laboratories Incorporated TM-0332-11-90-165 December 1990 db/labs/gte/index.html#TM-0332-11-90-165 GTE/MANO90b.pdf

db/labs/gte/TR-0236-09-93-165.html Farshad Nayeri Benjamin Hurwitz Experiments with Dispatching in a Distributed Object System. GTE Laboratories Incorporated TR-0236-09-93-165 July 1993 db/labs/gte/index.html#TR-0236-09-93-165 GTE/NAYE93c.pdf

db/labs/gte/TR-0244-12-93-165.html Frank Manola MetaObject Protocol Concepts for a RISC Object Model. GTE Laboratories Incorporated TR-0244-12-93-165 December 1993 db/labs/gte/index.html#TR-0244-12-93-165 GTE/MANO93d.pdf

db/labs/gte/TR-0146-06-91-165.html Alejandro P. Buchmann M. Tamer zsu Dimitrios Georgakopoulos Towards a Transaction Management System for DOM. GTE Laboratories Incorporated TR-0146-06-91-165 June 1991 db/labs/gte/index.html#TR-0146-06-91-165 GTE/BUCH91.pdf

db/labs/gte/TR-0174-12-91-165.html Mark F. Hornick Joe D. Morrison Farshad Nayeri Integrating Heterogeneous, Autonomous, Distributed Applications Using the DOM Prototype. GTE Laboratories Incorporated TR-0174-12-91-165 December 1991 db/labs/gte/index.html#TR-0174-12-91-165 GTE/HORN91.pdf

db/labs/gte/TM-0149-06-89-165.html Frank Manola Object Model Capabilities For Distributed Object Management. GTE Laboratories Incorporated TM-0149-06-89-165 June 1989 db/labs/gte/index.html#TM-0149-06-89-165 GTE/MANO89a.pdf

db/labs/gte/TR-0310-11-95-165.html Frank Manola Integrating Object-Oriented Applications and Middleware with Relational Databases. GTE Laboratories Incorporated TR-0310-11-95-165 November 1995 db/labs/gte/index.html#TR-0310-11-95-165 GTE/MANO95.pdf

SQL/Data System, General Information Manual. IBM Publication GH24-5012 IBM Corporation, White Plains, NY 1981 db/labs/ibm/GH24-5012.html ibmTR/gh24-5012.pdf

SQL/Data System, Conpects and Facilities. IBM Publication GH24-5013 IBM Corporation, White Plains, NY 1981 db/labs/ibm/GH24-5013.html ibmTR/gh24-5013.pdf

Dines Bjrner E. F. Codd Kenneth L. Deckert Irving L. Traiger The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations. IBM Research Report RJ1200 April 1973 db/labs/ibm/RJ1200.html ibmTR/rj1200.pdf

Raymond F. Boyce Donald D. Chamberlin Using a Structured English Query Language as a Data Definition Facility. IBM Research Report RJ1318 December 1973 db/labs/ibm/RJ1318.html ibmTR/rj1318.pdf

Jim Gray Vera Watson A Shared Segment and Interprocess Communication Facility for VM/370 IBM Research Report RJ1579 May 1975 db/labs/ibm/RJ1579.html ibmTR/rj1579.pdf

E. F. Codd Robert S. Arnold Jean-Marc Cadiou Chin-Liang Chang Nick Roussopoulos RENDEZVOUS Version 1: An Experimental English Language Query Formulation System for Casual Users of Relational Data Bases. IBM Research Report RJ2144 January 1978 db/labs/ibm/RJ2144.html ibmTR/rj2144.pdf

H. Raymond Strong Irving L. Traiger George Markowsky Slide Search. IBM Research Report RJ2274 June 1978 db/labs/ibm/RJ2274.html ibmTR/rj2274.pdf

Irving L. Traiger Jim Gray Cesare A. Galtieli Bruce G. Lindsay Transactions and Consistency in Distributed Database Systems. IBM Research Report RJ2555 June 1979 db/labs/ibm/RJ2555.html ibmTR/rj2555.pdf

Raymond A. Lorie Bradford W. Wade The Compilation of a High Level Data Language. IBM Research Report RJ2598 August 1979 db/labs/ibm/RJ2598.html ibmTR/rj2598.pdf

Sai Choi Kwan H. Raymond Strong Index Path Length Evaluation for the Research Storage System of System R. IBM Research Report RJ2736 1980 January db/labs/ibm/RJ2736.html ibmTR/rj2736.pdf

Michel E. Adiba Bruce G. Lindsay Database Snapshots. IBM Research Report RJ2772 1980 db/labs/ibm/RJ2772.html ibmTR/rj2772.pdf

Raymond A. Lorie XRM - An Extended (N-ary) Relational Memory. IBM Cambridge Scientific Center IBM Research Report G320-2096 January 1974 db/labs/ibm/G320-2096.html ibmTR/g320-2096.pdf

SQL/Data System for VSE: A Relational Data System for Application Development. IBM Publication G320-6590 IBM Corporation, White Plains, NY 1981 db/labs/ibm/G320-6590.html ibmTR/g320-6590.pdf

Krishna G. Kulkarni Jim Melton Jonathan Bauer Mike Kelley Inheritance for ADTs (revised) ANSI X2H2 DBL:KAW-006 X3H2-91-133rev1 July 1991 db/systems/sqlPapers.html#X3H2-91-133rev1 SQL/x3h2-91-133rev1.pdf db/systems/X3H2-91-133rev1.html

Jim Melton Jonathan Bauer Krishna G. Kulkarni Object ADTs (with improvements for Value ADTs) ANSI X3H2 DBL:ARL-029 X3H2-91-083rev1 April 1991 db/systems/sqlPapers.html#X3H2-91-083rev1 SQL/X3H2-91-083rev1.pdf db/systems/X3H2-91-083rev1.html

Phil Shaw Modification of User Defined Types ANSI X3H2 X3H2-90-292 1990 db/systems/sqlPapers.html#X3H2-90-292 SQL/X3H2-90-292.pdf db/systems/X3H2-90-292.html

David Beech Cetin Ozbutun Object Oriented DBMS as a Generalization of Relational DBMS ANSI X3H2 X3H2-90-412 1990 db/systems/sqlPapers.html#X3H2-90-412 SQL/X3H2-90-412.pdf db/systems/X3H2-90-412.html

David Beech Unification of Value and Object ADTs ANSI X3H2 X3H2-92-062 1992 db/systems/sqlPapers.html#X3H2-92-062

Andra Sikeler Implementierungskonzepte fr Non-Standard-Datenbanksysteme. 1989 Universitt Kaiserslautern Inderpal Singh Mumick Query Optimization in Deductive and Relational Databases 1991 Department of Computer Science, Stanford University Divesh Srivastava Representing and Querying Complex Information in the Coral Deductive Database System. 1993 Univ. of Wisconsin-Madison Lars Arge Efficient External-Memory Data Structures and Applications. 1996 BRICS Dissertation Series DS-96-3 University of Aarhus Todd A. Proebsting Code Generation Techniques. 1992 Univ. of Wisconsin-Madison Erich Gehlen Optimierung der Anfrageauswertung in einem Deduktiven Datenbanksystem. 1992 Uni Trier, Informatik Marcia A. Derr Adaptive Optimization in a Database Programming Language 1992 Stanford University, Department of Computer Science Frank Olken Random Sampling from Databases 1993 University of California at Berkeley LBL Technical Report LBL-32883 Angelo Montanari Metric and Layered Temporal Logic for Time Granularity 1996 ILLC Dissertation Series 1996-02, University of Amsterdam Asit Dan Performance Analysis of Data Sharing Environments 1990 University of Massachusetts, Amherst Shaul Dar Augmenting Databases with Generalized Transitive Closure 1993 Univ. of Wisconsin-Madison Younkyung Cha Kang Randomized Algorithms for Query Optimization. 1991 Univ. of Wisconsin-Madison David B. Kemp On the Foundations of Query Evaluation in Deductive Databases 1992 University of Melbourne, Department of Computer Science Bruce K. Holmer Automatic Design of Computer Instruction Sets 1993 University of California at Berkeley Roberta Cochrane Issues in Integrating Actice Rules Into Database Systems 1992 University of Maryland, Department of Computer Science, College Park, MD Robert Kooi The Optimization of Queries in Relational Databases. 1980 September Case Western Reserve University Joann J. Ordille Descriptive Name Services for Large Internets. 1993 Univ. of Wisconsin-Madison Leo Mark Self-Describing Database Systems - Formalization and Realization 1985 University of Maryland, Department of Computer Science, College Park, MD Seth J. White Pointer Swizzling Techniques for Object-Oriented Database Systems 1994 Univ. of Wisconsin-Madison Marshall K. McKusick Register Allocation and Data Conversion in Machine Independent Code Generators 1984 University of California at Berkeley Michael J. Carey Modeling and Evaluation of Database Concurrency Control Algorithms 1983 College of Engineering, University of California, Berkeley Christian Schulte Entwurf und Implementierung eines bersetzenden Systems fr das intuitionistische logische Programmieren auf der Warren Abstract Machine. 1991 Universitt Karlsruhe, Institut fr Logik, Komplexitt und Deduktionssysteme Katherine A. Morris Subgoal Order for Query Optimization in Logic Databases. 1991 Stanford University, Department of Computer Science Kjell Post Analysis and Transformation of Logic Programs. 1994 University of California at Santa Cruz John Sieg Jr. Making Extensible Database Technology Work. 1989 Boston Univerity William J. McKenna Efficient Search in Extensible Query Optimization: The Volcano Optimizer Generator 1993 University of Colorado-Boulder Francisco Reverbell Persistence in Distributed Object Systems: ORB/ODBMS Integration. 1996 April University of New Mexico Michael J. Franklin Caching and Memory Management in Client-Server Database Systems 1993 Univ. of Wisconsin-Madison Daniel F. Lieuwen Optimizing and Parallelizing Loops in Object-Oriented Database Programming Languages. 1992 Univ. of Wisconsin-Madison Limsoon Wong Querying Nested Collections. 1994 Univ. Pennsylvania Dietmar Seipel Decomposition in Database and Knowledge-Base Systems. 1989 Uni Wrzburg Suryanarayana M. Sripada Temporal Reasoning in Deductive Databases 1991 Imperial College of Science, University of London Iakovos Motakis Temporal Reasoning in Active Databases. 1997 University of California at Los Angeles V. Srinivasan On-Line Processing in Large-Scale Transaction Systems. 1992 Univ. of Wisconsin-Madison Russell Turpin Programming Data Structures in Logic. 1992 University of Texas, Austin S. Sudarshan Optimizing Bottom-Up Query Evaluation for Deductive Databases. 1992 Univ. of Wisconsin-Madison Ulf Nilsson Abstract Interpretation & Abstract Machines: Contribution to a Methodology for the Implementation of Logic Programs. 1992 Linkping University, Department of Computer and Information Science Thomas W. Getzinger Abstract Interpretation for the Compile-Time Optimization of Logic Programs 1993 University of Southern California Michael Schiwietz Speicherung und Anfragebearbeitung komplexer Geo-Objekte 1993 Ludwig-Maximilian-Universitt Mnchen Verlag Shaker 3-86111-723-1 John T. Robinson Design of Concurrency Control Protocols for Transaction Processing Systems. 1982 Carnegie Mellon University Craig Chambers The Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages 1992 Stanford University, Department of Computer Science Michael H. Bhlen The Temporal Deductive Database System ChronoLog 1994 Departement Informatik, ETH Zrich Tep Dobry A High Performance Architecture For Prolog 1987 University of California at Berkeley Andrew Taylor High Performance Prolog Implementation 1991 University of Sydney, Basser Department of Computer Science Gert Smolka Logic Programming over Polymorphically Order-Sorted Tyypes. 1989 Universitt Kaiserslautern Peter Van Roy A Prolog Compiler for the PLM. 1984 University of California at Berkeley Peter Van Roy Can Logic Programming Execute as Fast as Imperative Programming? 1990 University of California at Berkeley Mark Sullivan System Support for Software Fault Tolerance in Highly Available Database Management Systems. 1993 University of California at Berkeley Heping Shang Trie Methods for Text and Spatial Data on Secondary Storage. 1994 McGill University Gail Mitchell Extensible Query Processing in an Object-Oriented Database. 1993 Brown University, Department of Computer Science Ann L. Chervenak Tertiary Storage: An Evaluation of New Applications 1994 U. C. Berkeley Eric Simon Conception et Realisation d'un sous Systeme d'Intgerite dans un SGBD Relationnel 1986 Univerite de Paris VI Viswanath Poosala Histogram-Based Estimation Techniques in Database Systems. 1997 Univ. of Wisconsin-Madison Hennie J. Steenhagen Optimization of Object Query Languages. 1995 University of Twente Mark A. Friedman A Characterization of Prolog Execution 1992 Univ. of Wisconsin-Madison Walter Waterfeld Eine erweiterbare Speicher- und Zugriffskomponente fr geowissenschaftliche Datenbanksysteme. 1991 Technische Universitt Darmstadt Gerhard Weikum Transaktionsverwaltung in Datenbanksystemen mit Schichtenarchitektur. 1986 Technische Universitt Darmstadt Sanjai Narain LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation. 1988 University of California at Los Angeles Sumit Ganguly Parallel Evaluation of Deductive Database Queries. 1992 University of Texas, Austin Arun N. Swami Optimization of Large Join Queries 1989 Stanford University, Department of Computer Science Yonathan Malachi Nonclausal Logic Programming 1986 Stanford University, Department of Computer Science Edwin McKenzie An Algebraic Language for Query and Update of Temporal Databases 1988 September University of North Carolina, Computer Science Department Goetz Graefe Rule-Based Query Optimization in Extensible Database Systems 1987 Univ. of Wisconsin-Madison Manoli M. Tsangaris Principles of Static Clustering for Object Oriented Databases 1992 Univ. of Wisconsin-Madison Gnther Specht Source-to-Source Transformationen zur Erklrung des Programmverhaltens bei deduktiven Datenbanken. 1992 Technische Universitt Mnchen Antonin Guttman New Features for Relational Database Systems to Support CAD Applications 1984 University of California, Berkeley Sanjay Ghemawat The Modified Object Buffer: A Storage Management Technique for Object-Oriented Databases 1995 MIT Laboratory for Computer Science Christof Hasse Inter- und Intratransaktionsparallelitt in Datenbanksystemen: Entwurf, Implementierung und Evaluation eines Datenbanksystems mit Inter- und Intratransaktionsparallelitt 1995 11045 Departement Informatik, ETH Zrich Barry Hayes Key Objects in Garbage Collection 1993 Stanford University, Department of Computer Science Praveen Seshadri Management of Sequence Data 1996 Univ. of Wisconsin-Madison, CS Department Geoffrey Phipps Glue: A Deductive Database Programming Language 1992 Stanford University, Department of Computer Science Joseph M. Hellerstein Optimization and Execution Techniques for Queries With Expensive Methods 1995 Univ. of Wisconsin-Madison Margo I. Seltzer File System Performance and Transaction Support. 1992 University of California at Berkeley Tatu Ylnen Shadow Paging Is Feasible. 1994 Helsinki University of Technology, Department of Computer Science Self-organizing Map http://www.cis.hut.fi/nnrc/nnrc-programs.html Ardent Software http://www.ardentsoftware.fr The MPEG Home Page http://drogo.cselt.stet.it/mpeg/ IBM DB2 http://www.software.ibm.com/data/db2/ Objectstore http://www.odi.com Persistence Software http://www.persistence.com/ Poet http://www.poet.com AltaVista http://www.altavista.com/ Lycos http://www.lycos.com Ontos http://www.ontos.com/ Yahoo http://www.yahoo.com/ MetaCrawler http://www.metacrawler.com Google http://www.google.com Versant ODBMS http://www.versant.com Objectivity White Paper: Choosing an Object Database 1998 http://www.objectivity.com/ObjectDatabase/WP/Choosing/Choosing.html Java Language Home Page http://java.sun.com/ Jean-Loup Gailly Mark Adler Zlib Home Page [old location: http://quest.jpl.nasa.gov/zlib] http://www.cdrom.com/pub/infozip/zlib/ Beowulf Project at CESDIS http://beowulf.gsfc.nasa.gov/beowulf.html Alin Deutsch Mary F. Fernandez Daniela Florescu Alon Y. Levy Dan Suciu Xml-ql: A Query Language for XML http://www.w3.org/TR/NOTE-xml-ql/ Mary F. Fernandez Jonathan Robie XML Query Data Model 2001 http://www.w3.org/TR/query-datamodel Donald D. Chamberlin Peter Fankhauser Massimo Marchiori Jonathan Robie XML Query Requirements 2001 http://www.w3.org/TR/xmlquery-req Donald D. Chamberlin Peter Fankhauser Massimo Marchiori Jonathan Robie XML Query Use Cases 2001 http://www.w3.org/TR/xmlquery-use-cases Peter Fankhauser Mary F. Fernandez Ashok Malhotra Michael Rys Jrme Simon Philip Wadler The XML Query Algebra 2001 http://www.w3.org/TR/query-algebra Donald D. Chamberlin Daniela Florescu Jonathan Robie Jrme Simon Mugur Stefanescu XQuery: A Query Language for XML 2001 http://www.w3.org/TR/xquery W3C: Extensible Markup Language (XML) 1.0 http://www.w3.org/TR/REC-xml W3C: Document Oject Model (DOM) http://www.w3.org/DOM/ W3C - The World Wide Web Consortium http://www.w3.org/ W3C: The w3c Query Language Workshop, December 1998, Boston, MA, USA 1998 http://www.w3.org/TandS/QL/QL98/ Tim Berners-Lee Request for Comments: 1738, Uniform Resource Locators (URL) 1994 http://www.w3.org/Addressing/rfc1738.txt W3C: Extensible Stylesheet Language (XSL) http://www.w3.org/Style/XSL/ Roy T. Fielding Henrik Frystyk Nielsen Tim Berners-Lee Internet Draft: Hypertext Transfer Protocol - HTTP/1.1 http://www.w3.org/Protocols/HTTP/1.1/spec.html OMG, UML Notation Guide, Version 1.1 1997 http://www.omg.org/techprocess/meetings/schedule/Technology_Adoptions.htm Transaction Processing Performance Council http://www.tpc.org KAFFE http://www.kaffe.org/ Arnon Rosenthal The Future of Classic Data Administration: Objects + Databases + CASE SWEE 1998 http://www.mitre.org/support/swee/rosenthal.html Robin Cover The SGML/XML Web Page http://www.oasis-open.org/cover/xml.html WfMC Standards: The Workflow Reference Model, Version 1.1. 1995 http://www.aiim.org/wfmc/mainframe.htm Didier Bert B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings B Lecture Notes in Computer Science 1393 Springer 1998 3-540-64405-9 db/conf/b/b1998.html Emil Sekerinski Graphical Design of Reactive Systems. 182-197 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930182.htm db/conf/b/b1998.html#Sekerinski98 Patrick Behm Lilian Burdy Jean-Marc Meynadier Well Defined B. 29-45 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930029.htm db/conf/b/b1998.html#BehmBM98 Patrick Behm Pierre Desforges Jean-Marc Meynadier MTOR : An Industrial Success in Formal Development. 26 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930026.htm db/conf/b/b1998.html#BehmDM98 Jean-Franois Ptin Grard Morel Dominique Mry Patrick Lamboley Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. 198-209 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930198.htm db/conf/b/b1998.html#PetinMML98 Marie-Laure Potet Yann Rouzaud Composition and Refinement in the B-Method. 46-65 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930046.htm db/conf/b/b1998.html#PotetR98 Jean-Raymond Abrial On B. 1-8 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930001.htm db/conf/b/b1998.html#Abrial98 Marina A. Waldn Layering Distributed Algorithms within the B-Method. 243-260 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930243.htm db/conf/b/b1998.html#Walden98 Carroll Morgan The Generalised Substitution Language Extended to Probabilistic Programs. 9-25 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930009.htm db/conf/b/b1998.html#Morgan98 Soud Taouil-Traverson Sylvie Vignes Designing a B Model for Safety-Critical Software Systems. 210-225 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930210.htm db/conf/b/b1998.html#Taouil-TraversonV98 Brian Matthews Brian Ritchie Juan Bicarregui Synthesising Structure from Flat Specifications. 148-161 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930148.htm db/conf/b/b1998.html#MatthewsRB98 Franois Pilarski Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AROSPATIALE. 27-28 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930027.htm db/conf/b/b1998.html#Pilarski98 Pierre Chartier Formalisation of B in Isabelle/HOL. 66-82 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930066.htm db/conf/b/b1998.html#Chartier98 Jacques Julliand Bruno Legeard Thierry Machicoane Benoit Parreaux Bruno Tatibout Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. 273-292 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930273.htm db/conf/b/b1998.html#JulliandLMPT98 Jean-Raymond Abrial ALERT: data truncated here for web previewing.