The $$\theta $$-Join as a Join with $$\theta $$

DOI10.1007/978-3-030-43520-2_4OpenAlexW3014574516MaRDI QIDQ5098712

Jules Desharnais, Bernhard Möller

Publication date: 30 August 2022

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-43520-2_4

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• CalcCheck
• Preference SQL

Cites Work

• Algebraic separation logic
• CalcCheck: a proof checker for teaching the ``Logical approach to discrete math
• An algebra of database preferences
• Reverse Exchange for Concurrency and Local Reasoning
• The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”
• Kleene algebra with domain
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The $$\theta $$-Join as a Join with $$\theta $$