Song S. Integrity Constraints on Rich Data Types 2023