Principles of Programming with Complex Objects and Collection Types

Principles of Programming with Complex Objects and Collection Types (1995)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Peter Buneman , Shamim Naqvi , Val Tannen , Limsoon Wong

Venue:	Theoretical Computer Science
Citations:	111 - 28 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Principles of Programming with Complex Objects and Collection Types	user correction - Legacy Corrections
AUTHOR NAME	Peter Buneman	SVM HeaderParse 0.1
AUTHOR AFFIL	y	SVM HeaderParse 0.2
AUTHOR NAME	Shamim Naqvi	SVM HeaderParse 0.1
AUTHOR AFFIL	y	SVM HeaderParse 0.2
AUTHOR NAME	Val Tannen	SVM HeaderParse 0.1
AUTHOR AFFIL	z	SVM HeaderParse 0.2
AUTHOR NAME	Limsoon Wong	SVM HeaderParse 0.1
AUTHOR ADDR	Bellcore, 445 South Street, Morristown, NJ 07960-1910. Email	SVM HeaderParse 0.1
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 welldefined. In looking for limited forms of this operation that always give rise to well-defined operations, we find a number of close ...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	Theoretical Computer Science	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	3--48	INFERENCE
VOLUME	149	INFERENCE
CITATIONS	61 found	ParsCit 1.0