joint work with Thomas Schwentick

Speaker(s)

Matthias Niewerth

Affiliation

Universität Bayreuth

Date

Jan. 14, 2015, 2:15 p.m.

Room

room 5870

Title in Polish

Reasoning about XML Constraints based on XML-to-relational mappings

Seminar

Seminar Automata Theory

---

I will introduce a framework for XML integrity constraints. An
XML-to-relational constraint consists of a mapping m, that maps trees to relations and a relational integrity constraint. We will have a look on
the complexity of the implication problem in the case where the mapping is based on tree patterns (of various kinds) and the relational
constraints are functional dependencies.

---