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.

    Cited by: 4|Bibtex|Views6|Links
    EI
    Keywords:
    complexity datalog expressive power query answering reasoningMore(1+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments