The Implication Problem for Functional and Inclusion Dependencies is Undecidable (Q3740280)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Implication Problem for Functional and Inclusion Dependencies is Undecidable
scientific article

    Statements

    The Implication Problem for Functional and Inclusion Dependencies is Undecidable (English)
    0 references
    0 references
    0 references
    1985
    0 references
    axiomatization
    0 references
    data base dependency
    0 references
    functional dependency
    0 references
    inclusion dependency
    0 references
    recursive inseparability
    0 references
    relational data base
    0 references
    undecidability
    0 references

    Identifiers