Integrity Control in Advanced Database Systems.

Paul W. P. J. Grefen, Rolf A. de By, Peter M. G. Apers: Integrity Control in Advanced Database Systems. IEEE Data Eng. Bull. 17(2): 9-13(1994)
  author    = {Paul W. P. J. Grefen and
               Rolf A. de By and
               Peter M. G. Apers},
  title     = {Integrity Control in Advanced Database Systems},
  journal   = {IEEE Data Eng. Bull.},
  volume    = {17},
  number    = {2},
  year      = {1994},
  pages     = {9-13},
  ee        = {db/journals/debu/GrefenBA94.html},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition:

Data Engineering Bulletin June 1994: Database Constraint Management (Jennifer Widom, ed.)
( letter+figures , letter-figures , A4+figures , A4-figures , PDF+figures)


Peter M. G. Apers, Carel A. van den Berg, Jan Flokstra, Paul W. P. J. Grefen, Martin L. Kersten, Annita N. Wilschut: PRISMA/DB: A Parallel Main Memory Relational DBMS. IEEE Trans. Knowl. Data Eng. 4(6): 541-554(1992) BibTeX
Herman Balsters, Rolf A. de By, Roberto Zicari: Typed Sets as a Basis for Object-Oriented Database Schemas. ECOOP 1993: 161-184 BibTeX
Herman Balsters, Chris C. de Vreeze: A Semantics of Object-Oriented Sets. DBPL 1991: 203-217 BibTeX
Paul W. P. J. Grefen, Peter M. G. Apers: Parallel Handling of Integrity Constraints on Fragmented Relations. DPDS 1990: 138-145 BibTeX
Paul W. P. J. Grefen, Peter M. G. Apers: Integrity Constraint Enforcement through Transaction Modification. DEXA 1991: 362-367 BibTeX
Paul W. P. J. Grefen, Jan Flokstra, Peter M. G. Apers: Performance Evaluation of Integrity Control in a Parallel Main-Memory Database System. DEXA 1992: 96-101 BibTeX
Paul W. P. J. Grefen: Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. VLDB 1993: 581-591 BibTeX
Paul W. P. J. Grefen, Rolf A. de By: A Multi-Set Extended Relational Algebra - A Formal Approach to a Practical Issue. ICDE 1994: 80-88 BibTeX
Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Bulletin of the IEEE Computer Society Technical Committee on Data Engineering: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:56:11 2009