Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data - SIGMOD '77 1977
DOI: 10.1145/509404.509414
|View full text |Cite
|
Sign up to set email alerts
|

A complete axiomatization for functional and multivalued dependencies in database relations

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
181
0
1

Year Published

1995
1995
2012
2012

Publication Types

Select...
6
2

Relationship

0
8

Authors

Journals

citations
Cited by 235 publications
(183 citation statements)
references
References 6 publications
1
181
0
1
Order By: Relevance
“…Cho U là tập các thuộc tính của lớp C và X, Y, Z, W ∈ U, dựa vào định lý trên và các kết quả của [3,6,8,11], ta có các luật suy dẫn fa-phụ thuộc sau.…”
Section: Fa-phụ Thuộcunclassified
“…Cho U là tập các thuộc tính của lớp C và X, Y, Z, W ∈ U, dựa vào định lý trên và các kết quả của [3,6,8,11], ta có các luật suy dẫn fa-phụ thuộc sau.…”
Section: Fa-phụ Thuộcunclassified
“…It is well known [3] that MVDs have a finite complete axiomatization. The above example demonstrates that whenever a dependency is derived using sound axioms, the inferred dependency is logically implied by the given input set.…”
Section: ) Axiomatizationmentioning
confidence: 99%
“…It is known that the following EMVD inference axioms are sound [3], [38] . That is, there exists a derivation sequence of the BEMVD from the conflict-free set of BEMVDs using the inference axioms (BE1)-(BE4).…”
Section: A Conflict-free Embedded Dependenciesmentioning
confidence: 99%
See 1 more Smart Citation
“…The the original method is ignoring information that could be used to infer more precise dependencies [1], [2] and [3]. This paper proposes an improved method using linear regression to calculate the dependencies using the given values and interpreting the scales and units.…”
Section: Introductionmentioning
confidence: 99%