Exactly-Once Semantics - Guarantees that an operation is executed exactly once, preventing duplicates despite retries or failures.