Two-variable logic and key constraints on data words
ICDT, pp. 138-149, 2011.
two-variable logicsuccessor relationtwo-variable sentenceself-contained expositiondata wordMore(6+)
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
Full Text (Upload PDF)
PPT (Upload PPT)