Handbook of theoretical computer science (vol. B)
Limits to parallel computation: P-completeness theory
Limits to parallel computation: P-completeness theory
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Complexity results for two-way and multi-pebble automata and their logics
ICALP '94 Selected papers from the 21st international colloquium on Automata, languages and programming
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
Regular path queries with constraints
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handbook of formal languages, vol. 1: word, language, grammar
Handbook of formal languages, vol. 1: word, language, grammar
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Catching the boat with Strudel: experiences with a Web-site management system
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Type inference for queries on semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Acta Cybernetica
WWW '99 Proceedings of the eighth international conference on World Wide Web
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
SilkRoute: trading between relations and XML
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Object Exchange Across Heterogeneous Information Sources
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Enhancing Semistructured Data Mediators with Document Type Definitions
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Regular expression types for XML
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Web Odyssey: from Codd to XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extended path expressions of XML
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML with data values: typechecking revisited
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Representing and querying XML with incomplete information
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
A typed text retrieval query language for XML documents
Journal of the American Society for Information Science and Technology - XML
ACM SIGMOD Record
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
Information organization and databases
Automata theory for XML researchers
ACM SIGMOD Record
A formal model for an expressive fragment of XSLT
Information Systems - Databases: Creation, management and utilization
ACM SIGMOD Record
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Structural Properties of XPath Fragments
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Towards Regular Languages over Infinite Alphabets
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Type-Based XML Processing in Logic Programming
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Two-Way Finite State Transducers with Nested Pebbles
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Composition of XML-Transformations
EC-Web 2001 Proceedings of the Second International Conference on Electronic Commerce and Web Technologies
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
On the Power of Tree-Walking Automata
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Logic as a Query Language: From Frege to XML
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
The Complexity of Compositions of Deterministic Tree Transducers
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
A Formal Model for an Expressive Fragment of XSLT
CL '00 Proceedings of the First International Conference on Computational Logic
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
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)
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query-preserving watermarking of relational databases and XML documents
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
Handbook of massive data sets
On the power of tree-walking automata
Information and Computation - Special issue: ICC '99
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Exchanging intensional XML data
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
XPath queries on streaming data
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Proceedings of the 2003 ACM symposium on Document engineering
Regular expression pattern matching for XML
Journal of Functional Programming
Information Processing Letters
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
On modular transformation of structural content
Proceedings of the 2004 ACM symposium on Document engineering
Supervised learning for the legacy document conversion
Proceedings of the 2004 ACM symposium on Document engineering
Parametric polymorphism for XML
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exchanging intensional XML data
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
XPath satisfiability in the presence of DTDs
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Regular rewriting of active XML and unambiguity
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Transformation and reaction rules for data on the web
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Semantic characterizations of navigational XPath
ACM SIGMOD Record
A Formal Framework for Prefetching Based on the Type-Level Access Pattern in Object-Relational DBMSs
IEEE Transactions on Knowledge and Data Engineering
Structural properties of XPath fragments
Theoretical Computer Science - Database theory
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Representing and querying XML with incomplete information
ACM Transactions on Database Systems (TODS)
Static analysis for path correctness of XML queries
Journal of Functional Programming
Boolean operations and inclusion test for attribute-element constraints
Theoretical Computer Science
Regular expression filters for XML
Journal of Functional Programming
Well-definedness and semantic type-checking for the nested relational calculus
Theoretical Computer Science
On deciding well-definedness for query languages on trees
Journal of the ACM (JACM)
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient algorithms for processing XPath queries
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation
Languages Modulo Normalization
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Type inference and type checking for queries on execution traces
Proceedings of the VLDB Endowment
Parametric polymorphism for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Boolean operations for attribute-element constraints
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Cardinality constraints in disjunctive deductive databases
Proceedings of the 2nd international conference on Semantics in databases
Towards practical typechecking for macro tree transducers
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Satisfiability and containment problem of structural recursions with conditions
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Transforming XML documents as schemas evolve
Proceedings of the VLDB Endowment
Precision and complexity of XQuery type inference
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
XML type checking using high-level tree transducer
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Symbolic finite state transducers: algorithms and applications
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computing transitive closures of hedge transformations
International Journal of Critical Computer-Based Systems
Well-definedness and semantic type-checking in the nested relational calculus and XQuery
ICDT'05 Proceedings of the 10th international conference on Database Theory
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
Non-backtracking top-down algorithm for checking tree automata containment
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Computing transitive closures of hedge transformations
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
SAS'07 Proceedings of the 14th international conference on Static Analysis
Vibes: A visual language for specifying behavioral requirements of algorithms
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
We study the typechecking problem for XML transformers: given an XML transformation program and a DTD for the input XML documents, check whether every result of the program conforms to a specified output DTD. We model XML transformers using a novel device called a k-pebble transducer, that can express most queries without data-value joins in XML-QL, XSLT, and other XML query languages. Types are modeled by regular tree languages, a nobust extension of DTDs. The main result of the paper is that typechecking for k-pebble transducers is decidable. Consequently, typechecking can be performed for a broad range of XML transformation languages, including XML-QL and a fragment of XSLT.