Luís Cruz-FilipeMichael FranzArtavazd HakhverdyanMarta LudovicoIsabel NunesPeter Schneider-KamprepAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints.2015abs/1510.03989CoRRhttp://arxiv.org/abs/1510.03989db/journals/corr/corr1510.html#Cruz-FilipeFHLN15