The complexity of satisfying constraints on databases of transactions