An Equational Chase for Path-Conjunctive Queries, Constraints, and Views.

Lucian Popa, Val Tannen

Browse the full ICDT paper archive.