Tutorial: Languages for Collection Types

Summary: Synthesizes category-theoretic operations to derive natural query languages for diverse collection types (sets, bags, lists, nested relations, arrays, trees), recovering relational algebra, nested algebra and datalog. Provides equational logics for optimization and links these languages to sequential and parallel query complexity while aligning with SQL-style syntax. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1026
Venue: PODS
Year: 1994
Pagerank: 4.1945683e-05
Overall Rank: 12,828 | 10.76%
DOI: -

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Val Tannen

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 21 of 21 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
97	Remarks on the Algebra of Non First Normal Form Relations	1982	PODS	0.0005080702
335	Optimization of Real Conjunctive Queries	1993	PODS	0.00027036073
352	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00026299604
421	Query Optimization in the Presence of Foreign Functions	1993	VLDB	0.00023711553
466	Querying and Updating the File*	1993	VLDB	0.00022453592
485	A New Approach to Database Logic	1984	PODS	0.00022085103
724	FAD, a Powerful and Simple Database Language	1987	VLDB	0.00017536758
1,297	Incomplete Objects - A Data Model for Design and Planning Applications	1991	SIGMOD	0.00012758233
1,783	Normal Forms and Conservative Properties for Query Languages over Collection Types	1993	PODS	0.00010568101
1,835	The Expressiveness of a Family of Finite Set Languages	1991	PODS	0.00010375854
1,879	A Call to Order	1993	PODS	0.00010232242
2,110	A Recursive Algebra and Query Optimization for Nested Relations	1989	SIGMOD	9.5315487e-05
2,317	Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference	1989	SIGMOD	9.0409573e-05
2,546	Towards Tractable Algebras for Bags (Extended Abstract)	1993	PODS	8.5701687e-05
2,632	A Transformation-Based Approach to Optimizing Loops in Database Programming Languages	1992	SIGMOD	8.4074026e-05
3,040	Tractable Query Languages for Complex Object Databases	1991	PODS	7.6707607e-05
3,337	SVP - a Model Capturing Sets, Streams, and Parallelism	1992	VLDB	7.2045821e-05
4,699	Semantic Representations and Query Languages for Or-sets	1993	PODS	5.9885891e-05
5,974	A Query Language for NC	1994	PODS	5.246329e-05
6,551	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS	5.0171671e-05
7,146	Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure	1994	PODS	4.8177747e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,520	Implementation and Analysis of a Parallel Collection Query Language	1996	VLDB	4.3323764e-05
5,503	Expressive power and data complexity of nonrecursive query languages for lists and trees (Extended Abstract)	2000	PODS	5.4738619e-05
6,551	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS	5.0171671e-05
8,704	Equivalence of Nested Queries with Mixed Semantics	2009	PODS	4.4647149e-05
1,835	The Expressiveness of a Family of Finite Set Languages	1991	PODS	0.00010375854
2,800	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS	8.1019352e-05
3,040	Tractable Query Languages for Complex Object Databases	1991	PODS	7.6707607e-05
12,847	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB	4.1945683e-05
4,346	Languages for Relational Databases over Interpreted Structures	1997	PODS	6.2725564e-05
7,782	New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions	1994	PODS	4.6523963e-05