Static Analysis and Query Answering for Incomplete Data Trees with Constraints Am´elie Gheerbrant1,2 , Leonid Libkin1 , and Juan Reutter1,3 1 School of Informatics, University of Edinburgh - 2-3 tree - Document - PDFSEARCH.IO

First Page	Meta Content
	Static Analysis and Query Answering for Incomplete Data Trees with Constraints Am´elie Gheerbrant1,2 , Leonid Libkin1 , and Juan Reutter1,3 1 School of Informatics, University of Edinburgh Add to Reading List Document Date: 2013-12-13 04:59:45 Open Document File Size: 197,80 KB Share Result on Facebook City Paris / / Facility University of Edinburgh LIAFA / / Organization In Section / University of Edinburgh LIAFA / Department of Computer Science / School of Informatics / Pontificia Universidad Catolica de Chile / / Position General / / ProgrammingLanguage XML / / Technology XML / dom / / SocialTag Tree XML Model theory Decomposition method Ω-automaton Computing Automata theory Tree automaton

Static Analysis and Query Answering for Incomplete Data Trees with Constraints Am´elie Gheerbrant1,2 , Leonid Libkin1 , and Juan Reutter1,3 1 School of Informatics, University of EdinburghAdd to Reading List