Using Metalevel Constraint Knowledge to Reduce Constraint Checking.

Eugene C. Freuder

Published in: Constraint Processing, Selected Papers (1995)

Keyphrases

constraint checking
knowledge base
integrity constraints
expert systems
knowledge management
databases
artificial intelligence
knowledge representation
general purpose
data mining techniques
deductive databases