dc.contributor.author Ahmed, Zafor dc.date.accessioned 2010-10-26T15:14:11Z dc.date.available 2010-10-26T15:14:11Z dc.date.issued 2010-10-26 dc.identifier.uri http://hdl.handle.net/10464/3045 dc.description.abstract Given a heterogeneous relation algebra R, it is well known that the algebra of matrices with coefficient from R is relation algebra with relational sums that is not en_US necessarily finite. When a relational product exists or the point axiom is given, we can represent the relation algebra by concrete binary relations between sets, which means the algebra may be seen as an algebra of Boolean matrices. However, it is not possible to represent every relation algebra. It is well known that the smallest relation algebra that is not representable has only 16 elements. Such an algebra can not be put in a Boolean matrix form.[15] In [15, 16] it was shown that every relation algebra R with relational sums and sub-objects is equivalent to an algebra of matrices over a suitable basis. This basis is given by the integral objects of R, and is, compared to R, much smaller. Aim of my thesis is to develop a system called ReAlM - Relation Algebra Manipulator - that is capable of visualizing computations in arbitrary relation algebras using the matrix approach. dc.language.iso eng en_US dc.publisher Brock University en_US dc.subject Relation algebras en_US dc.subject Computer science -- Mathematics en_US dc.title ReAlM - a system to manipulate relations en_US dc.type Electronic Thesis or Dissertation en dc.degree.name M.Sc. Computer Science en_US dc.degree.level Masters en_US dc.contributor.department Department of Computer Science en_US dc.degree.discipline Faculty of Mathematics and Science en_US refterms.dateFOA 2021-07-30T01:34:13Z
﻿

### Files in this item

Name:
Brock_Ahmed_Zafor_2010.pdf
Size:
691.2Kb
Format:
PDF