The implication problem for functional and inclusion dependencies
Information and Control
The definition of Standard ML
The complexity of querying indefinite data about linearly ordered domains
Journal of Computer and System Sciences - Special issue: dedicated to the memory of Paris Kanellakis
Languages, automata, and logic
Handbook of formal languages, vol. 3
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Type inference for queries on semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
WWW '99 Proceedings of the eighth international conference on World Wide Web
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On wrapping query languages and efficient XML integration
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
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
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Towards static type checking for XSLT
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
ACM SIGMOD Record
ACM SIGMOD Record
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Type-Based XML Processing in Logic Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Proposal for an XML Data Definition and Manipulation Language
Proceedings of the VLDB 2002 Workshop EEXTT and CAiSE 2002 Workshop DTWeb on Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web-Revised Papers
Logic as a Query Language: From Frege to XML
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Typechecking XML views of relational databases
ACM Transactions on Computational Logic (TOCL)
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Web odyssey: from codd to XML
ACM SIGMOD Record
Interaction between path and type constraints
ACM Transactions on Computational Logic (TOCL)
G2ST: a novel method to transform GML to SVG
GIS '03 Proceedings of the 11th ACM international symposium on Advances in geographic information systems
Proceedings of the 2003 ACM symposium on Document engineering
A Machine Learning Approach to Rapid Development of XML Mapping Queries
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
XIRQL: An XML query language based on information retrieval concepts
ACM Transactions on Information Systems (TOIS)
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
Types for path correctness of XML queries
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Composable XML integration grammars
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Validating key constraints over XML document using XPath and structure checking
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Information preserving XML schema embedding
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Static analysis for path correctness of XML queries
Journal of Functional Programming
Propagating XML constraints to relations
Journal of Computer and System Sciences
Static analysis of active XML systems
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Parametric polymorphism for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Validating key constraints over XML document using XPath and structure checking
Future Generation Computer Systems - Special issue: High-speed networks and services for data-intensive grids: The DataTAG project
Towards practical typechecking for macro tree transducers
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Static and dynamic semantics of NoSQL languages
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
| Hi-index | 0.00 |
We investigate the type checking problem for XML queries: statically verifying that every answer to a query conforms to a given output DTD, for inputs satisfying a given input DTD. This problem had been studied by a subset of the authors in a simplified framework that captured the structure of XML documents but ignored data values. We revisit here the type checking problem in the more realistic case when data values are present in documents and tested by queries. In this extended framework, type checking quickly becomes undecidable. However, it remains decidable for large classes of queries and DTDs of practical interest. The main contribution of the present paper is to trace a fairly tight boundary of decidability for type checking with data values. The complexity of type checking in the decidable cases is also considered.