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: h2e8757f119f39b5d
Venue: PODS
Year: 1982
Pagerank: 4.9793485e-05
Overall Rank: 13,549 | 8.91%
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,208	Towards a Sound View Integration Methodology	1983	PODS	0.00011538101

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
41	Testing Implications Of Data Dependencies	1979	SIGMOD	0.00045899672
506	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD	0.00017142422

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,424	Expressiveness and Complexity of Order Dependencies	2013	VLDB
2	3,356	The Implication And Finite Implication Problems For Typed Template Dependencies	1982	PODS
3	1,562	Assumptions in Relational Database Theory	1982	PODS
4	3,287	Comprehensive Approach to the Design of Relational Database Schemes	1984	VLDB
5	3,807	Dependency Satisfaction in Databases with Incomplete Information	1984	VLDB
6	506	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD
7	41	Testing Implications Of Data Dependencies	1979	SIGMOD
8	209	Dependency Inference	1987	VLDB
9	13,550	A Systematic Approach to Relational Database Theory	1982	SIGMOD
10	3,602	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD