The power of Tarski's relation algebra on trees

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2022.100748 ◽

2022 ◽

pp. 100748

Author(s):

Jelle Hellings ◽

Yuqing Wu ◽

Marc Gyssens ◽

Dirk Van Gucht

Keyword(s):

Relation Algebra

Download Full-text

Hiding expressed using relation algebra with multi-relations-oblique lifting and lowering for unbalanced systems

Proceedings of the Fourth European Conference on Software Maintenance and Reengineering ◽

10.1109/csmr.2000.827304 ◽

2002 ◽

Cited By ~ 3

Author(s):

R.J. Bril ◽

L.M.G. Feijs ◽

A. Glas ◽

R.L. Krikhaar ◽

T. Winter

Keyword(s):

Relation Algebra

Download Full-text

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees

Information Systems ◽

10.1016/j.is.2019.101467 ◽

2020 ◽

Vol 89 ◽

pp. 101467 ◽

Cited By ~ 1

Author(s):

Jelle Hellings ◽

Marc Gyssens ◽

Yuqing Wu ◽

Dirk Van Gucht ◽

Jan Van den Bussche ◽

...

Keyword(s):

Transitive Closure ◽

Relation Algebra

Download Full-text

Software Development in Relation Algebra with Ampersand

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-57418-9_11 ◽

2017 ◽

pp. 177-192 ◽

Cited By ~ 2

Author(s):

Stef Joosten

Keyword(s):

Software Development ◽

Relation Algebra

Download Full-text

Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView

Computer Algebra in Scientific Computing - Lecture Notes in Computer Science ◽

10.1007/11870814_4 ◽

2006 ◽

pp. 49-63 ◽

Cited By ~ 2

Author(s):

Rudolf Berghammer

Keyword(s):

Relation Algebra ◽

Algorithmic Problems

Download Full-text

A Mechanised Proof System for Relation Algebra Using Display Logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-49545-2_18 ◽

1998 ◽

pp. 264-278 ◽

Cited By ~ 4

Author(s):

Jeremy E. Dawson ◽

Rajeev Goré

Keyword(s):

Relation Algebra ◽

Proof System ◽

Display Logic

Download Full-text

Relation Algebra and RelView in Practical Use: Construction of Special University Timetables

Relations and Kleene Algebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78913-0_4 ◽

2008 ◽

pp. 22-36

Author(s):

Rudolf Berghammer ◽

Britta Kehden

Keyword(s):

Relation Algebra

Download Full-text

Dependency Calculus: Reasoning in a General Point Relation Algebra

KI 2005: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/11551263_6 ◽

2005 ◽

pp. 49-63 ◽

Cited By ~ 7

Author(s):

Marco Ragni ◽

Alexander Scivos

Keyword(s):

Relation Algebra ◽

General Point

Download Full-text

A relation algebra which is not a cylindric reduct

Algebra Universalis ◽

10.1007/bf01182461 ◽

1990 ◽

Vol 27 (2) ◽

pp. 279-288 ◽

Cited By ~ 2

Author(s):

Roger D. Maddux

Keyword(s):

Relation Algebra

Download Full-text