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,206 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013297347 |
| 2,284 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.1118342e-05 |
| 2,713 | Monitoring Database Objects | 1989 | VLDB | 8.2469829e-05 |
| 5,754 | A Parallel Processing Strategy for Evaluating Recursive Queries | 1986 | VLDB | 5.3391931e-05 |
| 8,225 | A Rule-Based Object/Task Modelling Approach | 1986 | SIGMOD | 4.550782e-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 |
|---|---|---|---|---|
| 7 | Extending the Data Base Relational Model to Capture More Meaning | 1979 | SIGMOD | 0.0015464728 |
| 12 | The Functional Data Model and the Data Language DAPLEX | 1979 | SIGMOD | 0.0011268747 |
| 98 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00050311487 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,220 | Business Policy Modeling and Enforcement in Databases | 2011 | VLDB | 4.1905499e-05 |
| 2,625 | Security and Inference in Multilevel Database and Knowledge-Base Systems | 1987 | SIGMOD | 8.4338391e-05 |
| 6,792 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9203196e-05 |
| 1,288 | Database Design Tools: An Expert System Approach | 1985 | VLDB | 0.00012779667 |
| 9,087 | Prism: Private Verifiable Set Computation over Multi-Owner Outsourced Databases | 2021 | SIGMOD | 4.3945143e-05 |
| 4,312 | SIM: A Database System Based on the Semantic Data Model | 1988 | SIGMOD | 6.2824978e-05 |
| 11,640 | Demonstration of a Multiresolution Schema Mapping System | 2019 | CIDR | 4.1905499e-05 |
| 2,284 | Knowledge-based Integrity Constraint Validation | 1986 | VLDB | 9.1118342e-05 |
| 1,677 | Graceful Database Schema Evolution: the PRISM Workbench | 2008 | VLDB | 0.00010929631 |
| 3,008 | Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++ | 2011 | VLDB | 7.72402e-05 |