A Relational Theory of Computing | EKB DL