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: hc2f3490c541ad69a
Venue: PODS
Year: 2007
Pagerank: 5.6693617e-05
Overall Rank: 6,769 | 54.63%
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,399	Query-Based Data Pricing	2012	PODS	8.5059294e-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,695	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width	2001	PODS	9.8317087e-05
2,055	Views and Queries: Determinacy and Rewriting	2005	PODS	9.1029941e-05
3,811	Lossless Regular Views	2002	PODS	6.9889033e-05
4,246	On the Content of Materialized Aggregate Views	2000	PODS	6.694623e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,516	Answering Queries Using Views with Arithmetic Comparisons	2002	PODS
2	5,249	Query Containment and Rewriting Using Views for Regular Path Queries Under Constraints	2003	PODS
3	7,288	Query Evaluation using Overlapping Views: Completeness and Efficiency	2006	SIGMOD
4	3,811	Lossless Regular Views	2002	PODS
5	72	Answering Queries Using Views (Extended Abstract)	1995	PODS
6	882	Rewriting Aggregate Queries Using Views	1999	PODS
7	2,579	Rewriting Queries Using Views in Description Logics	1997	PODS
8	2,055	Views and Queries: Determinacy and Rewriting	2005	PODS
9	4,533	View-Based Query Containment	2003	PODS
10	12,373	Bounded Query Rewriting Using Views	2016	PODS