On Roth, Korth, and Silberschatz's extended algebra and calculus for nested relational databases

Date
1992
Authors
Tansel, A. U.
Garnett, Lucy
Advisor
Instructor
Source Title
ACM Transactions on Database Systems
Print ISSN
0362-5915
Electronic ISSN
Publisher
Volume
17
Issue
2
Pages
374 - 383
Language
English
Type
Article
Journal Title
Journal ISSN
Volume Title
Abstract

We discuss the issues encountered in the extended algebra and calculus languages for nested relations defined by Roth, Korth, and Silberschatz. Their equivalence proof between algebra and calculus fails because of the keying problems and the use of extended set operations. Extended set operations also have unintended side effects. Furthermore, their calculus seems to allow the generation of power sets, thus making it more powerful than their algebra.

Course
Other identifiers
Book Title
Keywords
Algebra, Computer programming languages, Set theory, Theorem proving, Equivalence of algebra and calculus, Nested relations, Relational algebra, Relational calculus, Relational database systems
Citation
Published Version (Please cite this version)