ACM DL

Database Systems (TODS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Database Systems (TODS), Volume 20 Issue 1, March 1995

Editorial: Charter and scope
Won Kim
Pages: 1-2
DOI: 10.1145/202106.569784

Static analysis techniques for predicting the behavior of active database rules
Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom
Pages: 3-41
DOI: 10.1145/202106.202107
This article gives methods for statically analyzing sets of active database rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique final database state, and (3) guaranteed to produce a unique stream...

Declarative updates of relational databases
Weidong Chen
Pages: 42-70
DOI: 10.1145/202106.202110
This article presents a declarative language, called update calculus, of relational database updates. A formula in update calculus involves conditions for the current database, as well as assertions about a new database. Logical...

The INCINERATE data model
H. V. Jagadish
Pages: 71-110
DOI: 10.1145/202106.202113
In this article, we present an extended relational algebra with universally or existentially quantified classes as attribute values. The proposed extension can greatly enhance the expressive power of relational systems, and significantly reduce...