REVIEW 1 cited by
Fundamentals of Order Dependencies
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Fundamentals of Order Dependencies
read the original abstract
Dependencies have played a significant role in database design for many years. They have also been shown to be useful in query optimization. In this paper, we discuss dependencies between lexicographically ordered sets of tuples. We introduce formally the concept of order dependency and present a set of axioms (inference rules) for them. We show how query rewrites based on these axioms can be used for query optimization. We present several interesting theorems that can be derived using the inference rules. We prove that functional dependencies are subsumed by order dependencies and that our set of axioms for order dependencies is sound and complete.
Forward citations
Cited by 1 Pith paper
-
EviDC: A Violation-Guided Algorithm for Incremental Denial Constraint Discovery
EviDC builds a prefix tree of existing denial constraints (DCTrie) and uses it to prune incremental evidence construction, reducing runtime and evidence size versus IncDC and 3DC on tested workloads.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.