for View Updatability Checking of Graph Queries

[1]  Dan Suciu,et al.  Adding Structure to Unstructured Data , 1997, ICDT.

[2]  Dan Suciu,et al.  UnQL: a query language and algebra for semistructured data based on structural recursion , 2000, The VLDB Journal.

[3]  Dan Suciu.  Typechecking for Semistructured Data , 2001, DBPL.

[4]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[5]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[6]  Dan Suciu,et al.  A query language and optimization techniques for unstructured data , 1996, SIGMOD '96.

[7]  Kazutaka Matsuda,et al.  Bidirectionalization transformation based on automatic derivation of view complement functions , 2007, ICFP '07.

[8]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[9]  Kazutaka Matsuda,et al.  Bidirectionalizing graph transformations , 2010, ICFP '10.

[10]  Didier Rémy,et al.  Type inference for records in natural extension of ML , 1994 .

[11]  Barbara König,et al.  A general framework for types in graph rewriting , 2000, Acta Informatica.

[12]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[13]  Nils Klarlund,et al.  Graph types , 1993, POPL '93.

[14]  Atsushi Ohori,et al.  A polymorphic record calculus and its compilation , 1995, TOPL.

[15]  Umeshwar Dayal,et al.  On the correct translation of update operations on relational views , 1982, TODS.

[16]  Thomas A. Henzinger,et al.  Computing simulations on finite and infinite graphs , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

[17]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[18]  Benjamin C. Pierce,et al.  Boomerang: resourceful lenses for string data , 2008, POPL '08.

[19]  Bruno Courcelle,et al.  Monadic Second-Order Definable Graph Transductions: A Survey , 1994, Theor. Comput. Sci..