Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability.

Georg Gottlob, Reinhard Pichler, Emanuel Sallinger

Browse the full PODS paper archive.