Two-variable logic and key constraints on data words

    ICDT, pp. 138-149, 2011.

    Cited by: 8|Bibtex|Views3|Links
    EI
    Keywords:
    two-variable logicsuccessor relationtwo-variable sentenceself-contained expositiondata wordMore(6+)

    Abstract:

    The paper introduces key constraints for data words and shows that it is decidable whether, for a given two-variable sentence ϕ that can refer to the successor relation on positions and a set Κ of key constraints, there is a data string w that satisfies ϕ and respects Κ. Here, the formula is allowed to refer to the successor rel...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments