Appin Workshop 1985 (POS-1)

@proceedings{DBLP:conf/pos/1985,
  editor    = {Malcolm P. Atkinson and
               Peter Buneman and
               Ronald Morrison},
  title     = {Data Types and Persistence. Edited Papers from the Proceedings
               of the First Workshop on Persistent Objects, Appin, Scotland,
               August 1985},
  publisher = {Springer},
  series    = {Topics in Information Systems},
  year      = {1988},
  isbn      = {3-540-18785-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part I: Data Types and Persistence

• Malcolm P. Atkinson, Ronald Morrison:
  Types, Bindings and Parameters in a Persistent Environment. 3-20
  
• Robert Harper:
  Modules and Persistence in Standard ML. 21-30
  
• Luca Cardelli, David B. MacQueen:
  Persistence and Type Abstraction. 31-41
  
• David C. J. Matthews:
  An Overview of the Poly Programming Language. 43-50
  
• Rishiyur S. Nikhil:
  Functional Databases, Functional Languages. 51-67
  
• Jon Fairbairn:
  A New Type-Checker for a Functional Language. 69-87
  

Part II: Database Types in Programming Languages

• Peter Buneman:
  Data Types For Database Programming. 91-100
  
• Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi:
  The Type System of Galileo. 101-119
  
• Hassan Aït-Kaci, Roger Nasr:
  Integrating Data Type Inheritance into Logic Programming. 121-136
  
• Alexander Borgida:
  Class Hierarchies in Information Systems: Sets, Types, or Prototypes? 137-154
  
• Stanley B. Zdonik, Peter Wegner:
  Language and Methodology for Object-Oriented Database Environments. 155-171
  
• T. H. Merrett:
  Persistence and Aldat. 173-188
  

Part III: Concurrency, Transactions and Implementation of Persistence

• William E. Weihl:
  Linguistic Support for Atomic Data Types. 191-212
  
• G. Lawrence Krablin:
  Building Flexible Multilevel Transactions in a Distributed Persistent Environment. 213-234
  
• W. Paul Cockshott:
  Addressing Mechanisms and Persistent Programming. 235-252
  
• Antonio Albano, Giorgio Ghelli, Renzo Orsini:
  The Implementation of Galileo's Persistent Values. 253-263
  

References

[AB85]

...

[ABCCM81]

...

[ABCCM83]

Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983)

[ABCCM84a]

...

[ABCCM84b]

W. Paul Cockshott, Malcolm P. Atkinson, Kenneth Chisholm, Peter J. Bailey, Ronald Morrison: Persistent Object Management System. Softw., Pract. Exper. 14(1): 49-71(1984)

[ABM85]

...

[ABN85]

...

[ACC81]

...

[ACC83a]

Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott: CMS-A Chunk Management System. Softw., Pract. Exper. 13(3): 273-293(1983)

[ACC83b]

Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott, Richard Marshall: Algorithms for a Persistent Heap. Softw., Pract. Exper. 13(3): 259-271(1983)

[ACO85]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)

[AF82]

...

[AFL85]

...

[AGO85]

Antonio Albano, Giorgio Ghelli, Renzo Orsini: The Implementation of Galileo's Persistent Values. Data Types and Persistence (Appin) 1985: 253-263

[AGOP85]

...

[AHU74]

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, ISBN 0-201-00029-6

[AI87]

...

[AITK84a]

...

[AITK84b]

...

[AITK85]

Hassan Aït-Kaci, Roger Nasr: Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin) 1985: 121-136

[ALBA83]

...

[ALLC83]

...

[ALN86]

...

[ALN87]

...

[ALS78]

Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava: A Model of Recoverability in Multilevel Systems. IEEE Trans. Software Eng. 4(6): 486-494(1978)

[AM83]

James E. Allchin, Martin S. McKendry: Synchronization and Recovery of Actions. PODC 1983: 31-44

[AM84]

Malcolm P. Atkinson, Ronald Morrison: Persistent First Class Procedures are Enough. FSTTCS 1984: 223-240

[AM85a]

Malcolm P. Atkinson, Ronald Morrison: Procedures as Persistent Data Objects. ACM Trans. Program. Lang. Syst. 7(4): 539-559(1985)

[AM285]

Malcolm P. Atkinson, Ronald Morrison: Types, Bindings and Parameters in a Persistent Environment. Data Types and Persistence (Appin) 1985: 3-20

[AN86a]

Hassan Aït-Kaci, Roger Nasr: Logic and Inheritance. POPL 1986: 219-228

[AN86b]

Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986)

[AN86c]

...

[AN87a]

...

[AN87b]

Arvind, Rishiyur S. Nikhil: Executing a Program on the MIT Tagged-Token Dataflow Architecture. PARLE (2) 1987: 1-29

[ANDE79]

...

[ANP87a]

...

[ANP87b]

Arvind, Rishiyur S. Nikhil, Keshav Pingali: I-Structures: Data Structures for Parallel Computing. ACM Trans. Program. Lang. Syst. 11(4): 598-632(1989)

[ANS86]

Hassan Aït-Kaci, Roger Nasr, Jungyun Seo: BABEL: A Base for an Experimental Library. SIGIR 1988: 175-190

[AOO82]

...

[AOO86]

...

[AS81]

...

[ATKI78]

Malcolm P. Atkinson: Programming Languages and Databases. VLDB 1978: 408-419

[BA86]

Peter Buneman, Malcolm P. Atkinson: Inheritance and Persistence in Database Programming Languages. SIGMOD Conference 1986: 4-15

[BAKE78]

Henry G. Baker Jr.: List Processing in Real Time on a Serial Computer. Commun. ACM 21(4): 280-294(1978)

[BANC85]

François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178

[BDMN73]

...

[BFL83]

Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73(1983)

[BFN82]

Peter Buneman, Robert E. Frankel, Rishiyur S. Nikhil: An Implementation Technique for Database Query Languages. ACM Trans. Database Syst. 7(2): 164-186(1982)

[BG80]

Philip A. Bernstein, Nathan Goodman: Timestamp-Based Algorithms for Concurrency Control in Distributed Database Systems. VLDB 1980: 285-300

[BG83]

Philip A. Bernstein, Nathan Goodman: Multiversion Concurrency Control - Theory and Algorithms. ACM Trans. Database Syst. 8(4): 465-483(1983)

[BGL81]

Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai: Two Part Proof Schema for Database Concurrency Control. Berkeley Workshop 1981: 71-84

[BMS80]

Rod M. Burstall, David B. MacQueen, Donald Sannella: HOPE: An Experimental Applicative Language. LISP Conference 1980: 136-143

[BMS84]

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. Topics in Information Systems Springer 1984, ISBN 3-540-90842-0
Contents

[BMW84]

Alexander Borgida, John Mylopoulos, Harry K. T. Wong: Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) 1982: 87-117

[BORG85]

Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985)

[BOUR78]

...

[BR81]

Eike Best, Brian Randell: A Formal Model of Atomicity in Asynchronous Systems. Acta Inf. 16: 93-124(1981)

[BR84]

Michael L. Brodie, Dzenan Ridjanovic: On the Design and Specification of Database Transactions. On Conceptual Modelling (Intervale) 1982: 277-312

[BRIN75]

Per Brinch Hansen: The Programming Language Concurrent Pascal. IEEE Trans. Software Eng. 1(2): 199-207(1975)

[BROO82]

R. A. Brooker: A `Database' Subsystem for BCPL. Comput. J. 25(4): 448-464(1982)

[BS83]

...

[BSW79]

Philip A. Bernstein, David W. Shipman, Wing S. Wong: Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng. 5(3): 203-216(1979)

[BUNE84]

...

[BUNE85]

Peter Buneman: Data Types For Database Programming. Data Types and Persistence (Appin) 1985: 91-100

[CARD83a]

...

[CARD83b]

...

[CARD84]

...

[CARD85]

...

[CARD86]

Luca Cardelli: Basic Polymorphic Typechecking. Sci. Comput. Program. 8(2): 147-172(1987)

[CCA83]

...

[CH74]

...

[CHAL82]

...

[CHEN76]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976)

[CHIU82]

...

[CHUR40]

...

[CM81]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981

[CM85]

Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41

[COCK84]

...

[COCK85]

W. Paul Cockshott: Addressing Mechanisms and Persistent Programming. Data Types and Persistence (Appin) 1985: 235-252

[CODD70]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)

[CODD71a]

E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971)

[CODD71b]

E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972)

[CODD79]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979)

[CORM83]

...

[CW85]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)

[DATE83a]

C. J. Date: An Introduction to Database Systems, Volume II. Addison-Wesley 1983, ISBN 0-201-14474-3

[DATE83b]

C. J. Date: The Outer Join. ICOD 1983: 76-106

[DATE86]

C. J. Date: An Introduction to Database Systems, Volume I, 4th Edition. Addison-Wesley 1986

[DAVI73]

...

[DAVI78]

Charles T. Davies Jr.: Data Processing Spheres of Control. IBM Systems Journal 17(2): 179-198(1978)

[DD79]

...

[DD80a]

...

[DD80b]

Alan J. Demers, James E. Donahue: Data Types, Parameters, and Type Checking. POPL 1980: 12-23

[DH72]

...

[DHIL85]

...

[DIJK68]

...

[DK79]

Amaryllis Deliyanni, Robert A. Kowalski: Logic and Semantic Networks. Commun. ACM 22(3): 184-192(1979)

[DN66]

...

[DUEC83]

...

[EEKMS85]

...

[EGLT76]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976)

[FAIR82]

...

[FAIR85]

Jon Fairbairn: A New Type-Checker for a Functional Language. Data Types and Persistence (Appin) 1985: 69-87

[FI73]

Adin D. Falkoff, Kenneth E. Iverson: The Design of APL. IBM Journal of Research and Development 17(5): 324-334(1973)

[FIND79]

...

[GHEL85]

...

[GM78]

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents

[GMN84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

[GMN79]

...

[GOGU83]

...

[GR83]

Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983

[GRAY78]

Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481

[HARP85]

Robert Harper: Modules and Persistence in Standard ML. Data Types and Persistence (Appin) 1985: 21-30

[HARP86]

...

[HB80]

Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92

[HL83]

Henry Lieberman, Carl Hewitt: A Real-Time Garbage Collector Based on the Lifetimes of Objects. Commun. ACM 26(6): 419-429(1983)

[HM81]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981)

[HMM86]

...

[HOAR74]

C. A. R. Hoare: Monitors: An Operating System Structuring Concept. Commun. ACM 17(10): 549-557(1974)

[HUET76]

...

[IBM]

...

[ICHB83]

...

[JW78]

Kathleen Jensen, Niklaus Wirth: Pascal User Manual and Report, Second Edition. Springer 1975, ISBN 3-540-90144-2

[KAEH81]

...

[KMPRSZ83]

...

[KNUT73]

Donald E. Knuth: The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition. Addison-Wesley 1973

[KNUT79]

...

[KORT81]

...

[KOWA78]

Robert A. Kowalski: Logic for Data Description. Logic and Data Bases 1977: 77-103

[KR81]

H. T. Kung, John T. Robinson: On Optimistic Methods for Concurrency Control. ACM Trans. Database Syst. 6(2): 213-226(1981)

[KRAB75]

...

[LAMP81]

Butler W. Lampson: Atomic Transactions. Advanced Course: Distributed Systems 1980: 246-265

[LAND66]

...

[LHJLSW83]

...

[LISK81]

Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder: CLU Reference Manual. Lecture Notes in Computer Science Vol. 114 Springer 1981, ISBN 3-540-10836-X

[LISK82]

Barbara Liskov: On Linguistic Support for Distributed Programs. IEEE Trans. Software Eng. 8(3): 203-210(1982)

[LS83]

Barbara Liskov, Robert Scheifler: Guardians and Actions: Linguistic Support for Robust, Distributed Programs. ACM Trans. Program. Lang. Syst. 5(3): 381-404(1983)

[LISK84]

Barbara Liskov: The Argus Language and System. Advanced Course: Distributed Systems 1984: 343-430

[LORI77]

Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977)

[LNCS84]

...

[LYNC82]

Nancy A. Lynch: Concurrency Control for Resilient Nested Transactions. PODS 1983: 166-181

[LZ74]

Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974)

[MACQ85]

David B. MacQueen: Modules for Standard ML. LISP and Functional Programming 1984: 198-207

[MACQ86]

David B. MacQueen: Using Dependent Types to Express Modular Structure. POPL 1986: 277-286

[MATT85a]

...

[MATT85]

David C. J. Matthews: An Overview of the Poly Programming Language. Data Types and Persistence (Appin) 1985: 43-50

[MBW80]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980)

[MCAR62]

...

[MD85]

...

[MERR77]

T. H. Merrett: Relations as Programming Language Elements. Inf. Process. Lett. 6(1): 29-33(1977)

[MERR84]

...

[MERR85a]

T. H. Merrett: First Steps to Algebraic Processing of Text. ICOD-2 Workshop on New Applications of Data Bases 1983: 109-127

[MERR85]

T. H. Merrett: Persistence and Aldat. Data Types and Persistence (Appin) 1985: 173-188

[MILN78]

Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978)

[MILN80]

Robin Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 Springer 1980, ISBN 3-540-10235-3

[MILN84]

Robin Milner: A Proposal for Standard ML. LISP and Functional Programming 1984: 184-197

[MILN85]

...

[MINS75]

...

[MITC79]

...

[MM79]

...

[MOSS81]

...

[MP84]

...

[MP85]

John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. POPL 1985: 37-51

[MS82]

David B. MacQueen, Ravi Sethi: A Semantic Model of Types for Applicative Languages. Symposium on LISP and Functional Programming 1982: 243-252

[MSP84]

David B. MacQueen, Gordon D. Plotkin, Ravi Sethi: An Ideal Model for Recursive Polymorphic Types. POPL 1984: 165-174

[MW80]

John Mylopoulos, Harry K. T. Wong: Some Features of the TAXIS Data Model. VLDB 1980: 399-410

[NAUR63]

...

[NIKH84]

...

[NIKH87]

...

[ORGA84]

...

[PS85]

...

[REED78]

...

[REIS84]

Steven P. Reiss: Graphical Program Development with PECAN Program Development Systems. Software Development Environments (SDE) 1984: 30-41

[REISS]

...

[REIT84]

Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233

[REYN70]

...

[REYN85]

John C. Reynolds: Three Approaches to Type Structure. TAPSOFT, Vol.1 1985: 97-138

[REYN86]

...

[ROBI65]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965)

[ROWE80]

...

[RS79]

Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81

[SCHM77]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977)

[SCHM78]

Joachim W. Schmidt: Type Concepts for Database Definition. JCDKB 1978: 215-244

[SCHW84]

...

[SCOT82]

Dana S. Scott: Domains for Denotational Semantics. ICALP 1982: 577-613

[SF]

...

[SFL81]

...

[SFL83]

...

[SHIP81]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981)

[SHOP79]

Jonathan E. Shopiro: Theseus - A Programming Language for Relational Databases. ACM Trans. Database Syst. 4(4): 493-517(1979)

[SOLT81]

...

[SS77]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977)

[SS84]

Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984)

[STON84]

Michael Stonebraker: A Database Perspective. On Conceptual Modelling (Intervale) 1982: 457-458

[TENN77]

Robert D. Tennent: Language Design Methods Based on Semantic Principles. Acta Inf. 8: 97-112(1977)

[TURN79]

...

[TURN81]

...

[ULLM82]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6

[VANR83]

...

[VANW75]

Adriaan van Wijngaarden, B. J. Mailloux, J. E. L. Peck, Cornelis H. A. Koster, Michel Sintzoff, C. H. Lindsey, Lambert G. L. T. Meertens, R. G. Fisker: Revised Report on the Algorithmic Language ALGOL 68. Acta Inf. 5: 1-236(1975)

[VERH76]

...

[WARR83]

...

[WEIH83]

William E. Weihl: Data-dependent Concurrency Control and Recovery (Extended Abstract). PODC 1983: 63-75

[WEIH84]

...

[WEIH85]

William E. Weihl: Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin) 1985: 191-212

[WIRT71]

Niklaus Wirth: The Programming Language Pascal. Acta Inf. 1: 35-63(1971)

[WL85]

William E. Weihl, Barbara Liskov: Implementation of Resilient, Atomic Data Types. ACM Trans. Program. Lang. Syst. 7(2): 244-269(1985)

[WSKRV81]

...

[XERO81]

...

[ZDON84]

...

[ZW85]

...

[ZW85]

...