Allan Shepherd, Larry Kerschberg. PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems. In Beatrice Yormark, editor, SIGMOD 84, Proceedings of Annual Meeting, Boston, Massachusetts, June 18-21, 1984. pages 307-315, ACM Press, 1984. [doi]
Abstract is missing.