Reasoning about keys for XML. (2002)

by P Buneman, S B Davidson, W Fan, C S Hara, W C Tan
Venue:In DBPL ’01: Revised Papers from the 8th International Workshop on Database Programming Languages,