PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems
Summary: Knowledge-based approach for semantic integrity across models in database applications. Explicit constraints govern object behavior; user goals become conjectures proven by PRISM's inference engine, via a compact constraint language and implementation. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Allan Shepherd (Hewlett Packard Enterprise; University of South Carolina)
- 2. Larry Kerschberg (University of South Carolina)
BibTeX Citation
@inproceedings{shepherd_sigmod84,
title = {{PRISM: A Knowledge Based System for Semantic Integrity Specification and Enforcement in Database Systems}},
author = {Shepherd, Allan and Kerschberg, Larry},
series = {{SIGMOD} '84},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/602259.602299},
url = {https://dl.acm.org/doi/10.1145/602259.602299},
year = {1984}
}
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,372 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00010898439 |
| 2,640 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 8.1805168e-05 |
| 3,037 | Monitoring Database Objects | 1989 | VLDB | 7.7313318e-05 |
| 5,692 | A Parallel Processing Strategy for Evaluating Recursive Queries | 1986 | VLDB | 6.0355337e-05 |
| 13,488 | A Rule-Based Object/Task Modelling Approach | 1986 | SIGMOD | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.00075944947 |
| 16 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.00059996338 |
| 144 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00029097107 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 12,698 | Business Policy Modeling and Enforcement in Databases | 2011 | VLDB |
| 2 | 3,537 | Security and Inference in Multilevel Database and Knowledge-Base Systems | 1987 | SIGMOD |
| 3 | 3,732 | Database Design Tools: An Expert System Approach | 1985 | VLDB |
| 4 | 7,053 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB |
| 5 | 9,343 | Prism: Private Verifiable Set Computation over Multi-Owner Outsourced Databases | 2021 | SIGMOD |
| 6 | 6,373 | SIM: A Database System Based on the Semantic Data Model | 1988 | SIGMOD |
| 7 | 12,131 | Demonstration of a Multiresolution Schema Mapping System | 2019 | CIDR |
| 8 | 2,640 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB |
| 9 | 2,073 | Graceful Database Schema Evolution: the PRISM Workbench | 2008 | VLDB |
| 10 | 4,656 | Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ | 2011 | VLDB |