Tractable Query Languages for Complex Object Databases

Summary: Analyzes calculus-based queries on complex-object databases, proving that usage of higher-order types crucially affects query complexity. Shows fixpoint extensions (with range-restricted variants) capture PTIME under a “full-types” assumption, yielding tractable query languages. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h6ea38db49a291ebb
Venue: PODS
Year: 1991
Pagerank: 7.7108309e-05
Overall Rank: 3,047 | 79.53%
DOI: 10.1145/113413.113442

Incoming Non-self Citations Over Time

Authors

1. Stphane Grumbach (INRIA)
2. Victor Vianu (University of California San Diego)

BibTeX Citation

@inproceedings{grumbach_pods91,
        address = {New York, NY, USA},
        series = {{PODS} '91},
        title = {{Tractable Query Languages for Complex Object Databases}},
        url = {https://dl.acm.org/doi/10.1145/113413.113442},
        doi = {10.1145/113413.113442},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Grumbach, Stphane and Vianu, Victor},
        year = {1991}
}

Incoming Citations (Sorted by Pagerank)

Showing 8 of 8 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,515	Towards Tractable Algebras for Bags (Extended Abstract)	1993	PODS	8.3605462e-05
4,524	Functional and Predicative programming in OODB's	1992	PODS	6.5591235e-05
4,810	On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values	2005	PODS	6.4049669e-05
5,659	Dense-Order Constraint Databases (Extended Abstract)	1995	PODS	6.0453458e-05
7,234	A Query Language for NC	1994	PODS	5.576635e-05
7,414	On the Power of Algebras with Recursion	1993	SIGMOD	5.5316562e-05
8,010	New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions	1994	PODS	5.4060276e-05
13,318	Tutorial: Languages for Collection Types	1994	PODS	4.9769913e-05

Outgoing Citations (Sorted by Pagerank)

Showing 9 of 9 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
366	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019914615
559	A New Approach to Database Logic	1984	PODS	0.00016414522
828	Logic Programming With Sets	1987	PODS	0.00013608891
1,049	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS	0.00012293092
2,457	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.4335382e-05
2,751	Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions	1988	PODS	8.0523904e-05
2,970	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS	7.7976956e-05
3,799	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	7.0133698e-05
5,341	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS	6.1718886e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,336	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
2	6,693	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS
3	1,921	The Expressiveness of a Family of Finite Set Languages	1991	PODS
4	5,659	Dense-Order Constraint Databases (Extended Abstract)	1995	PODS
5	8,307	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
6	421	On the Complexity of Database Queries (Extended Abstract)	1997	PODS
7	3,184	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD
8	13,171	Fixed-Point Query Languages for Linear Constraint Databases	2000	PODS
9	4,561	A Query Language for List-Based Complex Objects	1994	PODS
10	2,970	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS