idempotentinen

Idempotentinen tarkoittaa tilaa tai toimintaa, jonka toistuva suorittaminen ei muuta alkuperäisen toiminnan vaikutusta. Sanaa käytetään sekä matematiikassa että tietojenkäsittelytieteessä.

Matematiikassa f: X -> X on idempotentti, jos f(f(x)) = f(x) kaikilla x ∈ X. Binäärinen operaatio * on idempotentti, jos a * a = a kaikille a ∈ X. Esimerkkejä ovat f(x) = max(x, c) ja f(x) = min(x, c); konstan Funktionen f(x) = p tapauksessa f(f(x)) = p. Myös absoluuttinen arvo |x| on idempotentti, sillä | |x| | = |x|.

Idempotenssia esiintyy myös ohjelmoinnissa ja järjestelmäarkkitehtuurissa. Esimerkiksi monet projektio-operaatiot ovat idempotentteja, jolloin toistettu tulos on sama kuin ensimmäisenkin suoritus. Verkkopalveluissa idempotenssi tarkoittaa, että sama pyyntö voidaan toistaa turvallisesti ilman tilan epätoivottua muuttumista. Esimerkkeinä ovat HTTP-menetelmät GET, HEAD ja PUT sekä DELETE, joiden toistaminen ei muuta tilaa enemmän kuin ensimmäinen pyyntö. POST ei yleensä ole idempotentti.

Käytännössä idempotenssia pidetään tärkeänä virheenkierrosten hallinnassa: uudelleenlähetykset, virheiden sattuessa toistuvat pyynnöt ja epäonnistuneiden operaatioiden turvallinen toistaminen voidaan toteuttaa ennakoivasti. Tietojärjestelmissä idempotentit operaatiot auttavat varmistamaan vakauden ja ennustettavuuden.

Yhteenvetona idempotenssi kuvaa kykyä suorittaa saman toiminnon useaan kertaan ilman lisävaikutuksia tilaan verrattuna ensimmäiseen suoritukseen. Se kuuluu keskeisesti sekä teoreettisiin että käytännön sovelluksiin.