Prism
- 1 June 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 14 (2) , 307-315
- https://doi.org/10.1145/971697.602299
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 systemKeywords
This publication has 18 references indexed in Scilit:
- Research issues in database specificationACM SIGMOD Record, 1983
- Content reference: Reasoning about rulesArtificial Intelligence, 1980
- ConstraintsPublished by Association for Computing Machinery (ACM) ,1980
- Data and activitiesPublished by Association for Computing Machinery (ACM) ,1980
- Dynamic system specificationPublished by Association for Computing Machinery (ACM) ,1980
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- Logic and semantic networksCommunications of the ACM, 1979
- A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKSPublished by Elsevier ,1979
- ENCODING KNOWLEDGE IN PARTITIONED NETWORKSPublished by Elsevier ,1979
- A relational model of data for large shared data banksCommunications of the ACM, 1970