Analyzing Workflows implied by Instance-Dependent Access Rules

Summary: Analyzes decidability of form-completability and semi-soundness for workflows implicitly generated by instance-dependent access rules in form-based web systems. Characterizes (un)decidability and complexity across fragments defined by path-language expressiveness and schema-tree depth, pinpointing boundaries for automatic workflow verification. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1381
Venue: PODS
Year: 2006
Pagerank: 4.1945683e-05
Overall Rank: 12,485 | 13.15%
DOI: -

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
1,769	Logical Foundations of Peer-To-Peer Data Integration	2004	PODS	0.00010619921

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
3,494	Specification and Verification of Data-driven Web Services	2004	PODS	7.040662e-05
12,032	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	4.1945683e-05
7,291	Static Analysis of Active XML Systems	2008	PODS	4.7741469e-05
3,921	On the Complexity of Deriving Schema Mappings from Database Instances	2008	PODS	6.6301252e-05
2,091	Automated Creation of a Forms-based Database Query Interface	2008	VLDB	9.5608989e-05
9,169	Forms Approach to Requirements Specification for Database Design	1983	SIGMOD	4.3849295e-05
6,915	Verification of Hierarchical Artifact Systems	2016	PODS	4.8925595e-05
12,168	Determining Relevance of Accesses at Runtime	2011	PODS	4.1945683e-05
2,143	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	9.4436896e-05
12,155	Querying Schemas With Access Restrictions	2012	VLDB	4.1945683e-05