Verification of database-driven systems via amalgamation

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2013, Pages 63-74

  Bojańczyk, Mikołaj ^a   Segoufin, Luc ^b   Torunczyk, Szymon ^a  

^a UNIVERSITY OF WARSAW   (Poland)

^b INRIA   (France)

Author keywords

Amalgamation; Database driven Systems; Fra ss classes; Register Automata

Indexed keywords

A TRANSITIONS; AMALGAMATION; FINITE NUMBER; REACHABILITY; REGISTER AUTOMATA; RELATIONAL DATABASE; STATIC VERIFICATION; UNDECIDABILITY;

ALGORITHMS; AUTOMATA THEORY; METALS; QUERY PROCESSING; RELATIONAL DATABASE SYSTEMS; TREES (MATHEMATICS);

SEARCH ENGINES;

EID: 84880564869     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2463664.2465228     Document Type: Conference Paper

References (10)

1. Mikolaj Bojańczyk, Laurent Braud, Bartek Klin, and Slawomir Lasota. Towards nominal computation. In Symp. on Principles of Programming Languages (POPL), pages 401-412, 2012.
2. Mikolaj Bojańczyk, Bartek Klin, and Slawomir Lasota. Automata with group actions. In Symp. on Logic in Computer Science (LICS), pages 355-364, 2011.
3. Stéphane Demri and Ranko Lazic. LTL with the freeze quantifier and register automata. In Symp. on Logic in Computer Science (LICS), pages 17-26, 2006.
4. Alin Deutsch, Richard Hull, Fabio Patrizi, and Victor Vianu. Automatic verification of data-centric business processes. In Intl. Conf. on Database Theory (ICDT), 2009.
5. Alin Deutsch, Liying Sui, and Victor Vianu. Specification and verification of data-driven web applications. J. Comput. Syst. Sci., 73(3): 442-474, 2007.
6. Alin Deutsch, Liying Sui, Victor Vianu, and Dayou Zhou. A system for specification and verification of interactive, data-driven web applications. In Intl. Conf. on Management of Data (SIGMOD), 2006.
7. W. Hodges. A shorter model theory. Cambridge Univerity Press, 1997.
8. Sheila A. McIlraith, Tran Cao Son, and Honglei Zeng. Semantic web services. IEEE Intelligent Systems, 16(2): 46-53, 2001.
9. Luc Segoufin and Szymon Toruńczyk. Automata based verification over linearly ordered data domains. In Intl. Symp. on Theoretical Aspects of Computer Science (STACS), 2011.
10. Victor Vianu. Automatic verification of database-driven systems: a new frontier. In Intl. Conf. on Database Theory (ICDT), pages 1-13, 2009.