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

Georg Gottlob, Reinhard Pichler, Emanuel Sallinger. Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. In Tova Milo, Diego Calvanese, editors, Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. pages 65-77, ACM, 2015. [doi]

Abstract

Abstract is missing.