Object Modeling Based on Logic.

@inproceedings{DBLP:conf/er/BattistaL88,
  author    = {Giuseppe Di Battista and
               Maurizio Lenzerini},
  editor    = {Carlo Batini},
  title     = {Object Modeling Based on Logic},
  booktitle = {Entity-Relationship Approach: A Bridge to the User, Proceedings
               of the Seventh International Conference on Enity-Relationship
               Approach, Rome, Italy, November 16-18, 1988},
  publisher = {North-Holland},
  year      = {1988},
  isbn      = {0-444-87453-4},
  pages     = {207-225},
  ee        = {db/conf/er/BattistaL88.html},
  crossref  = {DBLP:conf/er/88},
  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

[AM86]

Hiroshi Arisawa, Takao Miura: On the Properties of Extended Inclusion Dependencies. VLDB 1986: 449-456 BibTeX

[AS87]

Paolo Atzeni, Douglas Stott Parker Jr.: Set Containment Inference. ICDT 1986: 73-90 BibTeX

[BLN86]

Carlo Batini, Maurizio Lenzerini, Shamkant B. Navathe: A Comparative Analysis of Methodologies for Database Schema Integration. ACM Comput. Surv. 18(4): 323-364(1986) BibTeX

[Ce83]

Stefano Ceri (Ed.): Methodology and Tools for Data Base Design. North-Holland 1983
Contents BibTeX

[CL73]

...

[KM85]

...

[Le87a]

Maurizio Lenzerini: Covering and Disjointness Constraints in Type Networks. ICDE 1987: 386-393 BibTeX

[Le87b]

Maurizio Lenzerini: Class Hierarchies and Their Complexity. DBPL 1987: 43-65 BibTeX

[LN87]

Maurizio Lenzerini, Paolo Nobili: On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata. VLDB 1987: 147-154 BibTeX

[MZ86]

David A. McAllester, Ramin Zabih: Boolean Classes. OOPSLA 1986: 417-423 BibTeX

[Me64]

...

[Ro65]

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

[Ul87]

Jeffrey D. Ullman: Database Theory: Past and Future. PODS 1987: 1-10 BibTeX

Referenced by

1. Michael V. Mannino, Injun Choi: Object-Oriented Modelling and Reasoning. ER 1990: 455-464