An extension of relational algebra for summary tables