What if Mass Storage Were Free?

10 4 (December) 1980 Workshop on Computer Architecture for Non-Numeric Processing March 11-14, 1980 1980 Pacific Grove, CA, USA Optical Mass Storage What if Mass Storage Were Free? George P. Copeland 1 7 Abstract, Index Terms and Cathegories Optical Mass Storage Technology. Leonard J. Laub 8 10 Abstract, Index Terms and Cathegories Tutorials on Modelling An Overview of Knowledge Representation. John Mylopoulos 5 12 Abstract, Index Terms and Cathegories Tutorial on Artificial Intelligence Research. John Mylopoulos 13 18 Abstract, Index Terms and Cathegories Abstraction in Databases. Dennis McLeod John Miles Smith 19 25 Abstract, Index Terms and Cathegories Tutorial on Database Research. Dennis McLeod 26 28 Abstract, Index Terms and Cathegories Data Abstraction From a Programming Language Viewpoint. Lawrence A. Rowe 29 35 Abstract, Index Terms and Cathegories Tutorial on Programming Language Research. Lawrence A. Rowe 36 39 Abstract, Index Terms and Cathegories Database Structure, Access and Control Data Structuring and Indexing for Data Base Machines. Jayanta Banerjee 11 16 Abstract, Index Terms and Cathegories Access Control Mechanism of a Database Computer (DBC). Jaishankar Menon David K. Hsiao 17 28 Abstract, Index Terms and Cathegories Edited Discussions of Session Topics What Should Be Modelled? (discussion). Robert Balzer 40 42 Abstract, Index Terms and Cathegories Types (discussion). Lawrence A. Rowe L. Peter Deutsch Mary Shaw James W. Thatcher Heinrich C. Mayr Stephen N. Zilles Patrick J. Hayes 43 52 Abstract, Index Terms and Cathegories Behaviour (discussion). Dennis McLeod Peter Buneman R. G. G. Cattell 53 61 Abstract, Index Terms and Cathegories Presentation (discussion). L. Peter Deutsch Jaime G. Carbonell Charles Rich Raymond Reiter Hartmut Wedekind Patrick J. Hayes 62 71 Abstract, Index Terms and Cathegories Consistency of Models (discussion). John Miles Smith Charles Rich Jonathan J. King Peter Hitchcock Alexander Borgida Jaime G. Carbonell 72 76 Abstract, Index Terms and Cathegories Relationships Between and Among Models (discussion). John Mylopoulos Martin S. Feather Bertrand Meyer Paolo Paolini Diane C. P. Smith Gary G. Hendrix 77 82 Abstract, Index Terms and Cathegories Application of Modelling Techniques (discussion). Joachim W. Schmidt Michael L. Brodie Diane C. P. Smith Lawrence A. Rowe R. G. G. Cattell 83 87 Abstract, Index Terms and Cathegories Workshop Summary (discussion). Stephen N. Zilles Ira P. Goldstein E. F. Codd Mary Shaw 88 90 Abstract, Index Terms and Cathegories Position Papers An Interactive Integrated System to Design and Use Data Bases. Antonio Albano Renzo Orsini 91 93 Abstract, Index Terms and Cathegories Integration of Data Base Design in Programming Languages. Tore Amble 94 94 Abstract, Index Terms and Cathegories Dynamic System Specification. Robert Balzer 95 97 Abstract, Index Terms and Cathegories Data and Activities: Exploiting Hierarchies of Classes. Alexander Borgida Sol J. Greenspan 98 100 Abstract, Index Terms and Cathegories Data Abstraction for Designing Database-Intensive Applications. Michael L. Brodie 101 103 Abstract, Index Terms and Cathegories The Use of Data Type Information in an Interactive Database Environment. Peter Buneman Ira Winston 104 106 Abstract, Index Terms and Cathegories Default Reasoning and Inheritance Mechanisms on Type Hierarchies. Jaime G. Carbonell 107 109 Abstract, Index Terms and Cathegories Integrating a Database System and Programming/Information Environment. R. G. G. Cattell 110 111 Abstract, Index Terms and Cathegories Data Models in Database Management. E. F. Codd 112 114 Abstract, Index Terms and Cathegories On the Specification of Behavioural Constraints. Flaviu Cristian 115 117 Abstract, Index Terms and Cathegories Constraints: A Uniform Model for Data and Control. L. Peter Deutsch 118 120 Abstract, Index Terms and Cathegories Some Contrasts and Considerations of an Approach to Modelling. Martin S. Feather 121 123 Abstract, Index Terms and Cathegories Integrating a Network-Structured Database Into an Object-Oriented Programming Language. Ira P. Goldstein 124 125 Abstract, Index Terms and Cathegories Processing Data Model Abstractions. W. Terry Hardgrave Donald R. Deutsch 126 127 Abstract, Index Terms and Cathegories A Logical View of Types. Patrick J. Hayes Gary G. Hendrix 128 130 Abstract, Index Terms and Cathegories Mediating the Views of Databases and Database Users. Gary G. Hendrix 131 132 Abstract, Index Terms and Cathegories Data Dictionaries in Open System Communication. Peter Hitchcock 133 134 Abstract, Index Terms and Cathegories Heterogeneous Databases and High Level Abstraction. Randy H. Katz 135 137 Abstract, Index Terms and Cathegories Modelling Concepts for Reasoning About Access to Knowledge. Jonathan J. King 138 140 Abstract, Index Terms and Cathegories Relativism and Views in a Conceptual Data Base Model. Peter Kreps 141 143 Abstract, Index Terms and Cathegories Associating Types with Domains of Relational Data Bases. Michel Lacroix Alain Pirotte 144 146 Abstract, Index Terms and Cathegories A Data Abstraction Approach to Database Modelling. Burt M. Leavenworth 147 149 Abstract, Index Terms and Cathegories Incompleteness in Knowledge Bases. Hector J. Levesque 150 152 Abstract, Index Terms and Cathegories Axiomatic Information Modeling. Bengt G. Lundberg Janis A. Bubenko Jr. 153 154 Abstract, Index Terms and Cathegories Use of Database Organization in the Consul System. William Mark 155 157 Abstract, Index Terms and Cathegories Make More of Data Types. Heinrich C. Mayr 158 160 Abstract, Index Terms and Cathegories On Conceptual Database Modelling. Dennis McLeod 161 163 Abstract, Index Terms and Cathegories A Three-Level Approach to the Description of Data Structures, and Notational Framework. Bertrand Meyer 164 166 Abstract, Index Terms and Cathegories A Perspective for Research on Conceptual Modelling. John Mylopoulos 167 170 Abstract, Index Terms and Cathegories Abstract Data Types and Data Bases. Paolo Paolini 171 173 Abstract, Index Terms and Cathegories Data Bases: A Logical Perspective. Raymond Reiter 174 176 Abstract, Index Terms and Cathegories Multiple Points of View in Modelling Programs. Charles Rich 177 179 Abstract, Index Terms and Cathegories Issues in the Design of Database Programming Languages. Lawrence A. Rowe 180 182 Abstract, Index Terms and Cathegories Towards Constructive Axiomatic Specifications. Clesio Saraiva dos Santos Antonio L. Furtado José Mauro V. de Castilho Sergio E. R. de Carvalho 183 185 Abstract, Index Terms and Cathegories Design, Specification and Application. Joachim W. Schmidt 186 188 Abstract, Index Terms and Cathegories Abstraction, Data Types, and Models for Software. Mary Shaw 189 191 Abstract, Index Terms and Cathegories Database Management Systems Past and Present. Edgar H. Sibley 192 192 Abstract, Index Terms and Cathegories A Conceptual Schema for Knowledge-Based Systems. John F. Sowa 193 195 Abstract, Index Terms and Cathegories Data Abstraction, Data Bases and Conceptual Modelling. James W. Thatcher 196 197 Abstract, Index Terms and Cathegories The Extension of Data Abstraction to Database Management. Anthony I. Wasserman 198 200 Abstract, Index Terms and Cathegories Are Data Types Universal Modelling Concepts for Data Base Systems? Herbert Weber 201 202 Abstract, Index Terms and Cathegories Constructive Abstract Data Types (CAD). Hartmut Wedekind 203 206 Abstract, Index Terms and Cathegories Types, Algebras and Modelling. Stephen N. Zilles 207 209 Abstract, Index Terms and Cathegories Special Issues and Announcements Evaluation of Alternative Data Base Machine Designs. V. Vemuri Raymond A. Liuzzi Joseph P. Cavano P. Bruce Berra 29 38 Abstract, Index Terms and Cathegories Text Search A Microprogrammed Search Controller for a Text Scanning Processor. Forbes J. Burkowski 39 48 Abstract, Index Terms and Cathegories Hardware for Searching Very Large Text Datahases. Roger L. Haskin 49 56 Abstract, Index Terms and Cathegories Solutions to Text Problems A Proposal for a Hardware Text Processor. Amar Mukhopadhyay 57 61 Abstract, Index Terms and Cathegories Data Base Machines Data Base Processor MAGE. G. Berger Sabbatel Ph. Navanx 62 69 Abstract, Index Terms and Cathegories Associative Mass Storage for Data Bases. G. Wolf 70 81 Abstract, Index Terms and Cathegories APCAM (A Practical Cellular Associative Memory). Tom R. Kibler 82 83 Abstract, Index Terms and Cathegories Relational Machines I A Relational Database Machine Architecture. David Elliot Shaw 84 95 Abstract, Index Terms and Cathegories Relational Machines II A Neighbor Connected Processor Network for Performing Relational Algebra Operations. Kjell Bratbergsengen Rune Larsen Oddvar Risnes Terje Aandalen 96 105 Abstract, Index Terms and Cathegories RELACS - A Relational Associative Computer System. Ellen J. Oliver P. Bruce Berra 106 114 Abstract, Index Terms and Cathegories Multi-Microprocessor Architectures A General Multi-Microprocessor Interconnection Mechanism for Non-Numeric Processing. Hoo-Min D. Toong Svein O. Strommen Earl R. Goodrich II 115 123 Abstract, Index Terms and Cathegories A Flexible Image Processor Using Array Elements. Ronnie K. Poon Kwan Y. Wong 124 125 Abstract, Index Terms and Cathegories An Approach Towards Information Systems with Very Large Numbers of Subscribers. G. Creutz F. Kiel 126 127 Abstract, Index Terms and Cathegories Architectures for Artificial Intelligence The Harpy Machine: A Data Structure-Oriented Architecture. Roberto Bisiani 128 136 Abstract, Index Terms and Cathegories A LISP Machine. Richard D. Greenblatt Thomas F. Knight John T. Holloway David A. Moon 137 138 Abstract, Index Terms and Cathegories SYNGLISH - A High-Level Query Language for the RAP Database Machine. M. Tamer Özsu Esen A. Ozkarahan 139 150 Abstract, Index Terms and Cathegories