Querying schemas with access restrictions

Proceedings of the VLDB Endowment

Volumn 5, Issue 7, 2012, Pages 634-645

  Benedikt, Michael ^a   Bourhis, Pierre ^a   Ley, Clemens ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

QUERY LANGUAGES; TEMPORAL LOGIC; WEB CRAWLER;

ACCESS PATTERNS; ACCESS RESTRICTION; ANALYSIS PROBLEMS; AUTOMATON MODEL; COMPLEXITY RESULTS; LINEAR TIME TEMPORAL LOGIC; RELATIONAL DATABASE; RELATIONAL STRUCTURES;

QUERY PROCESSING;

EID: 84863769012     PISSN: None     EISSN: 21508097     Source Type: Conference Proceeding    
DOI: 10.14778/2180912.2180916     Document Type: Article

References (20)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236-269, 2000.
3. M. Benedikt, G. Gottlob, and P. Senellart. Determining relevance of accesses at runtime. In PODS, 2011.
4. A. Calì, D. Calvanese, and D. Martinenghi. Dynamic query optimization under access limitations and dependencies. J. UCS, 15(1):33-62, 2009.
5. A. Calì and D. Martinenghi. Conjunctive query containment under access limitations. In ER, 2008.
6. A. Chandra and M. Y. Vardi. The implication problem for functional and inclusion dependencies is undecidable. SIAM Journal on Computing, 14(3):671-677, 1985.
7. S. Chaudhuri and M. Y. Vardi. On the equivalence of recursive and nonrecursive Datalog programs. JCSS, 54(1):61-78, 1997.
8. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
9. E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. In ICDT, 2011.
10. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In ICDT, 2009.
11. A. Deutsch, B. Ludäscher, and A. Nash. Rewriting queries using views with access patterns under integrity constraints. Theor. Comput. Sci., 371(3):200-226, 2007.
12. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web applications. JCSS, 73:442-474, May 2007.
13. E. Emerson. Temporal and modal logic. In Handbook of Th. Comp. Sci., volume B. MIT, 1990.
14. C. Fritz, R. Hull, and J. Su. Automatic construction of simple artifact-based business processes. In ICDT, 2009.
15. C. Li. Computing complete answers to queries in the presence of limited access patterns. VLDB J., 12(3):211-227, 2003.
16. C. Li and E. Y. Chang. Answering queries with useful bindings. ACM TODS, 26(3):313-343, 2001.
17. A. Nash and B. Ludäscher. Processing first-order queries under limited access patterns. In PODS, 2004.
18. A. Rajaraman, Y. Sagiv, and J. D. Ullman. Answering queries using templates with binding patterns. In PODS, 1995.
19. M. Spielmann. Verification of relational transducers for electronic commerce. JCSS, 66(1):40-65, 2003.
20. J. D. Ullman. Principles of Database and Knowledge-Base Systems, V2. Comp. Sci. Press, 1989.