. "RIV:J04/98:212305632" . . "1"^^ . "Specification-Driven Development of Integrity Constraints" . "Richta, Karel" . "Specification-Driven Development of Integrity Constraints" . "Specification-Driven Development of Integrity Constraints"@en . "1"^^ . "Specification-Driven Development of Integrity Constraints"@en . "784567" . . "Proceedings of VII. Int. Conf. on Information Systems Develo" . "Plenum Publishing Corporation" . . . . . . "21230" . "RIV:J04/98:212305632!RIV/1998/MSM/MSM8D30" . . "0"^^ . "1;11" . "New York" . "[D2B62F00A592]" .