Return to Article Details Analysis of formal models for ensuring data integrity and their applicability to databases Download Download PDF