A Theory Of Data Dependencies Over Relational Expressions

Summary: Formalizes a tableaux-based proof system for reasoning about a very broad class of data dependencies over relational expressions, subsuming prior dependency classes. Shows soundness and completeness, gives a decision procedure for a key subclass, and frames the method as a generalized chase for DB design. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 626
Venue: PODS
Year: 1982
Pagerank: 5.093636e-05
Overall Rank: 13,259 | 9.04%
DOI: 10.1145/588111.588143

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Marco A. Casanova (Pontifical Catholic University of Rio de Janeiro)

BibTeX Citation

@inproceedings{casanova_pods82,
        address = {New York, NY, USA},
        series = {{PODS} '82},
        title = {{A THEORY OF DATA DEPENDENCIES OVER RELATIONAL EXPRESSIONS}},
        url = {https://dl.acm.org/doi/10.1145/588111.588143},
        doi = {10.1145/588111.588143},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Casanova, Marco A.},
        year = {1982}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,180	Towards a Sound View Integration Methodology	1983	PODS	0.00011798223

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
40	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00046918506
495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD	0.00017513721

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,930	Expressiveness and Complexity of Order Dependencies	2013	VLDB
2	3,291	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS
3	3,222	Comprehensive Approach to the Design of Relational Database Schemes	1984	VLDB
4	1,537	Assumptions in Relational Database Theory	1982	PODS
5	3,750	Dependency Satisfaction in Databases with Incomplete Information	1984	VLDB
6	495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD
7	40	Testing Implications Of Data Dependencies	1979	SIGMOD
8	203	Dependency Inference	1987	VLDB
9	13,260	A Systematic Approach to Relational Database Theory	1982	SIGMOD
10	3,529	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD