ACM DL

Database Systems (TODS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Database Systems (TODS), Volume 8 Issue 2, June 1983

Performance enhancements to a relational database system
Michael Stonebraker, John Woodfill, Jeff Ranstrom, Marguerite Murphy, Marc Meyer, Eric Allman
Pages: 167-185
DOI: 10.1145/319983.319984
In this paper we examine four performance enhancements to a database management system: dynamic compilation, microcoded routines, a special-purpose file system, and a special-purpose operating system. All were examined in the context of the...

Using semantic knowledge for transaction processing in a distributed database
Hector Garcia-Molina
Pages: 186-213
DOI: 10.1145/319983.319985
This paper investigates how the semantic knowledge of an application can be used in a distributed database to process transactions efficiently and to avoid some of the delays associated with failures. The main idea is to allow nonserializable...

Formal semantics for time in databases
James Clifford, David S. Warren
Pages: 214-254
DOI: 10.1145/319983.319986
The concept of a historical database is introduced as a tool for modeling the dynamic nature of some part of the real world. Just as first-order logic has been shown to be a useful formalism for expressing and understanding the underlying...

Duplicate record elimination in large data files
Dina Bitton, David J. DeWitt
Pages: 255-265
DOI: 10.1145/319983.319987
The issue of duplicate elimination for large data files in which many occurrences of the same record may appear is addressed. A comprehensive cost analysis of the duplicate elimination operation is presented. This analysis is based on a...

A characterization of globally consistent databases and their correct access paths
Yehoshua Sagiv
Pages: 266-286
DOI: 10.1145/319983.319988
The representative instance is proposed as a representation of the data stored in a database whose relations are not the projections of a universal instance. Database schemes are characterized for which local consistency implies global...