HM data Model and its Formal Definition.

@inproceedings{DBLP:conf/adbis/ScherbakovZ95,
  author    = {Nick Scherbakov and
               Alexandre V. Zamulin},
  editor    = {Johann Eder and
               Leonid A. Kalinichenko},
  title     = {HM data Model and its Formal Definition},
  booktitle = {Advances in Databases and Information Systems, Proceedings of
               the Second International Workshop on Advances in Databases and
               Information Systems (ADBIS'95), Moscow, 27-30 June 1995},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1995},
  isbn      = {3-540-76014-8},
  pages     = {369-390},
  ee        = {db/conf/adbis/ScherbakovZ95.html},
  crossref  = {DBLP:conf/adbis/95},
  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-5 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

[1]

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

[2]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[3]

...

[4]

Jeff Conklin: Hypertext: An Introduction and Survey. IEEE Computer 20(9): 17-41(1987) BibTeX

[5]

...

[6]

...

[7]

Frank G. Halasz: Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems. Commun. ACM 31(7): 836-852(1988) BibTeX

[8]

Andries van Dam: Hypertext '87: Keynote Address. Commun. ACM 31(7): 887-895(1988) BibTeX

[9]

...

[10]

Michael Marmann, Gunter Schlageter: Towards a Better Support for Hypermedia Authoring: The HYDESIGN Model. ECHT 1992: 232-241 BibTeX

[11]

...

[12]

Marco A. Casanova, Luiz Tucherman, Maria Julia D. Lima, Jose L. Rangel Netto, Noemi de La Rocque Rodriguez, Luiz Fernando Gomes Soares: The Nested Context Model for Hyperdocuments. Hypertext 1991: 193-201 BibTeX

[13]

...

[14]

Franca Garzotto, Paolo Paolini, Daniel Schwabe: HDM - A Model-Based Approach to Hypertext Application Design. ACM Trans. Inf. Syst. 11(1): 1-26(1993) BibTeX

[15]

Michael Bieber: Issues in Modeling a "Dynamic" Hypertext Interface for Non-Hypertext Systems. Hypertext 1991: 203-217 BibTeX

[16]

Manfred Thüring, Jörg M. Haake, Jörg Hannemann: What's Eliza Doing in the Chinese Room? Incoherent Hyperdocuments - and How to Avoid Them. Hypertext 1991: 161-177 BibTeX

[17]

Norbert A. Streitz, Jörg M. Haake, Jörg Hannemann, Andreas C. Lemke, Wolfgang Schuler, Helge Schütt, Manfred Thüring: SEPIA: A Cooperative Hypermedia Authoring Environment. ECHT 1992: 11-22 BibTeX

[18]

Rodrigo A. Botafogo, Ben Shneiderman: Identifying Aggregates in Hypertext Structures. Hypertext 1991: 63-74 BibTeX

[19]

H. Van Dyke Parunak: Don't Link Me In: Set Based Hypermedia for Taxonomic Reasoning. Hypertext 1991: 233-242 BibTeX

[20]

Catherine C. Marshall, Frank G. Halasz, Russell A. Rogers, William C. Janssen Jr.: Aquanet: A Hypertext Tool to Hold Your Knowledge in Place. Hypertext 1991: 261-275 BibTeX

[21]

Hermann A. Maurer, Nick Scherbakov, P. Srinivasan: A New Hyermedia Data Model. DEXA 1993: 685-696 BibTeX

[22]

...

[23]

...

[24]

...

[25]

Alexandre V. Zamulin: The Database Specification Language Ruslan: Main Features. East/West Database Workshop 1994: 315-327 BibTeX

[26]

Won Kim, Frederick H. Lochovsky (Eds.): Object-Oriented Concepts, Databases, and Applications. ACM Press and Addison-Wesley 1989, ISBN 0-201-14410-7
Contents BibTeX

[27]

Jeffrey D. Ullman: A Comparison between Deductive and Object-Oriented Database Systems. DOOD 1991: 263-277 BibTeX

[28]

Gerti Kappel, Michael Schrefl: Local Referential Integrity. ER 1992: 41-61 BibTeX

[29]

...

[30]

Laura De Young: Linking Considered Harmful. ECHT 1990: 238-249 BibTeX

[31]

H. Van Dyke Parunak: Hypermedia Topologies and User Navigation. Hypertext 1989: 43-50 BibTeX

[32]

Reiji Nakajima, Michio Honda, Hayao Nakahara: Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. Acta Inf. 14: 135-155(1980) BibTeX

[33]

...

[34]

John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52(1978) BibTeX