A Formal Lazy Replication Regime for Spreading Conversion Functions over Objectbases

This paper introduces a functional-flavored formalization of objectbase evolution processes. It also determines features of the failure equivalence concept between the two main approaches for the fulfillment of database conversions: immediate and lazy updates.Laboratorio de Investigación en Nuevas Tecnologías Informática