Resolving the integrity/performance conflict

It is argued that future applications will require integrity of complex, persistent data in the face of hardware and program failures. We discuss Thor, a new object-oriented database, which offers a computational model that ensures data integrity in a distributed system without sacrificing expressiveness or performance. Perhaps surprisingly, compiler technology is important to make this work well.<
>