1

Serge Abiteboul, Querying Semi-Structured Data, Proceedings of the 6th International Conference on Database Theory, p.1-18, January 08-10, 1997

2

S. Abiteboul, P. Buneman, and D. Suciu. Data on the Web. Morgan Kauffman, 1999.

3

Serge Abiteboul , Paris C. Kanellakis, Object identity as a query language primitive, Journal of the ACM (JACM), v.45 n.5, p.798-842, Sept. 1998  [doi>10.1145/290179.290182]

4

S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. Wiener. The LOREL query language for semistructured data. Journal of Digital Libraries, 1(1), 1997.

5

Serge Abiteboul , Victor Vianu, Procedural and declarative database update languages, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.240-250, March 1988, Austin, Texas, United States  [doi>10.1145/308386.308448]

6

Serge Abiteboul , Victor Vianu, Regular path queries with constraints, Journal of Computer and System Sciences, v.58 n.3, p.428-452, June 1999  [doi>10.1006/jcss.1999.1627]

7

Serge Abiteboul , Victor Vianu, Queries and computation on the Web, Theoretical Computer Science, v.239 n.2, p.231-255, May 28, 2000  [doi>10.1016/S0304-3975(99)00221-2]

8

A. Aho and J. Ullman. Translations on a context free grammar. Information and Control, 19(19):439--475, 1971.

9

Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu, Typechecking XML Views of Relational Databases, Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, p.421, June 16-19, 2001

10

Noga Alon , Tova Milo , Frank Neven , Dan Suciu , Victor Vianu, XML with data values: typechecking revisited, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.138-149, May 2001, Santa Barbara, California, United States  [doi>10.1145/375551.375570]

11

Marcelo Arenas , Wenfei Fan , Leonid Libkin, On verifying consistency of XML specifications, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543647]

12

Marcelo Arenas , Leonid Libkin, A normal form for XML documents, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543625]

13

Chaitan Baru , Amarnath Gupta , Bertram Ludäscher , Richard Marciano , Yannis Papakonstantinou , Pavel Velikhov , Vincent Chu, XML-based information mediation with MIX, Proceedings of the 1999 ACM SIGMOD international conference on Management of data, p.597-599, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States

14

Catriel Beeri , Tova Milo, Schemas for Integration and Translation of Structured and Semi-structured Data, Proceeding of the 7th International Conference on Database Theory, p.296-313, January 10-12, 1999

15

Geert Jan Bex , Sebastian Maneth , Frank Neven, A Formal Model for an Expressive Fragment of XSLT, Proceedings of the First International Conference on Computational Logic, p.1137-1151, July 01, 2000

16

A. Bruggemann-Klein, M. Murata, and D. Wood. Regular tree and regular hedge languages over unranked alphabets, 2001. Technical Report HKUST-TCSC-2001-0, Hong-Kong University of Science and Technology.

17

A. Brüggemann-Klein and D. Wood. Caterpillars: a context specification technique. Markup Languages, 2(1):81--106, 2000.

18

Peter Buneman , Susan Davidson , Wenfei Fan , Carmem Hara , Wang-Chiew Tan, Keys for XML, Proceedings of the 10th international conference on World Wide Web, p.201-210, May 01-05, 2001, Hong Kong, Hong Kong  [doi>10.1145/371920.371984]

19

Peter Buneman , Susan Davidson , Gerd Hillebrand , Dan Suciu, A query language and optimization techniques for unstructured data, Proceedings of the 1996 ACM SIGMOD international conference on Management of data, p.505-516, June 04-06, 1996, Montreal, Quebec, Canada

20

Peter Buneman , Wenfei Fan , Jérôme Siméon , Scott Weinstein, Constraints for semistructured data and XML, ACM SIGMOD Record, v.30 n.1, p.47-54, March 2001  [doi>10.1145/373626.373697]

21

Peter Buneman , Wenfei Fan , Scott Weinstein, Path constraints on semistructured and structured data, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.129-138, June 01-04, 1998, Seattle, Washington, United States  [doi>10.1145/275487.275502]

22

Peter Buneman , Wenfie Fan , Scott Weinstein, Interaction between path and type constraints, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.56-67, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States  [doi>10.1145/303976.303982]

23

Luca Cardelli , Giorgio Ghelli, A Query Language Based on the Ambient Logic, Proceedings of the 10th European Symposium on Programming Languages and Systems, p.1-22, April 02-06, 2001

24

Donald D. Chamberlin , Jonathan Robie , Daniela Florescu, Quilt: An XML Query Language for Heterogeneous Data Sources, Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases, p.1-25, May 18-19, 2000

25

S. Chawathe, H. Garcia-Molina, J. Hammer, K. Ireland, Y. Papakonstantinou, J. Ullman, and J. Widom. The TSIMMIS project: Integration of heterogeneous information sources. In IPJS, pages 7--18, 1994.

26

Vassilis Christophides , Sophie Cluet , Jérǒme Simèon, On wrapping query languages and efficient XML integration, Proceedings of the 2000 ACM SIGMOD international conference on Management of data, p.141-152, May 15-18, 2000, Dallas, Texas, United States

