A sound and complete axiomatization of embedded cross dependencies (Q759482)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A sound and complete axiomatization of embedded cross dependencies |
scientific article; zbMATH DE number 3881876
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sound and complete axiomatization of embedded cross dependencies |
scientific article; zbMATH DE number 3881876 |
Statements
A sound and complete axiomatization of embedded cross dependencies (English)
0 references
1984
0 references
A very concise paper which gives a sound and complete axiomatization of embedded cross dependencies within the relational data model. A set A of axioms is sound with respect to a set of dependencies F if every new dependency derived from F using A is implied by F. It is complete if every dependency implied by F is derivable from F using A.
0 references
soundness
0 references
completeness
0 references
axiomatization of embedded cross dependencies
0 references
relational data model
0 references
0.8749982
0 references
0.85724527
0 references
0.84720874
0 references
0.8467358
0 references
0.84227747
0 references
0 references
0 references
