Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/36202
Title: | Input–Output Disjointness for Forward Expressions in the Logic of Information Flows | Authors: | AAMER, Heba VAN DEN BUSSCHE, Jan |
Issue Date: | 2021 | Publisher: | Schloss Dagstuhl | Source: | Yi, Ke; Wei, Zhewei (Ed.). 24th International Conference on Database Theory (ICDT 2021), Schloss Dagstuhl, (Art N° 8) | Series/Report: | Leibniz International Proceedings in Informatics (LIPIcs) | Series/Report no.: | 186 | Abstract: | Last year we introduced the logic FLIF (forward logic of information flows) as a declarative language for specifying complex compositions of information sources with limited access patterns. The key insight of this approach is to view a system of information sources as a graph, where the nodes are valuations of variables, so that accesses to information sources can be modeled as edges in the graph. This allows the use of XPath-like navigational graph query languages. Indeed, a well-behaved fragment of FLIF, called io-disjoint FLIF, was shown to be equivalent to the executable fragment of first-order logic. It remained open, however, how io-disjoint FLIF compares to general FLIF. In this paper we close this gap by showing that general FLIF expressions can always be put into io-disjoint form. 2012 ACM Subject Classification Software and its engineering → Semantics; Software and its engineering → Data flow languages; Theory of computation → Database query languages (principles) | Keywords: | expressive power;variable substitution;Composition | Document URI: | http://hdl.handle.net/1942/36202 | Link to publication/dataset: | https://drops.dagstuhl.de/opus/volltexte/2021/13716/ | ISBN: | 9783959771795 | DOI: | 10.4230/LIPIcs.ICDT.2021.8 | Rights: | © Heba Aamer and Jan Van den Bussche; licensed under Creative Commons License CC-BY 4.0 24th International Conference on Database Theory (ICDT 2021). | Category: | C1 | Type: | Proceedings Paper | Validations: | vabb 2024 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
LIPIcs-ICDT-2021-8.pdf | Published version | 707.73 kB | Adobe PDF | View/Open |
Page view(s)
50
checked on Sep 7, 2022
Download(s)
12
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.