A Relational Theory of Computing