Invited Talk (Shared with DBPL).- Patterns and Types for Querying XML Documents.- Constraints and...