T. W. Leung, B. Subramaniam, S. Vandenberg and S. B. Zdonik. Ordered types in the AQUA data model. In DBPL'93, pages 115--135.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....Extensions of datalog with sequences, which are similar to one dimensional arrays, are studied in recent papers of Mecca and Bonner [24, 25] They are interested in giving restrictions on the programs that ensure finiteness of the results. Other work on sequences in query languages includes [17, 29, 30]. In [29, 30] sequences are viewed as maps from linear orders to values, which is close to our approach of viewing arrays as functions. There are several approaches that treat arrays as functions. Note that this point of view is widely accepted in programming language theory, cf. 12] Maier and ....

....combines complex objects with multidimensional arrays. Complex objects are usually taken to mean free nestings of collections, such as sets, bags, and lists, with records and variants. They also often encorporate some notion of object identity. Such types have been studied extensively elsewhere [6, 7, 8, 9, 17, 19, 32]. Here, we restrict our attention to complex objects formed via free nestings of sets and tuples, that is, to nested relations. We choose to work within this simpler type framework in order to focus on the semantics of arrays; however, we see no obstacle to extending our model to a richer type ....

T. W. Leung, B. Subramaniam, S. Vandenberg and S. B. Zdonik. Ordered types in the AQUA data model. In DBPL'93, pages 115--135.

No context found.

T. W. Leung, B. Subramaniam, S. Vandenberg and S. B. Zdonik. Ordered types in the AQUA data model. In DBPL'93, pages 115--135.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC