Integrity constraints: Semantics and applicationsIntensional query optimizationSemantic Query Optimization for Bottom-Up Evaluation
