Notions of Dependency Satisfaction
Summary: Introduces two notions of dependency satisfaction—consistency (generalizes weak satisfaction; suits EGDs but conflicts with TGDs) and completeness (matches intuitive TGD semantics; awkward for EGDs)—framing them as alternative enforcement policies. Characterizes both via tableaux and first-order semantics, links their decision problems to dependency implication, and examines avoiding a universal relation scheme. (summarized by gpt-5-mini 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 |
|---|---|---|---|---|
| 3,383 | Independent and Separable Database Schemes | 1983 | PODS | 7.1535089e-05 |
| 3,931 | On The Complexity And Axiomatizability Of Consistent Database States | 1984 | PODS | 6.6192327e-05 |
| 5,322 | Constant Time Maintenance or The Triumph of the fd. | 1986 | PODS | 5.56739e-05 |
| 7,070 | Optimal Computation of Total Projections with Unions of Simple Chase Join Expressions | 1984 | SIGMOD | 4.8380576e-05 |
| 9,099 | The Revenge Of The Jd | 1983 | PODS | 4.3917473e-05 |
| 13,006 | On the Properties and Characterisation of Connection-trap-free Schemes (Extended Abstract) | 1986 | PODS | 4.1905499e-05 |
| 13,060 | Inverting Relational Expressions - A Uniform And Natural Technique For Various Database Problems | 1983 | PODS | 4.1905499e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 38 | Testing Implications Of Data Dependencies | 1979 | SIGMOD | 0.0007528369 |
| 131 | Can We Use The Universal Instance Assumption Without Using Nulls? | 1981 | SIGMOD | 0.00043719033 |
| 500 | Independent Database Schemas (Extended Abstract) | 1982 | PODS | 0.00021622167 |
| 2,512 | First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies | 1978 | SIGMOD | 8.6162269e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 13,071 | A Theory Of Data Dependencies Over Relational Expressions | 1982 | PODS | 4.1905499e-05 |
| 12,217 | Completeness of Queries over Incomplete Databases | 2011 | VLDB | 4.1905499e-05 |
| 1,960 | Inference Rules for Functional and Inclusion Dependencies | 1983 | PODS | 9.9543811e-05 |
| 2,064 | Functional and Inclusion Dependencies: A Graph Theoretic Approach | 1984 | PODS | 9.6485054e-05 |
| 3,503 | Dependency Satisfaction in Databases with Incomplete Information | 1984 | VLDB | 7.0332465e-05 |
| 105 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00049082041 |
| 1,405 | Extending Dependencies with Conditions | 2007 | VLDB | 0.00012174499 |
| 8,265 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB | 4.5412367e-05 |
| 3,931 | On The Complexity And Axiomatizability Of Consistent Database States | 1984 | PODS | 6.6192327e-05 |
| 8,871 | On The Satisfiability Of Dependency Constraints In Entity-Relationship Schemata | 1987 | VLDB | 4.4274172e-05 |