BIRDS: Programming view update strategies in Datalog

Summary: BIRDS enables declarative Datalog-based view-update strategies, addressing the ambiguity of updatable views. Validates well-behavedness, optimizes, compiles to PostgreSQL SQL, and emits counterexamples to diagnose and fix buggy Datalog programs. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 12157
Venue: VLDB
Year: 2020
Pagerank: -
Overall Rank: 13,285 | 7.58%
DOI: 10.14778/3415478.3415503

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
11,632	Programmable View Update Strategies on Relations	2020	VLDB	4.1945683e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
532	Answering Recursive Queries Using Views	1997	PODS	0.00020778506
586	DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views	2012	VLDB	0.00019685374
2,389	Choosing a View Update Translator by Dialog at View Definition Time	1986	VLDB	8.9124635e-05
2,252	Compiling Mappings to Bridge Applications and Databases	2007	SIGMOD	9.1976999e-05
6,932	Database Updates in Logic Programming	1988	PODS	4.8925595e-05
3,356	Relational Lenses: A Language for Updatable Views	2006	PODS	7.18009e-05
12,936	Declarative Expression of Deductive Database Updates	1989	PODS	4.1945683e-05
2,469	Updating Relational Databases through Object-Based Views	1991	SIGMOD	8.7346857e-05
9,570	Understanding the implications of view update policies	1985	VLDB	4.3254416e-05
11,632	Programmable View Update Strategies on Relations	2020	VLDB	4.1945683e-05