Efficient querying and maintenance of network provenance at internet-scale