PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems.

@inproceedings{DBLP:conf/sigmod/ShepherdK84,
  author    = {Allan Shepherd and
               Larry Kerschberg},
  editor    = {Beatrice Yormark},
  title     = {PRISM: A Knowledge Based System for Semantic Integrity Specification
               and Enforcement in Database Systems},
  booktitle = {SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts,
               June 18-21, 1984},
  publisher = {ACM Press},
  year      = {1984},
  pages     = {307-315},
  ee        = {http://doi.acm.org/10.1145/602259.602299, db/conf/sigmod/ShepherdK84.html},
  crossref  = {DBLP:conf/sigmod/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper presents a knowledge-based approach to the specification, design, implementation, and evolution of database applications. The knowledge base consits 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 models.

The 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 constraints.

The 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.

Copyright © 1984 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/smod7592 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

Online Edition: ACM Digital Library

References

[1]

...

[2]

...

[3]

...

[4]

...

[5]

...

[6]

Michael L. Brodie: Research Issues in Database Specification. SIGMOD Record 13(3): 42-45(1983) BibTeX

[7]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[8]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[9]

Randall Davis: Content Reference: Reasoning about Rules. Artif. Intell. 15(3): 223-239(1980) BibTeX

[10]

Amaryllis Deliyanni, Robert A. Kowalski: Logic and Semantic Networks. Commun. ACM 22(3): 184-192(1979) BibTeX

[11]

...

[12]

...

[13]

...

[14]

...

[15]

...

[16]

...

[17]

...

[18]

...

[19]

...

[20]

...

[21]

...

[22]

...

[23]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[24]

...

[25]

Raymond Reiter: On the Integrity of Typed First Order Data Bases. Advances in Data Base Theory 1979: 137-157 BibTeX

[26]

...

[27]

Yehoshua Sagiv, Claude Delobel, Douglas Stott Parker Jr., Ronald Fagin: An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic. J. ACM 28(3): 435-453(1981) BibTeX

[28]

Lenhart K. Schubert: Extending the Expressive Power of Semantic Networks. Artif. Intell. 7(2): 163-198(1976) BibTeX

[29]

...

[30]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX

[31]

...

[32]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[33]

Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976) BibTeX

[34]

...

[35]

Carlo Zaniolo, Michel A. Melkanoff: On the Design of Relational Database Schemata. ACM Trans. Database Syst. 6(1): 1-47(1981) BibTeX

Referenced by

1. Levent V. Orman: Differential Relational Calculus for Integrity Maintenance. IEEE Trans. Knowl. Data Eng. 10(2): 328-341(1998)
2. Nabil Kamel, Ping Wu, Stanley Y. W. Su: A Pattern-Based Object Calculus. VLDB J. 3(1): 53-76(1994)
3. Soochan Hwang, Sukho Lee: The Object-Oriented Relationship System for Managing Complex Relationships. DASFAA 1991: 391-400
4. Susan Darling Urban, Lois M. L. Delcambre: Constraint Analysis: A Design Process for Specifying Operations on Objects. IEEE Trans. Knowl. Data Eng. 2(4): 391-400(1990)
5. Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577
6. Tore Risch: Monitoring Database Objects. VLDB 1989: 445-453
7. Louiqa Raschid, Stanley Y. W. Su: A Parallel Processing Strategy for Evaluating Recursive Queries. VLDB 1986: 412-419
8. Xiaolei Qian, Gio Wiederhold: Knowledge-based Integrity Constraint Validation. VLDB 1986: 3-12
9. Qiming Chen: A Rule-Based Object/Task Modelling Approach. SIGMOD Conference 1986: 281-292
10. Gia Toan Nguyen: Semantic Data Engineering for Generalized Databases. ICDE 1986: 400-406