Idempotence

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En mathématiques et en informatique, le concept d’idempotence signifie essentiellement qu'une opération a le même effet qu'on l'applique une ou plusieurs fois, ou encore qu'en la réappliquant on ne modifiera pas le résultat. On la retrouve en algèbre générale, en particulier dans la théorie des opérateurs de projection et des opérateurs de clôture.

Définition[modifier | modifier le code]

Un élément a d'un demi-groupe est dit idempotent si a2 = a.

Exemples[modifier | modifier le code]

En informatique[modifier | modifier le code]

En informatique, le terme est utilisé pour décrire une opération qui produit le même résultat qu'elle soit exécutée une seule ou plusieurs fois. Il peut avoir un sens différent selon le contexte : dans le cas d'appels de méthodes ou routines avec des effets de bords, par exemple, il signifie que l'état du système reste le même après le premier appel. En programmation fonctionnelle, une fonction idempotente est celle qui a la propriété ƒ(ƒ(x)) = ƒ(x) pour chaque valeur x.

Par exemple : rechercher le nom d'un client dans une base de données est typiquement idempotent, car cela ne change pas la base de données. Passer une commande n'est pas idempotent, car plusieurs invocations résulteront en plusieurs commandes. Annuler une commande au contraire est idempotent car la commande reste annulée quel que soit le nombre d'invocations.

Autre exemple : Le tri d'une liste d'éléments est une procédure idempotente. Une fois la liste triée, le fait de la trier à nouveau ne changera pas l'ordre des éléments ; la liste ne sera donc pas modifiée.

Un script SQL d'insertion dans une base de données peut être écrit de manière à être idempotent : les commandes d'insertions peuvent être écrites avec des conditions empêchant la réinsertion de ces mêmes enregistrements. Ce script peut alors être exécuté plusieurs fois sur la même base de données sans aucun risque de duplication de données. Ceci est intéressant dans le cas d'un système qui évolue et qui nécessite de nouvelles insertions lors de nouvelles versions. Ceci permet également aux utilisateurs du logiciel de faire évoluer leur installation à leur rythme, sans devoir toujours passer de la version n à la version n+1.

Voir aussi[modifier | modifier le code]