Reasoning About Integrity Constraints for Tree-Structured Data

Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys. Reasoning About Integrity Constraints for Tree-Structured Data. In Wim Martens, Thomas Zeume, editors, 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. Volume 48 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Abstract

Abstract is missing.