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 the following: can we limit the recursion allowed by wardedness in order to obtain a formalism that provides a convenient syntax for expressing useful recursive statements, and at the same time achieves space-efficiency? After analyzing several real-life examples of warded sets of TGDs provided by our industrial partners, as well as recent benchmarks, we observed that recursion is often used in a restricted way: the body of a TGD contains at most one atom whose predicate is mutually recursive with a predicate in the head. We show that this type of recursion, known as piece-wise linear in the Datalog literature, is the answer to our main question. We further show that piece-wise linear recursion alone, without the wardedness condition, is not enough as it leads to the undecidability of reasoning. We finally study the relative expressiveness of the query languages based on (piece-wise linear) warded sets of TGDs.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Accepted manuscript, pdf, 866.0KB, Terms of use)
-
- Publisher copy:
- 10.1145/3294052.3319688
Authors
- Publisher:
- Association for Computing Machinery
- Host title:
- PODS '19 Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
- Journal:
- ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) More from this journal
- Pages:
- 270-284
- Publication date:
- 2019-06-25
- Acceptance date:
- 2018-11-03
- DOI:
- ISBN:
- 9781450362276
- Keywords:
- Pubs id:
-
pubs:953571
- UUID:
-
uuid:4488ed95-c2b4-40cc-9ff2-ac97d10b0c23
- Local pid:
-
pubs:953571
- Source identifiers:
-
953571
- Deposit date:
-
2018-12-20
- ARK identifier:
Terms of use
- Copyright holder:
- Berger et al
- Copyright date:
- 2019
- Notes:
- Copyright © 2019 Copyright held by the Authors. This is the accepted manuscript version of the paper. The final version is available online from Association for Computing Machinery at: https://doi.org/10.1145/3294052.3319688
If you are the owner of this record, you can report an update to it here: Report update to this record