REFERENCES
- Chang , C. L. ,Lee, R, C. 1973. Symbolic Logic and Mechanical Theorem Proving. New York Academic Press .
- Gallaire , H. , Minker , J. , and Nicholas , J. 1984. Logic and Databases A Deductive Approach , Compui. Surveys , 16 ( 2 ) 152 – 185 .
- Harel , D. 1988. On Visual Formalisms. Communicat. ACM 3l ( 5 ) 514 – 530 .
- Kellogg , C. O'Hare , A. , and Travis , L. 1986. Optimizing the Rule—Data Interface in a Knowledge Management System , Very Large Data Bases , Vol. 12 .
- Kimbrough , S. 1986. A Graph Representation for Management of Logic Models. Decision Support Sys. 2 ( 1 ) 27 – 37 .
- Kowalski , R. 1979. Logic For Problem Solving. Amsterdam North Holland .
- Lloyd , J. W. 1984. Foundations of Logic Programming. Springer Valley .
- Orman , L. V. 1988. Functional Development of Database Applications , Trans. Software Eng. 14 ( 9 ) 1280 – 1292 .
- Robinson , J. A. 1979. Logic Form and Function. Amsterdam North Holland .
- Shipman , D. W. 1981. The Functional Data Model and the Data Language DAPLEX , Trans. Database Sys. 1 140 – 173 .
- Sowa , J. F. 1984. Conceplional Structures Information Processing in Mind and Machine. Reading , Mass. Addison Wesley .
- Tsichritzis , D. C. and Lochovsky , F. H. 1982. Data Models. Englewood Cliffs , N.J , Prentice—Hall .
- Ullman , J. D. 1984. Principles of Data and Knowledge Base Systems. Rockville , Md. Computer Science Press .