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: 5.1725247e-05
Overall Rank: 12,494 | 13.17%
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
2,070	Logical Foundations of Peer-To-Peer Data Integration	2004	PODS	9.2898634e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
4,028	Specification and Verification of Data-driven Web Services	2004	PODS	7.016796e-05
12,040	Collaborative Data-Driven Workflows: Think Global, Act Local	2013	PODS	5.1725247e-05
7,263	Static Analysis of Active XML Systems	2008	PODS	5.7145971e-05
4,040	On the Complexity of Deriving Schema Mappings from Database Instances	2008	PODS	7.0081757e-05
2,119	Automated Creation of a Forms-based Database Query Interface	2008	VLDB	9.1999643e-05
9,186	Forms Approach to Requirements Specification for Database Design	1983	SIGMOD	5.371468e-05
7,386	Verification of Hierarchical Artifact Systems	2016	PODS	5.6897772e-05
12,176	Determining Relevance of Accesses at Runtime	2011	PODS	5.1725247e-05
2,601	Logic Based Modeling and Analysis of Workflows (Extended Abstract)	1998	PODS	8.4269022e-05
12,163	Querying Schemas With Access Restrictions	2012	VLDB	5.1725247e-05