CONSTRAINT EQUATIONS: Declarative Expression of Constraints With Automatic Enforcement
Summary: Declarative Constraint Equations express cross-relational constraints; specified in application terms, automatically enforced. Prototype shows feasibility; algebraic rules yield derivation of new constraints and existential/universal quantification. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 7 of 7 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,206 | Deriving Production Rules for Constraint Maintenance | 1990 | VLDB | 0.00013297347 |
| 1,329 | Data Constructors: On the Integration of Rules and Relations | 1985 | VLDB | 0.00012563614 |
| 2,625 | Security and Inference in Multilevel Database and Knowledge-Base Systems | 1987 | SIGMOD | 8.4338391e-05 |
| 2,713 | Monitoring Database Objects | 1989 | VLDB | 8.2469829e-05 |
| 5,228 | A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management | 1992 | VLDB | 5.6150957e-05 |
| 5,640 | Rule Management in Object Oriented Databases: A Uniform Approach | 1991 | VLDB | 5.3969822e-05 |
| 6,792 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB | 4.9203196e-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 |
|---|---|---|---|---|
| 98 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00050311487 |
| 199 | Active Databases as a Paradigm for Enhanced Computing Environments | 1983 | VLDB | 0.00035058285 |
| 1,480 | Specification-Based Computing Environments | 1982 | VLDB | 0.00011720291 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,185 | Using Integrity Constraints to Provide Intensional Answers to Relational Queries | 1989 | VLDB | 4.3771771e-05 |
| 1,489 | On the Decidability of Query Containment under Constraints | 1998 | PODS | 0.00011687823 |
| 556 | Discovering Denial Constraints | 2013 | VLDB | 0.00020214701 |
| 1,353 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints | 1987 | PODS | 0.00012431009 |
| 7,174 | CONSTRAINT QUERY LANGUAGES (preliminary report) | 1990 | PODS | 4.8068344e-05 |
| 4,884 | Translation And Optimization Of Logic Queries: The Algebraic Approach | 1986 | VLDB | 5.8511369e-05 |
| 1,738 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS | 0.00010704219 |
| 8,012 | Compiling Query Constraints | 1994 | PODS | 4.6021663e-05 |
| 4,985 | Specification, Semantics, And Enforcement Of Dynamic Database Constraints | 1984 | VLDB | 5.7790376e-05 |
| 855 | Querying Constraints | 1990 | PODS | 0.00015877874 |