The Space-Efficient Core of Vadalog
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Volume abs/1809.05951, 2019.
complexity datalog expressive power query answering reasoningMore(1+)
Vadalog is a system for performing complex reasoning tasks such as those required in advanced knowledge graphs. The logical core of the underlying Vadalog language is the warded fragment of tuple-generating dependencies (TGDs). This formalism ensures tractable reasoning in data complexity, while a recent analysis focusing on a practical i...More
Full Text (Upload PDF)