Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem.

conf/vldb/93 Paul W. P. J. Grefen Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem. 581-591 1993 VLDB db/conf/vldb/vldb93.html#Grefen93 db/conf/vldb/Grefen93.html VLDB93/P581.PDF journals/tkde/ApersBFGKW92 conf/vldb/BernsteinBC80 books/mg/CeriP84 conf/vldb/CeriW90 ... conf/vldb/Gray81 conf/dpds/GrefenA90 ... conf/dexa/GrefenFA92 journals/dke/GrefenA93 conf/sigmod/HsuI85 journals/jacm/Klug82 books/mg/SilberschatzK86 journals/acta/Nicolas82 ... conf/vldb/QianW86 conf/sigmod/SimonV84 ... conf/sigmod/Stonebraker75 journals/cacm/StonebrakerK91 books/cs/Ullman82 ...