Binary Aggregation with Integrity Constraints