Titre : “Ré-écriture d’unions de requêtes conjonctives avec des règles existentielles disjonctives”
Résumé : “L’objectif de la présentation est de proposer une généralisation de la technique de ré-écriture d’unions de requêtes conjonctives avec des règles existentielles à des règles existentielles disjonctives. Une règle existentielle disjonctive est une règle contenant une disjonction de conjonctions d’atomes positifs en tête avec des variables quantifiées existentiellement. Il sera rappelé la technique de ré-écriture avec des règles existentielles en utilisant des unificateurs par pièce ainsi que le chase disjonctif. Puis la technique proposée sera décrite en s’appuyant sur ces éléments.”
