A Deductive Capability for Data Management.

Charles Kellogg, Philip Klahr, Larry Travis

Browse the full VLDB paper archive.