東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Generating Finite Integral Relation ...

Zhang, Si.

Linked to FindBook

Google Book

Amazon

博客來

Generating Finite Integral Relation Algebras.

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Generating Finite Integral Relation Algebras./
Author:	Zhang, Si.
Description:	74 p.
Notes:	Source: Masters Abstracts International, Volume: 49-02, page: .
Contained By:	Masters Abstracts International49-02.
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=MR68198
ISBN:	9780494681985

Generating Finite Integral Relation Algebras.
Zhang, Si.

Generating Finite Integral Relation Algebras. - 74 p.

Source: Masters Abstracts International, Volume: 49-02, page: .

Thesis (M.Sc.)--Brock University (Canada), 2011.

Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra.

ISBN: 9780494681985Subjects--Topical Terms:

626642
Computer Science.

Generating Finite Integral Relation Algebras.
LDR:02072nam 2200253 4500 001 1393309
005 20110311132658.5
008 130515s2011 ||||||||||||||||| ||eng d
020 $a 9780494681985
035 $a (UMI)AAIMR68198
035 $a AAIMR68198
040 $a UMI $c UMI
100 1 $a Zhang, Si. $3 1600086
245 1 0 $a Generating Finite Integral Relation Algebras.
300 $a 74 p.
500 $a Source: Masters Abstracts International, Volume: 49-02, page: .
502 $a Thesis (M.Sc.)--Brock University (Canada), 2011.
520 $a Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra.
520 $a In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.
590 $a School code: 1476.
650 4 $a Computer Science. $3 626642
690 $a 0984
710 2 $a Brock University (Canada). $3 1018667
773 0 $t Masters Abstracts International $g 49-02.
790 $a 1476
791 $a M.Sc.
792 $a 2011
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=MR68198