A Relational Algebra for PHP