Equivalence of Datalog queries is undecidable (Q4036288)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equivalence of Datalog queries is undecidable
scientific article

    Statements

    Equivalence of Datalog queries is undecidable (English)
    0 references
    0 references
    16 May 1993
    0 references

    Identifiers