When Data Dependencies over SQL Tables Meet the Logics of Paradox and S-3

Summary: Reduces implication of FDs/MVDs over SQL tables with nulls to paraconsistent logics: without NOT NULLs equivalent to propositional fragments of Priest’s Logic of Paradox. Extends to Boolean deps via S-3 (parametrized by NOT NULL attributes), exposing NOT NULLs as a tunable tractability/expressiveness knob. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1529
Venue: PODS
Year: 2010
Pagerank: 5.093636e-05
Overall Rank: 12,414 | 14.83%
DOI: 10.1145/1807085.1807126

Incoming Non-self Citations Over Time

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

Authors

1. Sven Hartmann (Clausthal University of Technology)
2. Sebastian Link (Victoria University of Wellington)

BibTeX Citation

@inproceedings{hartmann_pods10,
        address = {New York, NY, USA},
        series = {{PODS} '10},
        title = {{When Data Dependencies over SQL Tables Meet the Logics of Paradox and S-3}},
        url = {https://dl.acm.org/doi/10.1145/1807085.1807126},
        doi = {10.1145/1807085.1807126},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Hartmann, Sven and Link, Sebastian},
        year = {2010}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
12,055	SQL Schema Design: Foundations, Normal Forms, and Normalization	2016	SIGMOD	5.093636e-05

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
10	Extending the Data Base Relational Model to Capture More Meaning	1979	SIGMOD	0.0007727299
495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD	0.00017513721
613	Database Relations with Null Values (Extended Abstract)	1982	PODS	0.00015723523
1,671	A Normal Form for XML Documents	2002	PODS	0.00010043595

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,047	Functional and Inclusion Dependencies: A Graph Theoretic Approach	1984	PODS
2	4,160	The Interaction between Functional Dependencies and Template Dependencies	1980	SIGMOD
3	6,950	SQL Nulls and Two-Valued Logic	2023	PODS
4	3,529	First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies	1978	SIGMOD
5	3,609	Embedded Functional Dependencies and Data-completeness Tailored Database Design	2019	VLDB
6	495	A Complete Axiomatization For Functional And Multivalued Dependencies In Database Relations	1977	SIGMOD
7	4,487	Reasoning about Nested Functional Dependencies	1999	PODS
8	1,380	Null Values in Data Base Management: A Denotational Semantics Approach	1979	SIGMOD
9	3,925	A Formal Semantics of SQL Queries, Its Validation, and Applications	2018	VLDB
10	13,259	A Theory Of Data Dependencies Over Relational Expressions	1982	PODS