Facing On towards Logic Database Rule Enforcement - Universidad Politécnica de Cataluña