Well-definedness and semantic type-checking for the nested relational calculus

[1]  Moshe Y. Vardi,et al.  The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..

[2]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[3]  Limsoon Wong,et al.  Normal forms and conservative properties for query languages over collection types , 1993, PODS.

[4]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[5]  Limsoon Wong,et al.  Querying Nested Collections , 1994 .

[6]  Limsoon Wong,et al.  Principles of Programming with Complex Objects and Collection Types , 1995, Theor. Comput. Sci..

[7]  John C. Mitchell,et al.  Foundations for programming languages , 1996, Foundation of computing series.

[8]  Dan Suciu,et al.  Deciding containment for queries with complex objects (extended abstract) , 1997, PODS '97.

[9]  Dan Suciu,et al.  Declarative specification of Web sites with Strudel , 2000, The VLDB Journal.

[10]  Douglas K. Barry,et al.  The Object Data Standard: ODMG 3.0 , 2000 .

[11]  Daniela Florescu,et al.  Quilt: An XML Query Language for Heterogeneous Data Sources , 2000, WebDB.

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

[13]  Typechecking for Semistructured Data , 2001, DBPL.

[14]  Noga Alon,et al.  Typechecking XML views of relational databases , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.

[15]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[16]  Alan R. Simon,et al.  Sql: 1999 Understanding Relational Language Components , 2002 .

[17]  Frank Neven,et al.  Typechecking Top-Down Uniform Unranked Tree Transducers , 2003, ICDT.

[18]  Dan Suciu,et al.  Typechecking for XML transformers , 2000, PODS '00.

[19]  Noga Alon,et al.  XML with data values: typechecking revisited , 2003, J. Comput. Syst. Sci..

[20]  Stijn Vansummeren,et al.  Deciding well-definedness of XQuery fragments , 2005, PODS.

[21]  Stijn Vansummeren.  Deciding Well-Definedness of First-Order, Object-Creating Operations over Tree-Structured , 2005 .

[22]  Stijn Vansummeren,et al.  On deciding well-definedness for query languages on trees , 2007, JACM.

[23]  Frank Neven,et al.  Frontiers of tractability for typechecking simple XML transformations , 2007, J. Comput. Syst. Sci..

[24]  Scott Boag,et al.  XQuery 1.0 : An XML Query Language , 2007 .