Draft 15/5/2004 Formal Semantics for SchemaPath Paolo Marinelli Claudio Sacerdoti Coen Fabio Vitali May 2003 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy)