Active Bibliography

778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
660 Query evaluation techniques for large databases – Goetz Graefe - 1993
348 CLASSIC: A Structural Data Model for Objects – Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick - 1989
290 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
119 Automating First-Order Relational Logic – Daniel Jackson - 2000
229 Semantic database modeling: Survey, applications, and research issues – Richard Hull, Roger King - 1987
181 Database Description with SDM: A Semantic Database Model – Michael Hammer, Dennis Mcleod - 1981
166 A federated architecture for information management – Dennis Heimbigner, Dennis Mcleod - 1985
160 The EXODUS Optimizer Generator – Goetz Graefe , David J. DeWitt - 1987