Monadic Datalog, Tree Validity, and Limited Access Containment

ACM Transactions on Computational Logic (TOCL), pp. 1-45, 2020.

Cited by: 1|Bibtex|Views22|Links
EI
Keywords:
Access patternsbinding patternsdeep Webmonadic datalogquery containment

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments