Meta-Rules and Semantic Integrity Constraints in Databases