Conference item icon

Conference item

The space-efficient core of Vadalog

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 implementation led to the reasoning algorithm around which the Vadalog system is built. A fundamental question that has emerged in the context of Vadalog is t...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1145/3294052.3319688

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Association for Computing Machinery Publisher's website
Journal:
ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) Journal website
Pages:
270-284
Host title:
PODS '19 Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
Publication date:
2019-06-25
Acceptance date:
2018-11-03
DOI:
Source identifiers:
953571
ISBN:
9781450362276
Keywords:
Pubs id:
pubs:953571
UUID:
uuid:4488ed95-c2b4-40cc-9ff2-ac97d10b0c23
Local pid:
pubs:953571
Deposit date:
2018-12-20

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP