Monadic Datalog, Tree Validity, and Limited Access Containment
ACM Transactions on Computational Logic (TOCL), pp. 1-45, 2020.
Access patternsbinding patternsdeep Webmonadic datalogquery containment
We reconsider the problem of containment of monadic datalog (MDL) queries in unions of conjunctive queries (UCQs). Prior work has dealt with special cases of the problem but has left the precise complexity characterization open. In addition, the complexity of one important special case, that of containment under access patterns, was not k...More
Full Text (Upload PDF)
PPT (Upload PPT)