Agrego verificaciones (constraints y triggers)