Relational calculus as a formal system

DOI10.5109/7170241MaRDI QIDQ6558048zbMATH OpenFDO

Authors Hitoshi Furusawa, Toshikazu Ishida, Yasuo Kawahara, Yoshihiro Mizoguchi

Publication date 18 June 2024

Published in Bulletin of Informatics and Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.5109/7170241

zbMATH Keywords

category theoryde Morgan-Schröder equivalenceformal systemrelational calculus

Mathematics Subject Classification ID

Statistics (62-XX) Computer science (68-XX)

Cites work

• Computer-supported exploration of a categorical axiomatization of modeloids
• Continuous Relations and Richardson’s Theorem
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 -- October 2, 2010. Proceedings
• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 3974258 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3186512 (Why is no real title available?)
• On the calculus of relations.
• Relational graph rewritings
• The representation of relational algebras
• Vorlesungen über die Algebra der Logik. III. Band. Algebra und Logik der Relative. Erste Abteilung.

This page was built for publication: Relational calculus as a formal system

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