Principles of programming with complex objects and collection types

Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong

Research output: Contribution to journalArticlepeer-review

Abstract

We present a new principle for the development of database query languages that the primitive operations should be organized around types. Viewing a relational database as consisting of sets of records, this principle dictates that we should investigate separately operations for records and sets. There are two immediate advantages of this approach, which is partly inspired by basic ideas from category theory. First, it provides a language for structures in which record and set types may be freely combined: nested relations or complex objects. Second, the fundamental operations for sets are closely related to those for other "collection types" such as bags or lists, and this suggests how database languages may be uniformly extended to these new types.

The most general operation on sets, that of structural recursion, is one in which not all programs are well-defined. In looking for limited forms of this operation that always give rise to well-defined operations, we find a number of close connection with exiting database languages, notably those developed for complex objects. Moreover, even though the general paradigm of structural recursion is shown to be no more expressive than one of the existing languages for complex objects, it possesses certain properties of uniformity that make it a better candidate for an efficient, practical language. Thus rather than developing query languages by extending, for example, relational calculus, we advocate a very powerful paradigm in which a number of well-known languages are to be found as natural sublanguages.
Original languageEnglish
Pages (from-to)3-48
Number of pages46
JournalTheoretical Computer Science
Volume149
Issue number1
DOIs
Publication statusPublished - 1995

Fingerprint

Dive into the research topics of 'Principles of programming with complex objects and collection types'. Together they form a unique fingerprint.

Cite this