OPTIMIZING DISTRIBUTED INTEGRITY CONSTRAINTS

The design and implementation of INGRES

Michael Stonebraker, Gerald Held, Eugene Wong et al. · ACM Transactions on Database Systems · 1976 · 884 citations · Full text

Computing, Computer Science, Computer Systems +14

Efficiently monitoring relational databases

O. Buneman, Eric K. Clemons · ACM Transactions on Database Systems · 1979 · 183 citations · Full text

Computing, Computer Science, Information Systems +15

Automatic verification of database transaction safety

Tim Sheard, David Stemple · ACM Transactions on Database Systems · 1989 · 124 citations · Full text

Computing, Computer Science, Databases +15

Maintaining state constraints in relational databases: a proof theoretic basis

William W. McCune, Lawrence J. Henschen · Journal of the ACM · 1989 · 67 citations · Full text

Computing, Computer Science, Algorithms +16

Validating database updates

Isamu Kobayashi · Information Systems · 1984 · 36 citations · Full text