Three easy pieces on schema mappings for tree-structured data

Claire David (1) , Filip Murlak (2)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge
2 Institute of Informatics [Warsaw]

Schema mappings specify how data organized under a source schema should be reorganized under a target schema. For tree-structured data, the interplay between these specifications and the complex structural conditions imposed by the schemas, makes schema mappings a very rich formalism. Classical data management tasks, well-understood in the relational model, once again become challenging theoretical problems. Recent results on non-mixing integrity constraints help to push the decid-ability frontier further for three such problems: consistency of mappings, membership in the composition of mappings, and query answering.

Domaines: Base de données [cs.DB]; Logique en informatique [cs.LO]; Théorie et langage formel [cs.FL]

Claire David, Filip Murlak. Three easy pieces on schema mappings for tree-structured data. AMW 2017, Jun 2017, Montevideo, Uruguay. pp.1-10. ⟨hal-01778169⟩