Integrity Constraints on Rich Data Types | lit.salon