Relational CEK machine