27

Sophie Cluet , Claude Delobel , Jérǒme Siméon , Katarzyna Smaga, Your mediators need data conversion!, Proceedings of the 1998 ACM SIGMOD international conference on Management of data, p.177-188, June 01-04, 1998, Seattle, Washington, United States

28

Alin Deutsch , Mary Fernandez , Daniela Florescu , Alon Levy , Dan Suciu, A query language for XML, Proceeding of the eighth international conference on World Wide Web, p.1155-1169, May 1999, Toronto, Canada

29

Joost Engelfriet , Hendrik Jan Hoogeboom , Jan-Pascal Van Best, Trips on trees, Acta Cybernetica, v.14 n.1, p.51-64, Feb 1999

30

Wenfei Fan , Leonid Libkin, On XML integrity constraints in the presence of DTDs, Journal of the ACM (JACM), v.49 n.3, p.368-406, May 2002  [doi>10.1145/567112.567117]

31

Wenfei Fan , Jérôme Siméon, Integrity constraints for XML, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.23-34, May 15-18, 2000, Dallas, Texas, United States  [doi>10.1145/335168.335172]

32

Mary Fernández , Daniela Florescu , Jaewoo Kang , Alon Levy , Dan Suciu, Catching the boat with Strudel: experiences with a Web-site management system, Proceedings of the 1998 ACM SIGMOD international conference on Management of data, p.414-425, June 01-04, 1998, Seattle, Washington, United States

33

Mary Fernández , Wang-Chiew Tan , Dan Suciu, SilkRoute: trading between relations and XML, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.33 n.1-6, p.723-745, June 2000

34

M. R. Garey and D. S. Johnson. Computers and Intractability. Freeman, 1979.

35

Ferenc Gécseg , Magnus Steinby, Tree languages, Handbook of formal languages, vol. 3: beyond words, Springer-Verlag New York, Inc., New York, NY, 1997

36

Allen Van Gelder , Kenneth A. Ross , John S. Schlipf, The well-founded semantics for general logic programs, Journal of the ACM (JACM), v.38 n.3, p.619-649, July 1991  [doi>10.1145/116825.116838]

37

Noa Globerman , David Harel, Complexity results for two-way and multi-pebble automata and their logics, Theoretical Computer Science, v.169 n.2, p.161-184, Dec. 5, 1996

38

Roy Goldman , Jennifer Widom, DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases, Proceedings of the 23rd International Conference on Very Large Data Bases, p.436-445, August 25-29, 1997

39

E. Grädel, P. Kolaitis, and M. Vardi. On the complexity of the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic, 3(1):53--69, 1997.

40

Joachim Hammer , Héctor García-Molina , Kelly Ireland , Yannis Papakonstantinou , Jeffrey Ullman , Jennifer Widom, Information translation, mediation, and mosaic-based browsing in the TSIMMIS system, Proceedings of the 1995 ACM SIGMOD international conference on Management of data, p.483, May 22-25, 1995, San Jose, California, United States

41

Haruo Hosoya , Benjamin C. Pierce, XDuce: A Typed XML Processing Language (Preliminary Report), Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases, p.226-244, May 18-19, 2000

42

Haruo Hosoya , Jérôme Vouillon , Benjamin C. Pierce, Regular expression types for XML, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.11-22, September 2000

43

Z. Ives, A. Levy, and D. Weld. Efficient evaluation of regular path expressions on streaming XML data. Univ. of Washington Tech. Rep. CSE000502.

44

Michael Kaminski , Nissim Francez, Finite-memory automata, Theoretical Computer Science, v.134 n.2, p.329-363, Nov. 21, 1994  [doi>10.1016/0304-3975(94)90242-9]

45

Phokion G. Kolaitis , Christos H. Papadimitriou, Why not negation by fixpoint?, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.231-239, March 1988, Austin, Texas, United States  [doi>10.1145/308386.308446]

46

David Konopnicki , Oded Shmueli, W3QS: A Query System for the World-Wide Web, Proceedings of the 21th International Conference on Very Large Data Bases, p.54-65, September 11-15, 1995

47

Dongwon Lee , Wesley W. Chu, Comparative analysis of six XML schema languages, ACM SIGMOD Record, v.29 n.3, p.76-87, Sept. 2000  [doi>10.1145/362084.362140]

48

B. Ludaescher, P. Mukhopadhyay, and Y. Papakon-stantinou. A transducer-based XML query processor. In Proc. VLDB Conf., 2002.

49

Sebastian Maneth , Frank Neven, Structured Document Transformations Based on XSL, Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming, p.80-98, September 01-03, 1999

50

Jason McHugh , Serge Abiteboul , Roy Goldman , Dallas Quass , Jennifer Widom, Lore: a database management system for semistructured data, ACM SIGMOD Record, v.26 n.3, p.54-66, Sept. 1997  [doi>10.1145/262762.262770]

51

