Systematic Identification of Preconditions from Set-Based Integrity Constraints.

Amel Mammar Frédéric Gervais Régine Laleau

Published in: INFORSID (2006)

Keyphrases

integrity constraints
deductive databases
integrity checking
functional dependencies
database systems
inclusion dependencies
logical rules
databases
logic programming
database management systems
user defined
database transactions
constraint checking
database integrity