A Bayesian Approach for On-Line Sum/Count/Max/Min Auditing on Boolean Data