COMPILING CONSTRAINT-CHECKING PROGRAMS FROM FIRST-ORDER FORMULAS.

Lawrence Joseph Henschen*, William W. McCune, Shamin A. Naqvi

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

43 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherPlenum Press
Pages145-169
Number of pages25
ISBN (Print)0306416360
StatePublished - Dec 1 1984

ASJC Scopus subject areas

  • Engineering(all)

Cite this