Semantic acyclicity under constraints - Gottlob, G; Barceló, P; Pieris, A (35th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2016)