A calculus for complex objects
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Hilbert's tenth problem
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
Containment of conjunctive queries: beyond relations as sets
ACM Transactions on Database Systems (TODS)
Foundations of programming languages
Foundations of programming languages
Languages, automata, and logic
Handbook of formal languages, vol. 3
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Types and programming languages
Types and programming languages
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
XPath Containment in the Presence of Disjunction, DTDs, and Variables
ICDT '03 Proceedings of the 9th International Conference on Database Theory
UnQL: a query language and algebra for semistructured data based on structural recursion
The VLDB Journal — The International Journal on Very Large Data Bases
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
Typechecking XML views of relational databases
ACM Transactions on Computational Logic (TOCL)
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Querying nested collections
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
Types for path correctness of XML queries
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Frontiers of tractability for typechecking simple XML transformations
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Two-variable logic on data trees and XML reasoning
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Well-definedness and semantic type-checking for the nested relational calculus
Theoretical Computer Science
On testing satisfiability of tree pattern queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Containment of nested XML queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Conjunctive query containment over trees
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Conjunctive query containment over trees
Journal of Computer and System Sciences
Hi-index | 0.00 |
The well-definedness problem for a database query language consists of checking, given an expression and an input type, that the expression never yields a runtime error on any input adhering to the input type. In this article, we study the well-definedness problem for query languages on trees that are built from a finite set of partially defined base operations by adding variables, constants, conditionals, let bindings, and iteration. We identify properties of base operations that can make the problem undecidable and give restrictions that are sufficient to ensure decidability. As a direct result, we obtain a large fragment of XQuery for which well-definedness is decidable.