Executable First-Order Queries in the Logic of Information Flows

DOI10.4230/LIPICS.ICDT.2020.4MaRDI QIDQ5874357zbMATH OpenOpenAlexFDO

Authors Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Bussche Jan van Den

Publication date 7 February 2023

Full work available at URL https://arxiv.org/abs/2210.00240

zbMATH Keywords

executable first-order logiclimited access patternlogic of information flows

Mathematics Subject Classification ID

Database theory (68P15)

Cited in

(3)

• Inputs, Outputs, and Composition in the Logic of Information Flows
• Executable first-order queries in the logic of information flows
• Input-output disjointness for forward expressions in the logic of information flows

This page was built for publication: Executable First-Order Queries in the Logic of Information Flows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5874357)