Reasoning About Embedded Dependencies Using Inclusion Dependencies (Q3460037)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reasoning About Embedded Dependencies Using Inclusion Dependencies
scientific article

    Statements

    Reasoning About Embedded Dependencies Using Inclusion Dependencies (English)
    0 references
    0 references
    12 January 2016
    0 references
    axiomatization
    0 references
    chase
    0 references
    implication problem
    0 references
    dependence logic
    0 references
    embedded dependency
    0 references
    tuple-generating dependency
    0 references
    equality-generating dependency
    0 references
    inclusion dependency
    0 references

    Identifiers