Alberto O. Mendelzon , George A. Mihaila , Tova Milo, Querying the World Wide Web, Proceedings of the fourth international conference on on Parallel and distributed information systems, p.80-91, December 18-20, 1996, Miami Beach, Florida, United States

52

Tova Milo , Dan Suciu , Victor Vianu, Typechecking for XML transformers, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.11-22, May 15-18, 2000, Dallas, Texas, United States  [doi>10.1145/335168.335171]

53

Svetlozar Nestorov , Jeffrey D. Ullman , Janet L. Wiener , Sudarshan S. Chawathe, Representative Objects: Concise Representations of Semistructured, Hierarchial Data, Proceedings of the Thirteenth International Conference on Data Engineering, p.79-90, April 07-11, 1997

54

Andreas Neumann , Helmut Seidl, Locating Matches of Tree Patterns in Forests, Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, p.134-145, December 17-19, 1998

55

Frank Neven, Extensions of Attribute Grammars for Structured Document Queries, Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming, p.99-116, September 01-03, 1999

56

Frank Neven, Automata, Logic, and XML, Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic, p.2-26, September 22-25, 2002

57

Frank Neven, Automata theory for XML researchers, ACM SIGMOD Record, v.31 n.3, September 2002  [doi>10.1145/601858.601869]

58

Frank Neven, On the power of walking for querying tree-structured data, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543624]

59

Frank Neven , Jan Van Den Bussche, Expressiveness of structured document query languages based on attribute grammars, Journal of the ACM (JACM), v.49 n.1, p.56-100, January 2002  [doi>10.1145/505241.505245]

60

Frank Neven , Thomas Schwentick, Expressive and efficient pattern languages for tree-structured data (extended abstract), Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.145-156, May 15-18, 2000, Dallas, Texas, United States  [doi>10.1145/335168.335217]

61

Frank Neven , Thomas Schwentick, On the Power of Tree-Walking Automata, Proceedings of the 27th International Colloquium on Automata, Languages and Programming, p.547-560, July 09-15, 2000

62

Frank Neven , Thomas Schwentick, Query automata over finite trees, Theoretical Computer Science, v.275 n.1-2, p.633-674, March 28 2002  [doi>10.1016/S0304-3975(01)00301-2]

63

Frank Neven , Thomas Schwentick , Victor Vianu, Towards Regular Languages over Infinite Alphabets, Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, p.560-572, August 27-31, 2001

64

Yannis Papakonstantinou , Hector Garcia-Molina , Jennifer Widom, Object Exchange Across Heterogeneous Information Sources, Proceedings of the Eleventh International Conference on Data Engineering, p.251-260, March 06-10, 1995

65

Yannis Papakonstantinou , Victor Vianu, DTD inference for views of XML data, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.35-46, May 15-18, 2000, Dallas, Texas, United States  [doi>10.1145/335168.335173]

66

Yannis Papakonstantinou , Victor Vianu, Incremental Validation of XML Documents, Proceedings of the 9th International Conference on Database Theory, p.47-63, January 08-10, 2003

67

Peter Buneman , Susan B. Davidson , Dan Suciu, Programming Constructs for Unstructured Data, Proceedings of the Fifth International Workshop on Database Programming Languages, p.12, September 06-08, 1995

68

J. Robbie. J. Lapp. and D. Schach. XML query language (XQL). In The Query Languages Workshop (QL '98), 1998.

69

Thomas Schwentick, On Diving in Trees, Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, p.660-669, September 01, 2000

70

Luc Segoufin , Victor Vianu, Validating streaming XML documents, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 03-05, 2002, Madison, Wisconsin  [doi>10.1145/543613.543622]

71

Dan Suciu, The XML typechecking problem, ACM SIGMOD Record, v.31 n.1, March 2002  [doi>10.1145/507338.507360]

72

J. Thierry-Mieg and R. Durbin. Syntactic definitions for the ACeDB data base manager. Technical Report MRC-LMB xx.92, MRC Laboratory for Molecular Biology, Cambridge, UK, 1992.

73

Victor Vianu, A Web Odyssey: from Codd to XML, Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-15, May 2001, Santa Barbara, California, United States  [doi>10.1145/375551.375554]

Thomas Schwentick, Automata for XML---A survey, Journal of Computer and System Sciences, v.73 n.3, p.289-315, May, 2007

Luc Segoufin, Static analysis of XML processing with data values, ACM SIGMOD Record, v.36 n.1, March 2007

Sebastian Link , Thu Trinh, Know your limits: enhanced XML modeling with cardinality constraints, Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling, November 01-01, 2007, Auckland, New Zealand

Renzo Angles , Claudio Gutierrez, Survey of graph database models, ACM Computing Surveys (CSUR), v.40 n.1, p.1-39, February 2008

Sven Hartmann , Sebastian Link, Expressive, yet tractable XML keys, Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, March 24-26, 2009, Saint Petersburg, Russia

Sven Hartmann , Sebastian Link, Efficient reasoning about a robust XML key fragment, ACM Transactions on Database Systems (TODS), v.34 n.2, p.1-33, June 2009

Victor Vianu: colleagues