-
2
-
-
57849084676
-
Typechecking XML views of relational databases
-
Alon, N., Milo, T., Neven, F., Suciu, D., and Vianu, V. 2003a. Typechecking XML views of relational databases. ACM Transactions on Computational Logic 4, 3, 315-354.
-
(2003)
ACM Transactions on Computational Logic
, vol.4
, Issue.3
, pp. 315-354
-
-
Alon, N.1
Milo, T.2
Neven, F.3
Suciu, D.4
Vianu, V.5
-
3
-
-
0038504807
-
XML with data values: Typechecking revisited
-
Alon, N., Milo, T., Neven, F., Suciu, D., and Vianu, V. 2003b. XML with data values: typechecking revisited. Journal of Computer and System Sciences 66, 4, 688-727.
-
(2003)
Journal of Computer and System Sciences
, vol.66
, Issue.4
, pp. 688-727
-
-
Alon, N.1
Milo, T.2
Neven, F.3
Suciu, D.4
Vianu, V.5
-
5
-
-
0004129081
-
-
W3C Working Draft
-
Boag, S., Chamberlin, D., Fernández, M. F., Florescu, D., Robie, J., and Siméon, J. 2005. XQuery 1.0: An XML Query Language. W3C Working Draft.
-
(2005)
XQuery 1.0: An XML Query Language
-
-
Boag, S.1
Chamberlin, D.2
Fernández, M.F.3
Florescu, D.4
Robie, J.5
Siméon, J.6
-
6
-
-
34250617163
-
Twovariable logic on data trees and xml reasoning
-
ACM Press, New York, NY, USA
-
Bojańczyk, M., David, C., Muscholl, A., Schwentick, T., and Segoufin, L. 2006. Twovariable logic on data trees and xml reasoning. In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM Press, New York, NY, USA, 10-19.
-
(2006)
PODS '06: Proceedings of the Twenty-fifth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
, pp. 10-19
-
-
Bojańczyk, M.1
David, C.2
Muscholl, A.3
Schwentick, T.4
Segoufin, L.5
-
7
-
-
4243581489
-
-
Unpublished manuscript, version 1
-
Brüggemann-Klein, A., Murata, M., and Wood, D. 2001. Regular tree and regular hedge languages over unranked alphabets. Unpublished manuscript, version 1.
-
(2001)
Regular Tree and Regular Hedge Languages over Unranked Alphabets
-
-
Brüggemann-Klein, A.1
Murata, M.2
Wood, D.3
-
8
-
-
0034165189
-
UnQL: A query language and algebra for semistructured data based on structural recursion
-
Buneman, P., Fernández, M., and Suciu, D. 2000. UnQL: a query language and algebra for semistructured data based on structural recursion. VLDB Journal 9, 1, 76-110.
-
(2000)
VLDB Journal
, vol.9
, Issue.1
, pp. 76-110
-
-
Buneman, P.1
Fernández, M.2
Suciu, D.3
-
9
-
-
0029376142
-
Principles of programming with complex objects and collection types
-
Buneman, P., Naqvi, S. A., Tannen, V., and Wong, L. 1995. Principles of programming with complex objects and collection types. Theor. Comput. Sci. 149, 1, 3-48.
-
(1995)
Theor. Comput. Sci.
, vol.149
, Issue.1
, pp. 3-48
-
-
Buneman, P.1
Naqvi, S.A.2
Tannen, V.3
Wong, L.4
-
10
-
-
0040274055
-
-
W3C Working Draft
-
Chamberlin, D., Fankhauser, P., Florescu, D., Marchiori, M., and Robie, J. 2003. XML Query Use Cases. W3C Working Draft.
-
(2003)
XML Query Use Cases
-
-
Chamberlin, D.1
Fankhauser, P.2
Florescu, D.3
Marchiori, M.4
Robie, J.5
-
11
-
-
9744246962
-
Types for path correctness of XML queries
-
Colazzo, D., Ghelli, G., Manghi, P., and Sartiani, C. 2004. Types for path correctness of XML queries. In Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming (ICFP 2004). 126-137.
-
(2004)
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming (ICFP 2004)
, pp. 126-137
-
-
Colazzo, D.1
Ghelli, G.2
Manghi, P.3
Sartiani, C.4
-
12
-
-
0004060205
-
-
Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S., and Tommasi, M. 2002. Tree automata techniques and applications. http://www.grappa.univ-lille3.fr/ tata/.
-
(2002)
Tree Automata Techniques and Applications
-
-
Comon, H.1
Dauchet, M.2
Gilleron, R.3
Jacquemard, F.4
Lugiez, D.5
Tison, S.6
Tommasi, M.7
-
13
-
-
33244480061
-
Containment of nested XML queries
-
Morgan Kaufmann
-
Dong, X., Halevy, A., and Tatarinov, I. 2004. Containment of nested XML queries. In Proceedings of the 30th VLDB Conference. Morgan Kaufmann, 132-143.
-
(2004)
Proceedings of the 30th VLDB Conference
, pp. 132-143
-
-
Dong, X.1
Halevy, A.2
Tatarinov, I.3
-
14
-
-
29844439590
-
-
W3C Working Draft
-
Draper, D., Fankhauser, P., Fernández, M. F., Malhotra, A., Rose, K., Rys, M., Siméon, J., and Wadler, P. 2005. XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Working Draft.
-
(2005)
XQuery 1.0 and XPath 2.0 Formal Semantics
-
-
Draper, D.1
Fankhauser, P.2
Fernández, M.F.3
Malhotra, A.4
Rose, K.5
Rys, M.6
Siméon, J.7
Wadler, P.8
-
15
-
-
2642520973
-
-
W3C Working Draft
-
Fernández, M. F., Malhotra, A., Marsh, J., Nagy, M., and Walsh, N. 2005. XQuery 1.0 and XPath 2.0 Data Model. W3C Working Draft.
-
(2005)
XQuery 1.0 and XPath 2.0 Data Model
-
-
Fernández, M.F.1
Malhotra, A.2
Marsh, J.3
Nagy, M.4
Walsh, N.5
-
16
-
-
1142275469
-
CDuce: An XML-centric general-purpose language
-
ACM Press
-
Frisch, A., Castagna, G., and Benzaken, V. 2003. CDuce: an XML-centric general-purpose language. In Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming. ACM Press, 51-63.
-
(2003)
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming
, pp. 51-63
-
-
Frisch, A.1
Castagna, G.2
Benzaken, V.3
-
17
-
-
35048843191
-
Satisfiability of XPath expressions
-
Lecture Notes in Computer Science, Springer
-
Hidders, J. 2004. Satisfiability of XPath expressions. In Database Programming Languages - DBPL 2003. Revised Papers. Lecture Notes in Computer Science, vol. 2921. Springer, 21-36.
-
(2004)
Database Programming Languages - DBPL 2003. Revised Papers
, vol.2921
, pp. 21-36
-
-
Hidders, J.1
-
20
-
-
13644276604
-
Regular expression types for XML
-
Hosoya, H., Vouillon, J., and Pierce, B. C. 2005. Regular expression types for XML. ACM Transactions on Programming Languages and Systems 27, 1, 46-90.
-
(2005)
ACM Transactions on Programming Languages and Systems
, vol.27
, Issue.1
, pp. 46-90
-
-
Hosoya, H.1
Vouillon, J.2
Pierce, B.C.3
-
21
-
-
84976718399
-
Containment of conjunctive queries: Beyond relations as sets
-
September
-
Ioannidis, Y. and Ramakrishnan, R. 1995. Containment of conjunctive queries: Beyond relations as sets. ACM Transactions on Database Systems 20, 3 (September), 288-324.
-
(1995)
ACM Transactions on Database Systems
, vol.20
, Issue.3
, pp. 288-324
-
-
Ioannidis, Y.1
Ramakrishnan, R.2
-
22
-
-
34948903143
-
On testing satisfiability of tree pattern queries
-
Morgan Kaufmann
-
Lakshmanan, L., Ramesh, G., Wang, H., and Zhao, Z. J. 2004. On testing satisfiability of tree pattern queries. In Proceedings of the 30th VLDB Conference. Morgan Kaufmann, 120-131.
-
(2004)
Proceedings of the 30th VLDB Conference
, pp. 120-131
-
-
Lakshmanan, L.1
Ramesh, G.2
Wang, H.3
Zhao, Z.J.4
-
24
-
-
35248830648
-
Typechecking top-down uniform unranked tree transducers
-
Lecture Notes in Computer Science, Springer- Verlag
-
Martens, W. and Neven, F. 2003. Typechecking top-down uniform unranked tree transducers. In Database Theory - ICDT 2003. Lecture Notes in Computer Science, vol. 2572. Springer- Verlag, 64-78.
-
(2003)
Database Theory - ICDT 2003
, vol.2572
, pp. 64-78
-
-
Martens, W.1
Neven, F.2
-
27
-
-
4243187063
-
Containment and equivalence for a fragment of XPath
-
Miklau, G. and Suciu, D. 2004. Containment and equivalence for a fragment of XPath. Journal of the ACM 51, 1, 2-45.
-
(2004)
Journal of the ACM
, vol.51
, Issue.1
, pp. 2-45
-
-
Miklau, G.1
Suciu, D.2
-
28
-
-
0033707829
-
Typechecking for XML transformers
-
ACM Press
-
Milo, T., Suciu, D., and Vianu, V. 2000. Typechecking for XML transformers. In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM Press, 11-22.
-
(2000)
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
, pp. 11-22
-
-
Milo, T.1
Suciu, D.2
Vianu, V.3
-
30
-
-
84892414233
-
Automata, logic, and XML
-
Lecture Notes in Computer Science, Springer
-
Neven, F. 2002a. Automata, logic, and XML. In Computer Science Logic - CSL 2002. Lecture Notes in Computer Science, vol. 2471. Springer, 2-26.
-
(2002)
Computer Science Logic - CSL 2002
, vol.2471
, pp. 2-26
-
-
Neven, F.1
-
31
-
-
0038180542
-
Automata theory for XML researchers
-
Neven, F. 2002b. Automata theory for XML researchers. ACM SIGMOD Record 31, 3, 39-46.
-
(2002)
ACM SIGMOD Record
, vol.31
, Issue.3
, pp. 39-46
-
-
Neven, F.1
-
32
-
-
35248872431
-
XPath containment in the presence of disjunction, DTDs, and variables
-
Springer
-
Neven, F. and Schwentick, T. 2003. XPath containment in the presence of disjunction, DTDs, and variables. In Database Theory - ICDT 2003. Lecture Notes in Computer Science, vol. 2572. Springer, 315-329.
-
(2003)
Database Theory - ICDT 2003. Lecture Notes in Computer Science
, vol.2572
, pp. 315-329
-
-
Neven, F.1
Schwentick, T.2
-
34
-
-
2542513559
-
Typechecking for semistructured data
-
Lecture Notes in Computer Science, Springer-Verlag
-
Suciu, D. 2001. Typechecking for semistructured data. In Database Programming Languages, 8th International Workshop, DBPL 2001, Revised Papers. Lecture Notes in Computer Science, vol. 2397. Springer-Verlag, 1-20.
-
(2001)
Database Programming Languages, 8th International Workshop, DBPL 2001, Revised Papers
, vol.2397
, pp. 1-20
-
-
Suciu, D.1
-
35
-
-
0001568609
-
-
Handbook of Formal Languages, Springer, Chapter 7
-
Thomas, W. 1997. Languages, Automata, and Logic. Handbook of Formal Languages, vol. 3. Springer, Chapter 7, 389-456.
-
(1997)
Languages, Automata, and Logic
, vol.3
, pp. 389-456
-
-
Thomas, W.1
-
37
-
-
0041918203
-
-
Ph.D. thesis, University of Pennsylvania
-
Wong, L. 1994. Querying nested collections. Ph.D. thesis, University of Pennsylvania.
-
(1994)
Querying Nested Collections
-
-
Wong, L.1
-
38
-
-
0003551091
-
-
W3C Recommendation
-
Yergeau, F., Bray, T., Paoli, J., Sperberg-McQueen, C. M., and Maler, E. 2004. Extensible Markup Language (XML) 1.0 (Third Edition). W3C Recommendation.
-
(2004)
Extensible Markup Language (XML) 1.0 (Third Edition)
-
-
Yergeau, F.1
Bray, T.2
Paoli, J.3
Sperberg-McQueen, C.M.4
Maler, E.5
|