New Foundations for a Relational Theory of Theory-revision