Tools
Tools
Priss, Uta (2006) FCA interpretation of relation algebra. In: 4th International Conference on Formal Concept Analysis., 13th -17th February 2006, Dresden, Germany.
Full text not available from this repository. (Request a copy)Abstract/Description
This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, "relation algebra" refers to the DeMorgan-Peirce-Schroeder-Tarski algebra and not to the "relational algebra" as described by Codd. The goal of this interpretation is to provide an algebraic formalisation of object-relational databases that is based on binary relations and thus closer to FCA and formal contexts than the traditional formalisation based on Codd. The formalisation provides insights into certain symmetries (among quantifiers) and the use of ternary relations and part-whole relations for building relational databases.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Print ISSN: | 0302-9743 |
| ISBN: | 978-3-540-32203-0 |
| Additional Information: | In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v 3874. Contains Proceedings, LNAI, Formal Concept Analysis & 4th International Conference, ICFCA 2006. Berlin: Springer-Verlag, 2006. |
| Uncontrolled Keywords: | Computer software; Object-orientation; Relational databases; Relational algebra; FCA; |
| University Divisions/Research Centres: | Faculty of Engineering, Computing and Creative Industries > School of Computing |
| Dewey Decimal Subjects: | 500 Science > 510 Mathematics > 512 Algebra 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 004 Data processing & computer science 000 Computer science, information & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data |
| Library of Congress Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics Q Science > QA Mathematics > QA76 Computer software |
| Item ID: | 1799 |
| Depositing User: | RAE Import |
| Date Deposited: | 04 Jun 2008 14:32 |
| Last Modified: | 04 Jun 2008 14:32 |
| URI: | http://researchrepository.napier.ac.uk/id/eprint/1799 |
Actions (login required)
| View Item |