A Comprehensive Query Language for Provenance Information · Study