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

Prelegent(ci)

Matthias Niewerth

Afiliacja

Universität Bayreuth

Termin

14 stycznia 2015 14:15

Pokój

p. 5870

Tytuł w języku angielskim

joint work with Thomas Schwentick

Seminarium

Seminarium „Teoria automatów”

---

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.

---