The design and implementation of a QBE system