Abstract is missing.
- Transforming Functional Database Schemes to Relational RepresentationsA. T. M. Aerts, Paul De Bra, Kees M. van Hee. 1-20 [doi]
- Formal Development of Relational Database ApplicationsRoberto S. M. Barros, David J. Harper. 21-43 [doi]
- Formal Definition of Nested Relations by Syntactical MappingsStefano Ceri, Stefano Crespi-Reghizzi. 44-63 [doi]
- Specifying Deductive Databases and Integrity Constraints in Meta-logicSubrata Kumar Das. 64-87 [doi]
- A Denotational Approach to Object-Oriented Query Language DefinitionKaren C. Davis, Lois M. L. Delcambre. 88-105 [doi]
- Reasoning about a Modular Model-Oriented Formal SpecificationJohn S. Fitzgerald. 106-134 [doi]
- Object Models and Methodology for Object-Oriented Database DesignCatherine Hamon, Marion Créhange. 135-153 [doi]
- A Formal Model for Databases with Applications to Schema MergingAnthony Kosky. 154-170 [doi]
- Specifying a Database System to ItselfDavid Maier 0001. 171-187 [doi]
- VVSL Specification of a Transaction-oriented Access HandlerC. A. Middelburg. 188-212 [doi]
- A Specification of an Object-Oriented Data Model with RelationsMoira C. Norrie. 213-227 [doi]
- Specification of Database Applications in the TROLL LanguageGunter Saake, Ralf Jungclaus. 228-245 [doi]
- Algebraic Specification of Databases - A Survey from a Database PerspectiveW. B. Samson, A. W. Wakelin. 246-254 [doi]
- Towards a Structured Specification Language for Database ApplicationsKlaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt. 255-274 [doi]
- The Reification Dimension in Object-oriented Data Base DesignCristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende. 275-299 [doi]
- Database Specification using Transaction SetsMichael F. Worboys. 300-311 [doi]
- Working Group SessionsPetros Bofakos, Moira C. Norrie. 312-319 [doi]