Digital Repository

RelMDD-A Library for Manipulating Relations Based on MDDs

DSpace/Manakin Repository

Show simple item record Atampore, Francis 2012-09-18T13:42:32Z 2012-09-18T13:42:32Z 2012-09-18
dc.description.abstract Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has been developed at Kiel University. RelView works within the standard model of relation algebras. On the other hand, relation algebras do have other models which may have different properties. For example, in the standard model we always have L;L=L (the composition of two (heterogeneous) universal relations yields a universal relation). This is not true in some non-standard models. Therefore, any example in RelView will always satisfy this property even though it is not true in general. On the other hand, it has been shown that every relation algebra with relational sums and subobjects can be seen as matrix algebra similar to the correspondence of binary relations between sets and Boolean matrices. The aim of my research is to develop a new system that works with both standard and non-standard models for arbitrary relations using multiple-valued decision diagrams (MDDs). This system will implement relations as matrix algebras. The proposed structure is a library written in C which can be imported by other languages such as Java or Haskell. en_US
dc.language.iso eng en_US
dc.publisher Brock University en_US
dc.subject Relations en_US
dc.subject ROMDD en_US
dc.subject Matrix Algebra en_US
dc.title RelMDD-A Library for Manipulating Relations Based on MDDs en_US
dc.type Electronic Thesis or Dissertation en_US M.Sc. Computer Science en_US Masters en_US
dc.contributor.department Department of Computer Science en_US Faculty of Mathematics and Science en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search The Repository


My Account


About the Digital Repository