Normal Forms and Conservative Properties for Query Languages over Collection Types

Summary: Proves strong normalization and normal forms for collection-type query languages: for any input/output nesting heights i,o, definability (without the powerset operator) is independent of intermediate nesting height. Uniform for sets, bags, lists and variant types; generalizes Paredaens–Van Gucht and complements Grumbach–Vianu’s powerset negative results, with implications for query optimization. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h16226dd4df9741a4
Venue: PODS
Year: 1993
Pagerank: 8.9247938e-05
Overall Rank: 2,169 | 85.42%
DOI: 10.1145/153850.153853

Incoming Non-self Citations Over Time

Authors

1. Limsoon Wong (University of Pennsylvania)

BibTeX Citation

@inproceedings{wong_pods93,
        address = {New York, NY, USA},
        series = {{PODS} '93},
        title = {{Normal Forms and Conservative Properties for Query Languages over Collection Types}},
        url = {https://dl.acm.org/doi/10.1145/153850.153853},
        doi = {10.1145/153850.153853},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Wong, Limsoon},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 12 of 12 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,818	Deciding Containment for Queries with Complex Objects (Extended Abstract)	1997	PODS	9.5718481e-05
1,950	Relational Expressive Power of Constraint Query Languages	1996	PODS	9.3195393e-05
2,887	Towards an Effective Calculus for Object Query Languages	1995	SIGMOD	7.9076462e-05
6,048	Query Unnesting in Object-Oriented Databases	1998	SIGMOD	5.9048465e-05
6,689	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS	5.7074984e-05
6,805	Instance-Optimal Acyclic Join Processing Without Regret: Engineering the Yannakakis Algorithm in Column Stores	2025	VLDB	5.6780394e-05
7,232	A Query Language for NC	1994	PODS	5.579276e-05
7,484	Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure	1994	PODS	5.5128501e-05
8,005	New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions	1994	PODS	5.4085878e-05
9,634	Poisson Sampling over Acyclic Joins	2026	SIGMOD	5.146966e-05
12,499	An Approach towards the Study of Symmetric Queries	2014	VLDB	4.9793485e-05
13,312	Tutorial: Languages for Collection Types	1994	PODS	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
140	Remarks on the Algebra of Non First Normal Form Relations	1982	PODS	0.00029346895
434	The Format Model: A Theory of Database Organization (extended abstract)	1982	PODS	0.00018328281
2,751	Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions	1988	PODS	8.0562002e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	3,718	A Formal Semantics of SQL Queries, Its Validation, and Applications	2018	VLDB
2	13,312	Tutorial: Languages for Collection Types	1994	PODS
3	2,968	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS
4	7,805	Positive Higher-Order Queries	2010	PODS
5	13,387	On the power of Rule-Based Languages with Sets	1991	PODS
6	1,950	Relational Expressive Power of Constraint Query Languages	1996	PODS
7	13,933	A Dichotomy in the Intensional Expressive Power of Nested Relational Calculi augmented with Aggregate Functions and a Powerset Operator	2013	PODS
8	9,135	Equivalence of Nested Queries with Mixed Semantics	2009	PODS
9	4,426	Languages for Relational Databases over Interpreted Structures	1997	PODS
10	8,005	New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions	1994	PODS