• Heba Aamer
  • Bart Bogaerts
  • Dimitri SURINX
  • Eugenia Ternovska
  • Jan Van den Bussche

The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of a procedural nature can still be modeled in a declarative, logic-based fashion. In this paper, we focus on the task of query processing under limited access patterns, a well-studied problem in the database literature. We show that LIF is well-suited for modeling this task. Toward this goal, we introduce a variant of LIF called “forward” LIF, in a first-order setting. We define FLIFio, a syntactical fragment of forward LIF, and show that it corresponds exactly to the “executable” fragment of first-order logic defined by Nash and Ludäscher. The definition of FLIFio involves a classification of the free variables of an expression into “input” and “output” variables. Our result hinges on inertia and determinacy laws for forward LIF expressions, which are interesting in their own right. These laws are formulated in terms of the input and output variables.

Original languageEnglish
Title of host publication23rd International Conference on Database Theory (ICDT 2020)
EditorsCarsten Lutz, Christoph Jung
Pages4:1-4:14
Number of pages14
Volume155
ISBN (Electronic)978-3-95977-139-9}
DOIs
Publication statusPublished - 2020
Event23rd International Conference on Database Theory (ICDT 2020) - Copenhagen, Denmark
Duration: 30 Mar 20202 Apr 2020
Conference number: 23
https://diku-dk.github.io/edbticdt2020/

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Volume155
ISSN (Print)1868-8969
ISSN (Electronic)1868-8969

Conference

Conference23rd International Conference on Database Theory (ICDT 2020)
Abbreviated titleICDT
CountryDenmark
CityCopenhagen
Period30/03/202/04/20
Internet address

ID: 49766847