Queries Determined by Views: Pack Your Views

Summary: Packed fragment (PF), a generalization of the guarded fragment (including packed (U)CQs), is complete for PF-to-PF rewritings: whenever Q is determined by views V there exists a PF rewriting Q' using only V, over both finite and unrestricted databases. Provides decision procedures and constructive algorithms to test determinacy and produce rewritings; contrasts with undecidability for full FO and non-completeness/open problems for CQs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1411
Venue: PODS
Year: 2007
Pagerank: 5.8204482e-05
Overall Rank: 6,624 | 54.56%
DOI: 10.1145/1265530.1265534

Incoming Non-self Citations Over Time

Authors

1. Maarten Marx (University of Amsterdam)

BibTeX Citation

@inproceedings{marx_pods07,
        address = {New York, NY, USA},
        series = {{PODS} '07},
        title = {{Queries Determined by Views: Pack Your Views}},
        url = {https://dl.acm.org/doi/10.1145/1265530.1265534},
        doi = {10.1145/1265530.1265534},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Marx, Maarten},
        year = {2007}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,342	Query-Based Data Pricing	2012	PODS	8.7217471e-05

Outgoing Citations (Sorted by Pagerank)

Showing 4 of 4 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
1,673	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width	2001	PODS	0.00010040854
1,991	Views and Queries: Determinacy and Rewriting	2005	PODS	9.344653e-05
3,717	Lossless Regular Views	2002	PODS	7.1752078e-05
4,155	On the Content of Materialized Aggregate Views	2000	PODS	6.866935e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,361	Answering Queries Using Views with Arithmetic Comparisons	2002	PODS
2	5,146	Query Containment and Rewriting Using Views for Regular Path Queries Under Constraints	2003	PODS
3	7,121	Query Evaluation using Overlapping Views: Completeness and Efficiency	2006	SIGMOD
4	3,717	Lossless Regular Views	2002	PODS
5	69	Answering Queries Using Views (Extended Abstract)	1995	PODS
6	869	Rewriting Aggregate Queries Using Views	1999	PODS
7	2,527	Rewriting Queries Using Views in Description Logics	1997	PODS
8	1,991	Views and Queries: Determinacy and Rewriting	2005	PODS
9	4,445	View-Based Query Containment	2003	PODS
10	12,029	Bounded Query Rewriting Using Views	2016	PODS