Object-Oriented Modelling and Reasoning.

@inproceedings{DBLP:conf/er/ManinoC90,
  author    = {Michael V. Mannino and
               Injun Choi},
  editor    = {Hannu Kangassalo},
  title     = {Object-Oriented Modelling and Reasoning},
  booktitle = {Proceedings of the 9th International Conference on Entity-Relationship
               Approach (ER'90), 8-10 October, 1990, Lausanne, Switzerland},
  publisher = {ER Institute},
  year      = {1990},
  pages     = {455-464},
  ee        = {db/conf/er/ManinoC90.html},
  crossref  = {DBLP:conf/er/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-1 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

[BBMR89]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX

[CW85]

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

[CMT90a]

...

[CMT90b]

Injun Choi, Michael V. Mannino, Veronica P. Tseng: Type Restrictions and Method Interfaces in Object-Oriented Database Programming. DS-4 1990: 183-206 BibTeX

[Deme88]

Richard A. Demers: Distributed Files for SAA. IBM Systems Journal 27(3): 348-361(1988) BibTeX

[DL88]

Giuseppe Di Battista, Maurizio Lenzerini: Object Modeling Based on Logic. ER 1988: 207-225 BibTeX

[HMG90]

...

[KK89]

...

[LB87]

...

[MCB90]

Michael V. Mannino, Injun Choi, Don S. Batory: The Object-Oriented Functional Data Language. IEEE Trans. Software Eng. 16(11): 1258-1272(1990) BibTeX

[MGH90]

...

[OB88]

Atsushi Ohori, Peter Buneman: Type Inference in a Database Programming Language. LISP and Functional Programming 1988: 174-183 BibTeX

[RH79]

Harry B. Hunt III, Daniel J. Rosenkrantz: The Complexity of Testing Predicate Locks. SIGMOD Conference 1979: 127-133 BibTeX

[SKN89]

Xian-He Sun, Nabil Kamel, Lionel M. Ni: Solving Implication Problems in Database Applications. SIGMOD Conference 1989: 185-192 BibTeX

[TGP89]

...