Intervale Workshop 1982

Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt (Eds.): On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982. Springer, 1984, Topics in Information Systems, ISBN 3-540-90842-0

Artificial Intelligence, Database, and Programming Language Overviews

John Mylopoulos, Hector J. Levesque: An Overview of Knowledge Representation. 3-17
Michael L. Brodie: On the Development of Data Models. 19-47
Mary Shaw: The Impact of Modelling and Abstraction Concerns on Modern Programming Languages. 49-78

Perspectives from Artificial Intelligence

Alexander Borgida, John Mylopoulos, Harry K. T. Wong: Generalization/Specialization as a Basis for Software Specification. 87-117
David J. Israel, Ronald J. Brachman: Some Remarks on the Semantics of Representation Languages. 119-146
Carl Hewitt, Peter de Jong: Open Systems. 147-164
Hector J. Levesque: The Logic of Incomplete Knowledge Bases. 165-189
Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. 191-233
Charles Rich: A Formal Representation For Plans In The Programmer's Apprentice. 239-273

Perspectives from Databases

Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. 277-312
Roger King, Dennis McLeod: A Unified Model and Methodology for Conceptual Database Design. 313-327
Michael Stonebraker: Adding Semantic Knowledge to a Relational Database System. 333-352

Perspectives from Programming Languages

Peter Buneman, Rishiyur S. Nikhil: The Functional Data Model and Its Uses for Interaction with Databases. 359-380
Bernd Krieg-Brückner: Types in the Programming Language Ada. 385-408
Manuel Mall, Joachim W. Schmidt, Manuel Reimer: Data Selection, Sharing, and Access Control In a Relational Scenario. 411-440
Stephen N. Zilles: Types, Algebras, and Modelling. 441-450

Concluding Remarks from Three Perspectives