Tuple-Generating Dependencies Capture Complex Values (extended abstract)

From International Center for Computational Logic

Toggle side column

Tuple-Generating Dependencies Capture Complex Values (extended abstract)

Maximilian MarxMaximilian Marx,  Markus KrötzschMarkus Krötzsch
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values (extended abstract)
In Mario Alviano, Andreas Pieris, eds., Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry, volume 3203 of CEUR Workshop Proceedings, 97--103, September 2022. CEUR-WS.org
  • KurzfassungAbstract
    We review a recently introduced extension of Datalog that allows complex values constructed by nesting elements of the input database in sets and tuples. We study its complexity and show that it can be translated into existential rules for which the standard chase terminates on every input database. We identify a tractable fragment, for which membership is undecidable and propose decidable sufficient conditions for membership.
  • Projekt:Project: CPECScaDS.AICfaed
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{MK2022,
  author    = {Maximilian Marx and Markus Kr{\"{o}}tzsch},
  title     = {Tuple-Generating Dependencies Capture Complex Values (extended
               abstract)},
  editor    = {Mario Alviano and Andreas Pieris},
  booktitle = {Proceedings of the 4th International Workshop on the Resurgence
               of Datalog in Academia and Industry},
  series    = {CEUR Workshop Proceedings},
  volume    = {3203},
  publisher = {CEUR-WS.org},
  year      = {2022},
  month     = {September},
  pages     = {97--103}
}