Representing Object Identity in a Pure Functional Language.

@inproceedings{DBLP:conf/icdt/Ohori90,
  author    = {Atsushi Ohori},
  editor    = {Serge Abiteboul and
               Paris C. Kanellakis},
  title     = {Representing Object Identity in a Pure Functional Language},
  booktitle = {ICDT'90, Third International Conference on Database Theory, Paris,
               France, December 12-14, 1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {470},
  year      = {1990},
  isbn      = {3-540-53507-1},
  pages     = {41-55},
  ee        = {db/conf/icdt/Ohori90.html},
  crossref  = {DBLP:conf/icdt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[ABD+89]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX

[AH87]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX

[AK89]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[AW85]

...

[Ban88]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX

[BBKV87]

François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105 BibTeX

[Bro85]

...

[Car84]

...

[CDJS86]

Michael J. Carey, David J. DeWitt, Joel E. Richardson, Eugene J. Shekita: Object and File Management in the EXODUS Extensible Database System. VLDB 1986: 91-100 BibTeX

[CM84]

George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 BibTeX

[Cop85]

Mario Coppo: A Completeness Theorem for Recursively Defined Types. ICALP 1985: 120-129 BibTeX

[Cou83]

Bruno Courcelle: Fundamental Properties of Infinite Trees. Theor. Comput. Sci. 25: 95-169(1983) BibTeX

[CW85]

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

[Dam85]

...

[Dat81]

C. J. Date: An Introduction to Database Systems, 3rd Edition. Addison-Wesley 1981
BibTeX

[DM82]

Luís Damas, Robin Milner: Principal Type-Schemes for Functional Programs. POPL 1982: 207-212 BibTeX

[FF87]

Matthias Felleisen, Daniel P. Friedman: A Calculus for Assignments in Higher-Order Languages. POPL 1987: 314-325 BibTeX

[Fri73]

...

[Hin69]

...

[HMT88]

...

[HS86]

J. Roger Hindley, Jonathan P. Seldin: Introduction to Combinators and Lambda-Calculus. Cambridge University Press 1986
BibTeX

[KC86]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 BibTeX

[KV84]

Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96 BibTeX

[LRV88]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433 BibTeX

[Mai83]

David Maier: The Theory of Relational Databases. Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX

[MH88]

John C. Mitchell, Robert Harper: The Essence of ML. POPL 1988: 28-46 BibTeX

[Mil78]

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

[Mog89]

Eugenio Moggi: Computational Lambda-Calculus and Monads. LICS 1989: 14-23 BibTeX

[OB88]

...

[OBBT89]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57 BibTeX

[OBS86]

Patrick O'Brien, Bruce Bullis, Craig Schaffert: Persistent and Shared Objects in Trellis/Owl. OODBS 1986: 113-123 BibTeX

[Oho89a]

Atsushi Ohori: Semantics of Types for Database Objects. Theor. Comput. Sci. 76(1): 53-91(1990) BibTeX

[Oho89b]

...

[Rey74]

...

[SSS88]

David W. Stemple, Adolfo Socorro, Tim Sheard: Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128 BibTeX

[Sto77]

...

[Tof88]

...

[Ull82]

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

[Wad90]

...

[Zdo89]

...

Referenced by

1. Leonidas Fegaras, David Maier: Towards an Effective Calculus for Object Query Languages. SIGMOD Conference 1995: 47-58
2. Martin Gogolla: A Declarative Query Approach to Object Identification. OOER 1995: 65-76
3. Yoshihiko Ichikawa: Database States in Lazy Functional Programming Languages: Imperative Update and Lazy Retrieval. DBPL 1995: 8