The Identity and Uniqueness says:
Datomic does not provide a mechanism to declare composite uniqueness constraints; however, you can implement them (or any arbitrary functional constraint) via transaction functions.
However, this seems no longer true. It probably should point to Composite Tuples.