Monadic Datalog, Tree Validity, and Limited Access Containment

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

    Cited by: 1|Bibtex|Views13|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