@article{benedikt:hal-02307999, TITLE = {{Monadic Datalog, Tree Validity, and Limited Access Containment}}, AUTHOR = {Benedikt, Michael and Bourhis, Pierre and Gottlob, Georg and Senellart, Pierre}, URL = {https://inria.hal.science/hal-02307999}, JOURNAL = {{ACM Transactions on Computational Logic}}, PUBLISHER = {{Association for Computing Machinery}}, VOLUME = {21}, NUMBER = {1}, PAGES = {6:1-6:45}, YEAR = {2020}, DOI = {10.1145/3344514}, KEYWORDS = {Monadic datalog ; Access patterns ; Deep Web ; Query containment ; Binding patterns}, PDF = {https://inria.hal.science/hal-02307999/file/mdl.pdf}, HAL_ID = {hal-02307999}, HAL_VERSION = {v1}, }