External Links

    Journal: ACM Trans. Database Syst.

    Volume 14, Issue 3

    291 -- 321Scott E. Hudson, Roger King. Cactis: A Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System
    322 -- 368Tim Sheard, David W. Stemple. Automatic Verification of Database Transaction Safety
    369 -- 400José A. Blakeley, Neil Coburn, Per-Åke Larson. Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates
    401 -- 424Lothar F. Mackert, Guy M. Lohman. Index Scans Using a Finite LRU Buffer: A Validated I/O Model
    425 -- 442Yannis Manolopoulos, John G. Kollias. Performance of a Two-Headed Disk System when Serving Database Queries Under the Scan Policy
    runs on