Online Library TheLib.net » Integrity Constraints on Rich Data Types