## The Power of Languages for the Manipulation of Complex Values (1995)

### Cached

### Download Links

- [www.sigmod.org]
- [www.vldb.org]
- [www.acm.org]
- [ftp.inria.fr]
- DBLP

### Other Repositories/Bibliography

Venue: | VLDB Journal |

Citations: | 48 - 0 self |

### BibTeX

@ARTICLE{Abiteboul95thepower,

author = {Serge Abiteboul and Catriel Beeri},

title = {The Power of Languages for the Manipulation of Complex Values},

journal = {VLDB Journal},

year = {1995},

volume = {4},

pages = {727--794}

}

### OpenURL

### Abstract

Abstract. Various models and languages for describing and manipulating hierar-chically structured data have been proposed. Algebraic, calculus-based, and logic-programming oriented languages have all been considered. This article presents a general model for complex values (i.e., values with hierarchical structures), and languages for it based on the three paradigms. The algebraic language generalizes those presented in the literature; it is shown to be related to the functional style of programming advocated by Backus (1978). The notion of domain independence (from relational databases) is defined, and syntactic restrictions (referred to as safety conditions) on calculus queries are formulated to guarantee domain inde-pendence. The main results are: The domain-independent calculus, the safe cal-culus, the algebra, and the logic-programming oriented language have equivalent expressive power. In particular, recursive queries, such as the transitive closure, can be expressed in each of the languages. For this result, the algebra needs the powerset operation. A more restricted version of safety is presented, such that the restricted safe calculus is equivalent to the algebra without the powerset. The results are extended to the case where arbitrary functions and predicates are used in the languages. Key Words. Database, query language, complex value, complex object, database model.