SHACL Satisfiability and Containment (Extended Paper).

Paolo Pareti George Konstantinidis Fabio Mogavero Timothy J. Norman

Published in: CoRR (2020)

Keyphrases

satisfiability problem
decision procedures
query containment
information systems
np complete
query optimization
propositional logic
data sets
genetic algorithm
computational complexity