Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/968
Title: | Equivalence and normal forms for the restricted and bounded fixpoint in the Nested Algebra. | Authors: | GYSSENS, Marc Suciu, Dan Van Gucht, Dirk |
Issue Date: | 2001 | Publisher: | ACM | Source: | Information and computation, 154(1). p. 85-117 | Abstract: | The nested model is an extension of the traditional, "flat" relational model in which relations can also have relation-valued entries. Its "default" query language, the nested algebra, is rather weak, unfortunately, since it is only a conservative extension of the traditional, "flat" relational algebra, and thus can only express a small fraction of the polynomial-time queries. Therefore, it was proposed to extend the nested algebra with a least-fixpoint construct, but the resulting language turned out to be too powerful: many inherently exponential queries could also be expressed. Two polynomial-time restrictions of the least-fixpoint closure of the nested algebra were proposed: the restricted leastfixpoint closure (by Gyssens and Van Gucht) and the bounded fixpoint closure (by Suciu). Here, we prove two results. First we show that that both restrictions are equivalent in expressive power. The proof technique relies on known encodings of nested relations into flat ones, and on a novel encoding method of nested relations into flat ones. | Document URI: | http://hdl.handle.net/1942/968 | ISSN: | 0890-5401 | e-ISSN: | 1090-2651 | DOI: | 10.1006/inco.2000.2882 | ISI #: | 000166731400003 | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2002 |
Appears in Collections: | Research publications |
Show full item record
SCOPUSTM
Citations
3
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
2
checked on Oct 13, 2024
Page view(s)
68
checked on Jul 28, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.