Robust and simple database evolution

This work presents CoDEL, a database evolution language based on an existing language but is relationally complete which precisely defines its semantic using relational algebra, proposes a syntax, and formally validate its relational completeness.