The Power of Tarski’s Relation Algebra on Trees

Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems ◽

10.1007/978-3-319-90050-6_14 ◽

2018 ◽

pp. 244-264 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Jeremy E. Dawson ◽

Rajeev Goré

Keyword(s):

Relation Algebra ◽

Proof System ◽

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 ◽

Author(s):

Marco Ragni ◽

Alexander Scivos

Keyword(s):

Relation Algebra ◽

Download Full-text

A relation algebra which is not a cylindric reduct

Algebra Universalis ◽

10.1007/bf01182461 ◽

1990 ◽

Vol 27 (2) ◽

pp. 279-288 ◽

Author(s):

Roger D. Maddux

Keyword(s):

Relation Algebra

Download Full-text

Terminological representation, natural language & relation algebra

GWAI-92: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0019019 ◽

2005 ◽

pp. 357-371 ◽

Author(s):

Renate A. Schmidt

Keyword(s):

Natural Language ◽

Relation Algebra

Download Full-text

A reduced upper bound for an edge-coloring problem from relation algebra

Algebra Universalis ◽

10.1007/s00012-019-0592-6 ◽

2019 ◽

Vol 80 (2) ◽

Author(s):

Jeremy F. Alm ◽

David A. Andrews

Keyword(s):

Upper Bound ◽

Edge Coloring ◽

Relation Algebra ◽

Coloring Problem

Download Full-text