TY - GEN
T1 - COMPILING CONSTRAINT-CHECKING PROGRAMS FROM FIRST-ORDER FORMULAS.
AU - Henschen, Lawrence Joseph
AU - McCune, William W.
AU - Naqvi, Shamin A.
PY - 1984
Y1 - 1984
N2 - A technique for extracting integrity tests from database constraints expressed as first-order formulas is described. The tests can be generated at database design time and are to be applied when updates to the database are issued. A significant feature is that the tests are to be applied before the update is made. The basic method is to assert a constraint for the current state of the database, express the new state in terms of both the old state and the general form of the update, deny that the constraint holds in the new state, and attempt to obtain a contradiction.
AB - A technique for extracting integrity tests from database constraints expressed as first-order formulas is described. The tests can be generated at database design time and are to be applied when updates to the database are issued. A significant feature is that the tests are to be applied before the update is made. The basic method is to assert a constraint for the current state of the database, express the new state in terms of both the old state and the general form of the update, deny that the constraint holds in the new state, and attempt to obtain a contradiction.
UR - http://www.scopus.com/inward/record.url?scp=0021588649&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0021588649&partnerID=8YFLogxK
U2 - 10.1007/978-1-4615-9385-0_6
DO - 10.1007/978-1-4615-9385-0_6
M3 - Conference contribution
AN - SCOPUS:0021588649
SN - 0306416360
SN - 9780306416361
SP - 145
EP - 169
BT - Unknown Host Publication Title
PB - Plenum Press
ER -