Integrity Control in Advanced Database Systems.

@article{DBLP:journals/debu/GrefenBA94,
  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, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/smod7592 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition:

References

[1]

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

[2]

...

[3]

Herman Balsters, Rolf A. de By, Roberto Zicari: Typed Sets as a Basis for Object-Oriented Database Schemas. ECOOP 1993: 161-184 BibTeX

[4]

Herman Balsters, Chris C. de Vreeze: A Semantics of Object-Oriented Sets. DBPL 1991: 203-217 BibTeX

[5]

...

[6]

...

[7]

...

[8]

Paul W. P. J. Grefen, Peter M. G. Apers: Parallel Handling of Integrity Constraints on Fragmented Relations. DPDS 1990: 138-145 BibTeX

[9]

Paul W. P. J. Grefen, Peter M. G. Apers: Integrity Constraint Enforcement through Transaction Modification. DEXA 1991: 362-367 BibTeX

[10]

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

[11]

...

[12]

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

[13]

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

[14]

Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX