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
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,218 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013226899 |
| 2,283 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.105984e-05 |
| 2,707 | Monitoring Database Objects | 1989 | VLDB | 8.254766e-05 |
| 5,743 | A Parallel Processing Strategy for Evaluating Recursive Queries | 1986 | VLDB | 5.3442345e-05 |
| 8,227 | A Rule-Based Object/Task Modelling Approach | 1986 | SIGMOD | 4.5551494e-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 |
|---|---|---|---|---|
| 8 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.0015385917 |
| 12 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.0011248121 |
| 96 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00050819255 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,212 | Business Policy Modeling and Enforcement in Databases | 2011 | VLDB | 4.1945683e-05 |
| 2,621 | Security and Inference in Multilevel Database and Knowledge-Base Systems | 1987 | SIGMOD | 8.4419199e-05 |
| 6,791 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9250521e-05 |
| 1,292 | Database Design Tools: An Expert System Approach | 1985 | VLDB | 0.00012785373 |
| 9,090 | Prism: Private Verifiable Set Computation over Multi-Owner Outsourced Databases | 2021 | SIGMOD | 4.3987305e-05 |
| 4,319 | SIM: A Database System Based on the Semantic Data Model | 1988 | SIGMOD | 6.2885419e-05 |
| 11,636 | Demonstration of a Multiresolution Schema Mapping System | 2019 | CIDR | 4.1945683e-05 |
| 2,283 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.105984e-05 |
| 1,677 | Graceful Database Schema Evolution: the PRISM Workbench | 2008 | VLDB | 0.00010939366 |
| 3,011 | Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ | 2011 | VLDB | 7.7183382e-05 |