Monadic Datalog, Tree Validity, and Limited Access Containment.

Michael Benedikt Pierre Bourhis Georg Gottlob Pierre Senellart

Published in: ACM Trans. Comput. Log. (2020)

Keyphrases

tree structure
access control
information retrieval
databases
data structure
index structure
decision problems