DBScholar

Back to papers

Inclusion dependencies and their interaction with functional dependencies (Extended abstract)

Summary: Complete axiomatization for inclusion dependencies (INDs); IND implication is PSPACE-complete; finite and unrestricted implication coincide for INDs. No finite/k-ary complete axiomatization exists for INDs+FDs (even arity ≤3); gives an iff condition for k-ary axiomatizations. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
h3879997bf3587c35
Venue
PODS
Year
1982
Pagerank
0.00027958527
Overall Rank
159 | 98.94%
DOI
10.1145/588111.588141

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{casanova_pods82,
        address = {New York, NY, USA},
        series = {{PODS} '82},
        title = {{Inclusion dependencies and their interaction with functional dependencies (Extended abstract)}},
        url = {https://dl.acm.org/doi/10.1145/588111.588141},
        doi = {10.1145/588111.588141},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Casanova, Marco A. and Fagin, Ronald and Papadimitriou, Christos H.},
        year = {1982}
}

Incoming Citations (Sorted by Pagerank)

Showing 39 of 39 citing papers.

Rank Citing Paper Year Venue Pagerank
136 Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) 1982 PODS 0.00029740459
209 Dependency Inference 1987 VLDB 0.00024877096
368 An Optimizing Prolog Front-End to a Relational Query System 1984 SIGMOD 0.00019864474
897 On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases 2003 PODS 0.00013204612
995 Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins 1985 PODS 0.00012635689
1,003 ILOG: Declarative Creation and Manipulation of Object Identifiers 1990 VLDB 0.00012597028
1,208 Towards a Sound View Integration Methodology 1983 PODS 0.00011538101
1,291 Extending Dependencies with Conditions 2007 VLDB 0.00011156154
1,361 Computing Optimal Repairs for Functional Dependencies 2018 PODS 0.00010917917
1,532 On Multi-Column Foreign Key Discovery 2010 VLDB 0.00010332696
2,069 An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) 1983 VLDB 9.0892916e-05
2,098 Functional and Inclusion Dependencies: A Graph Theoretic Approach 1984 PODS 9.0521246e-05
2,138 Logical Foundations of Peer-To-Peer Data Integration 2004 PODS 8.9737764e-05
2,594 Computing Cores for Data Exchange: New Algorithms and Practical Solutions 2005 PODS 8.2426092e-05
3,065 A Formal View Integration Method 1986 SIGMOD 7.6884149e-05
3,083 An Axiomatic Approach to Deciding Query Safety in Deductive Databases 1988 PODS 7.6632607e-05
3,218 Mapping a Semantic Database Model to the Relational Model 1987 SIGMOD 7.5212385e-05
3,503 On the Decidability and Finite Controllability of Query Processing in Databases with Incomplete Information 2006 PODS 7.2520222e-05
3,510 LAURA: A Formal Data Model and Her Logical Design Methodology 1983 VLDB 7.2468609e-05
3,529 Inference Rules for Functional and Inclusion Dependencies 1983 PODS 7.2297471e-05
3,541 Data Functions, Datalog and Negation (Extended Abstract) 1988 SIGMOD 7.2161746e-05
3,598 Functional Dependencies on Cyclic Database Schemes 1983 SIGMOD 7.1782813e-05
3,956 Enforcing Inclusion Dependencies and Referential Integrity 1988 VLDB 6.9003868e-05
3,968 Inclusion Dependencies and the Universal Instance 1983 PODS 6.8901775e-05
4,246 Divide & Conquer-based Inclusion Dependency Discovery 2015 VLDB 6.7061689e-05
4,437 Maximizing Conjunctive Views in Deletion Propagation 2011 PODS 6.6001218e-05
5,224 On the Correctness of Representing Extended Entity-Relationship Structures in the Relational Model 1989 SIGMOD 6.2208977e-05
7,273 Sort Sets in the Relational Model* (extended abstract) 1983 PODS 5.5688587e-05
7,805 Positive Higher-Order Queries 2010 PODS 5.4501544e-05
8,124 On the Properties of Extended Inclusion Dependencies 1986 VLDB 5.3942942e-05
8,979 Auto-BI: Automatically Build BI-Models Leveraging Local Join Prediction and Global Schema Graph 2023 VLDB 5.2443558e-05
11,009 Tursio for Credit Unions: Structured Data Search with Automated Context Graphs 2026 VLDB 4.9793485e-05
12,250 Information and Data Management at PUC-Rio and UFMG 2018 VLDB 4.9793485e-05
13,430 A Deductive Method for Entity-Relationship Modeling (Extended Abstract) 1989 VLDB 4.9793485e-05
13,433 Optimization of Relational Schemas Containing Inclusion Dependencies 1989 VLDB 4.9793485e-05
13,474 Independent Database Schemes Under Functional and Inclusion Dependencies 1987 VLDB 4.9793485e-05
13,484 ON FINITE FD-ACYCLICITY (Extended Abstract) 1986 PODS 4.9793485e-05
13,523 On Lossless Transformation of Database Schemes Not Necessarily Satisfying Universal Instance Assumption (preliminary version) 1984 PODS 4.9793485e-05
13,540 Algebraic Aspects of Relational Database Decomposition (Extended Abstract) 1983 PODS 4.9793485e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 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
136 Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract) 1982 PODS 0.00029740459
506 A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations 1977 SIGMOD 0.00017142422
770 Design Of Relational Views Over Network Schemas 1979 SIGMOD 0.00014089633
1,591 Compatible Attributes In A Universal Relation 1982 PODS 0.00010138039
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 6,834 Properties Of Database Schemata With Functional Dependencies 1984 PODS
2 8,982 Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability 2015 PODS
3 13,474 Independent Database Schemes Under Functional and Inclusion Dependencies 1987 VLDB
4 8,124 On the Properties of Extended Inclusion Dependencies 1986 VLDB
5 4,753 On The Complexity And Axiomatizability Of Consistent Database States 1984 PODS
6 4,582 Reasoning about Nested Functional Dependencies 1999 PODS
7 506 A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations 1977 SIGMOD
8 1,291 Extending Dependencies with Conditions 2007 VLDB
9 3,529 Inference Rules for Functional and Inclusion Dependencies 1983 PODS
10 2,098 Functional and Inclusion Dependencies: A Graph Theoretic Approach 1984 PODS