APPEARED IN ACM-SIGMOD 1979, HPP-79-27