Executable first-order queries in the logic of information flows

DOI10.46298/LMCS-20(2:6)2024MaRDI QIDQ6563053zbMATH OpenFDO

Authors Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche

Publication date 27 June 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(2:6)2024

zbMATH Keywords

compositionexpressive powerlimited access patternvariable substitution

Mathematics Subject Classification ID

Logic in computer science (03B70) Database theory (68P15)

Recommendations

• Flow logic
• Logic of infons, the propositional case
• scientific article; zbMATH DE number 972578
• The first-order logical environment
• Information flow under budget constraints

Cites work

• An algebra of modular systems: static and dynamic perspectives
• Dynamic predicate logic
• Dynamic query optimization under access limitations and dependencies
• Elements of finite model theory.
• Executable First-Order Queries in the Logic of Information Flows
• Generating plans from proofs
• Generating plans from proofs. The interpolation-based approach to query reformulation
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1841810 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Inputs, Outputs, and Composition in the Logic of Information Flows
• On the calculus of relations.
• Query containment for data integration systems
• Recursive query plans for data integration
• Relative expressive power of navigational querying on graphs using transitive closure
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The relational model of data and cylindric algebras

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 Q6563053)