Inference Rules for Functional and Inclusion Dependencies

Summary: Provides a sound and complete set of inference rules for the combined implication problem of functional and inclusion dependencies (entailment over all finite and infinite databases). The rules deliberately violate the “natural” axiomatization conditions of [5], thereby circumventing prior negative results. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 645
Venue: PODS
Year: 1983
Pagerank: 7.3938918e-05
Overall Rank: 3,461 | 76.26%
DOI: 10.1145/588058.588067

Incoming Non-self Citations Over Time

Authors

1. John C. Mitchell (Laboratory for Computer Science; Massachusetts Institute of Technology)

BibTeX Citation

@inproceedings{mitchell_pods83,
        address = {New York, NY, USA},
        series = {{PODS} '83},
        title = {{Inference Rules for Functional and Inclusion Dependencies}},
        url = {https://dl.acm.org/doi/10.1145/588058.588067},
        doi = {10.1145/588058.588067},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Mitchell, John C.},
        year = {1983}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,159	Relational Transducers for Electronic Commerce	1998	PODS	0.00011898742
3,443	LAURA: A Formal Data Model and Her Logical Design Methodology	1983	VLDB	7.4116889e-05
4,094	Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints	1987	PODS	6.906603e-05

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 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.0007727299
134	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (Extended Abstract)	1982	PODS	0.00030343737
162	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS	0.00027886326
495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD	0.00017513721
1,577	Compatible Attributes In A Universal Relation	1982	PODS	0.00010310871
3,291	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS	7.5526697e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	3,291	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS
2	1,277	Extending Dependencies with Conditions	2007	VLDB
3	6,505	Inferences Involving Embedded Multivalued Dependencies and Transitive Dependencies	1980	SIGMOD
4	4,160	The Interaction between Functional Dependencies and Template Dependencies	1980	SIGMOD
5	203	Dependency Inference	1987	VLDB
6	4,659	On The Complexity And Axiomatizability Of Consistent Database States	1984	PODS
7	4,487	Reasoning about Nested Functional Dependencies	1999	PODS
8	495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD
9	162	Inclusion dependencies and their interaction with functional dependencies (Extended abstract)	1982	PODS
10	2,047	Functional and Inclusion Dependencies: A Graph Theoretic Approach	1984	PODS