Prism: a knowledge based system for semantic integrity specification and enforcement in database systems

ABSTRACT

This paper presents a knowledge-based approach to the specification, design, implementation, and evolution of database applications The knowledge base consists of 1) facts regarding database objects that are organized into a hierarchy of models, and 2) rules that specify the behavior of objects within a model and among modelsThe model hierarchy consists of database application data, database schemas, data model definitions, and system-related objects that control the user's interaction with the system The rules governing the behavior of objects are specified as explicit constraints on those objects User goals are transformed into conjectures that the inference engine must prove are satisfiable by interpreting all applicable constraintsThe semantic architecture of the PRISM system is described, together with the syntax and semantics of the constraint language PRISM is implemented in the C programming language and runs under the UNIX ** operating system

REFERENCES

• 1: Abrial, J P, Data Semantics, Database Management, eds J W Kimbie & K L Kofferman, North Holland, 74
• 2: Robert M. Balzer, Dynamic system specification, Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, p.95-97, June 23-26, 1980, Pingree Park, Colorado, United States
• 3: Alexander T. Borgida , Sol Greenspan, Data and activities: Exploiting hierarchies of classes, Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, p.98-100, June 23-26, 1980, Pingree Park, Colorado, United States
• 4: Borgida, A. T, Mylopoulos, J, Wong, H K T, Methodological & Computer Aids for Interactive Info Sys Design, IFIP Working Conf on Automated Tools for Information Systems Design & Dev, New Orleans, Jan, 1982
• 5: Michael Lawrence Brodie, Specification and verification of data base semantic integrity., 1978
• 6: Michael L. Brodie, Research issues in database specification, ACM SIGMOD Record, v.13 n.3, p.42-45, April 1983 [doi>10.1145/984532.984536]
• 7: E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
• 8: E. F. Codd, Extending the database relational model to capture more meaning, ACM Transactions on Database Systems (TODS), v.4 n.4, p.397-434, Dec. 1979 [doi>10.1145/320107.320109]
• 9: Davis, R, Content Reference Reasoning About Rules, Artificial Intelligence, 15, 3, pp 223--239
• 10: Amaryllis Deliyanni , Robert A. Kowalski, Logic and semantic networks, Communications of the ACM, v.22 n.3, p.184-192, March 1979 [doi>10.1145/359080.359090]
• 11: L. Peter Deutsch, Constraints: A uniform model for data and control, Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, p.118-120, June 23-26, 1980, Pingree Park, Colorado, United States
• 12: Nicholas V. Findler, Associative Networks: The Representation and Use of Knowledge by Computers, Academic Press, Inc., Orlando, FL, 1979
• 13: Goldfine, A. (editor) Information Resource Management --- Strategies and Tools, Database Directions III Workshop Report, NBS Special Publication 500-92, 1982
• 14: Michael Hammer , Dennis McLeod, A framework for data base semantic integrity, Proceedings of the 2nd international conference on Software engineering, p.498-504, October 13-15, 1976, San Francisco, California, United States
• 15: Hecht, M S, Kerschberg, L, Update Semantics for the Functional Data Model, Database Research Report, No 4, Bell Labs, Holmdel, New Jersey, 1981
• 16: Hendrix, G G, Encoding Knowledge in Partitioned Networks, in Associative Networks, ed Findler, N. Academic Press, NY, 1979, pp 51--92
• 17: Hewitt, C, PLANNER, A Language for Proving Theorems in Robots, Proc IJC Artificial Intelligence, 2, 1971
• 18: Kerschberg, L, Pacheco, J E, A Functional Data Base Model, Tech Report, Pontificia Univ Catolica, Rio de Janeiro, Jan 1976
• 19: Leveson, N G, Applying Behavioral Abstraction to Information System Design and Integrity, Tech Report #47, Lab of Medical Information Science, Univ Cal, San Francisco, March 1980
• 20: Levesque, H J, Mylopoulos, J, A Procedural Semantics for Semantic Networks, in Associative Networks, ed Findler, N, Academic Press, NY, 1979, pp 93--120
• 21: Locasso, R, Scheid, J, Schorre, V, Eggert, P, The Ina Jo Specification Language Reference Manual, TM-(L)-6021/001/00, System Development Corp, Santa Monica, CA., Jan 1980
• 22: Lundberg, B, IMT --- Information Modeling Tool, Automated Tools for Information Systems Design, eds H-J Schneider and A. I Wasserman, North Holland, 1982, pp 21--30
• 23: John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980 [doi>10.1145/320141.320150]
• 24: Quillian, M R, Semantic Memory, in Semantio Information Processing, ed Minsky, M, MIT Press, pp 216--270
• 25: Reiter, R, On the Integrity of Typed First Order Data Bases, in Advances in Data Base Theory, Plenum Press, 1981, pp 137--157
• 26: Robinson, L, Roubin, O., SPECIAL --- A Specification and Assertion Language, SRI, Menlo Park, CA, Jan 1977
• 27: Yehoshua Sagiv , Claude Delobel , D. Scott Parker, Jr. , Ronald Fagin, An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic, Journal of the ACM (JACM), v.28 n.3, p.435-453, July 1981 [doi>10.1145/322261.322263]
• 28: Schubert, L, Extending the Expressive Power of Semantic Nets, Artificial Intelligence, 7, pp 163--198
• 29: Shepherd, A W, PRISM A Constraint-Based Prototyping Information System Manager, MS Thesis, Dept Computer Science, Univ South Carolina, 1983
• 30: David W. Shipman, The functional data model and the data languages DAPLEX, ACM Transactions on Database Systems (TODS), v.6 n.1, p.140-173, March 1981 [doi>10.1145/319540.319561]
• 31: Sibley, E H, Kerschberg, L. Data Model and Data Architecture Considerations, Proc National Computer Conference, AFIPS Press (June 1977) pp 85--96
• 32: John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
• 33: Michael Stonebraker , Gerald Held , Eugene Wong , Peter Kreps, The design and implementation of INGRES, ACM Transactions on Database Systems (TODS), v.1 n.3, p.189-222, Sept. 1976 [doi>10.1145/320473.320476]
• 34: Stonebraker, M, Application of Artificial Intelligence Techniques to Database Systems, Mem UCB/ERL M82/31, Berkeley, May 1982
• 35: Carlo Zaniolo , Miachel A. Meklanoff, On the design of relational database schemata, ACM Transactions on Database Systems (TODS), v.6 n.1, p.1-47, March 1981 [doi>10.1145/319540.319542]