TY - GEN
T1 - Theorem about amplification of relational algebra by recursive objects
AU - Sokolova, Veronika V.
AU - Zamyatina, Oxana M.
PY - 2011
Y1 - 2011
N2 - This paper discusses relational algebra extended by recursive relations (tables). The interpretation of the recursive table is proposed, the closure of the extended relational algebra is proved, and a new approach to modeling a physical database structure is offered that is suitable for representing complicated hierarchical data sets. It combines methods of set theory for the recursive relations within the framework of a single modeling paradigm, which allows users to define self-similar, partially self-similar, or hierarchical sets. The use of recursive relations in the definitions of self-similar objects yields representations that can be rendered at varying levels of detail or precision at run time.
AB - This paper discusses relational algebra extended by recursive relations (tables). The interpretation of the recursive table is proposed, the closure of the extended relational algebra is proved, and a new approach to modeling a physical database structure is offered that is suitable for representing complicated hierarchical data sets. It combines methods of set theory for the recursive relations within the framework of a single modeling paradigm, which allows users to define self-similar, partially self-similar, or hierarchical sets. The use of recursive relations in the definitions of self-similar objects yields representations that can be rendered at varying levels of detail or precision at run time.
KW - database
KW - domain
KW - recursive table
KW - relational algebra
KW - relational operations
KW - tuple
UR - http://www.scopus.com/inward/record.url?scp=84555204272&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84555204272&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-25661-5_72
DO - 10.1007/978-3-642-25661-5_72
M3 - Conference contribution
AN - SCOPUS:84555204272
SN - 9783642256608
VL - 123
T3 - Advances in Intelligent and Soft Computing
SP - 591
EP - 596
BT - Advances in Intelligent and Soft Computing
ER -