New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions
Summary: New techniques show that graph properties definable in nested-collection query languages (set/bag semantics with aggregates) are finite or cofinite, settling that parity, TC and balanced-tree tests are inexpressible in bag/nested-relational languages. Prove a bounded-degree property for the nested-relational language that yields a uniform source of many inexpressibility results. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Leonid Libkin (University of Pennsylvania)
- 2. Limsoon Wong (University of Pennsylvania)
BibTeX Citation
@inproceedings{libkin_pods94,
address = {New York, NY, USA},
series = {{PODS} '94},
title = {{New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions}},
url = {https://dl.acm.org/doi/10.1145/182591.182609},
doi = {10.1145/182591.182609},
booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
publisher = {Association for Computing Machinery},
author = {Libkin, Leonid and Wong, Limsoon},
year = {1994}
}Incoming Citations (Sorted by Pagerank)
Showing 6 of 6 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 388 | Incremental Maintenance of Views with Duplicates | 1995 | SIGMOD | 0.00019350381 |
| 1,469 | A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques | 1996 | SIGMOD | 0.00010562009 |
| 5,602 | Verifiable Properties of Database Transactions | 1996 | PODS | 6.0703115e-05 |
| 5,841 | On the Containment and Equivalence of Database Queries with Linear Constraints* (Extended Abstract) | 1997 | PODS | 5.9735439e-05 |
| 9,135 | Equivalence of Nested Queries with Mixed Semantics | 2009 | PODS | 5.2224867e-05 |
| 13,283 | Normalizing Incomplete Databases | 1995 | PODS | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 310 | Optimization of Real Conjunctive Queries | 1993 | PODS | 0.00021374145 |
| 1,919 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 9.3781849e-05 |
| 2,169 | Normal Forms and Conservative Properties for Query Languages over Collection Types | 1993 | PODS | 8.9247938e-05 |
| 2,515 | Towards Tractable Algebras for Bags (Extended Abstract) | 1993 | PODS | 8.3644485e-05 |
| 3,046 | Tractable Query Languages for Complex Object Databases | 1991 | PODS | 7.7144804e-05 |
| 7,232 | A Query Language for NC | 1994 | PODS | 5.579276e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 13,312 | Tutorial: Languages for Collection Types | 1994 | PODS |
| 2 | 11,834 | Data Path Queries over Embedded Graph Databases | 2022 | PODS |
| 3 | 2,515 | Towards Tractable Algebras for Bags (Extended Abstract) | 1993 | PODS |
| 4 | 1,919 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS |
| 5 | 1,950 | Relational Expressive Power of Constraint Query Languages | 1996 | PODS |
| 6 | 2,169 | Normal Forms and Conservative Properties for Query Languages over Collection Types | 1993 | PODS |
| 7 | 6,446 | Expressiveness of Structured Document Query Languages Based on Attribute Grammars (extended abstract) | 1998 | PODS |
| 8 | 9,135 | Equivalence of Nested Queries with Mixed Semantics | 2009 | PODS |
| 9 | 13,933 | A Dichotomy in the Intensional Expressive Power of Nested Relational Calculi augmented with Aggregate Functions and a Powerset Operator | 2013 | PODS |
| 10 | 4,426 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS |