Theoretical Computer Science
Languages, automata, and logic
Handbook of formal languages, vol. 3
One-unambiguous regular languages
Information and Computation
Macro tree transducers, attribute grammars, and MSO definable tree translations
Information and Computation
Validating streaming XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query automata over finite trees
Theoretical Computer Science
Automata theory for XML researchers
ACM SIGMOD Record
XTRACT: Learning Document Type Descriptors from XML Document Collections
Data Mining and Knowledge Discovery
Processing XML Streams with Deterministic Automata
ICDT '03 Proceedings of the 9th International Conference on Database Theory
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
An algebraic approach to data languages and timed languages
Information and Computation
On the power of tree-walking automata
Information and Computation - Special issue: ICC '99
Typechecking for XML transformers
Journal of Computer and System Sciences - Special issue on PODS 2000
Deterministic Regular Languages
Deterministic Regular Languages
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
DTDs versus XML schema: a practical study
Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
Incremental validation of XML documents
ACM Transactions on Database Systems (TODS)
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient algorithms for processing XPath queries
ACM Transactions on Database Systems (TODS)
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Semantic characterizations of navigational XPath
ACM SIGMOD Record
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2004
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Journal of Computer and System Sciences
Frontiers of tractability for typechecking simple XML transformations
Journal of Computer and System Sciences
XML transformation by tree-walking transducers with invisible pebbles
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Static analysis of XML processing with data values
ACM SIGMOD Record
FluXQuery: an optimizing XQuery processor for streaming XML data
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Simple off the shelf abstractions for XML schema
ACM SIGMOD Record
Inferring XML schema definitions from XML data
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
XPath satisfiability in the presence of DTDs
Journal of the ACM (JACM)
SchemaScope: a system for inferring and cleaning XML schemas
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
XPath evaluation in linear time
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tree-Walking Automata Do Not Recognize All Regular Languages
SIAM Journal on Computing
FCT '07 Proceedings of the 16th international symposium on Fundamentals of Computation Theory
LTL with the freeze quantifier and register automata
ACM Transactions on Computational Logic (TOCL)
Two-variable logic on data trees and XML reasoning
Journal of the ACM (JACM)
Axiomatizing the Logical Core of XPath 2.0
Theory of Computing Systems
Satisfiability of downward XPath with data equality tests
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Simplifying XML schema: effortless handling of nondeterministic regular expressions
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
The complexity of query containment in expressive fragments of XPath 2.0
Journal of the ACM (JACM)
Logical Foundations of XML and XQuery
Reasoning Web. Semantic Technologies for Information Systems
Regular Expressions with Counting: Weak versus Strong Determinism
MFCS '09 Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009
From XQuery to relational logics
ACM Transactions on Database Systems (TODS)
On notions of regularity for data languages
Theoretical Computer Science
Transitive closure logic, nested tree walking automata, and XPath
Journal of the ACM (JACM)
Inference of concise regular expressions and DTDs
ACM Transactions on Database Systems (TODS)
Tree acceptors and some of their applications
Journal of Computer and System Sciences
Forward-XPath and extended register automata on data-trees
Proceedings of the 13th International Conference on Database Theory
Learning Deterministic Regular Expressions for the Inference of Schemas from XML Data
ACM Transactions on the Web (TWEB)
ACM Transactions on Database Systems (TODS)
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
SIAM Journal on Computing
An Extension of Data Automata that Captures XPath
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
XPath evaluation in linear time
Journal of the ACM (JACM)
On the use of guards for logics with data
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Exact XML type checking in polynomial time
ICDT'07 Proceedings of the 11th international conference on Database Theory
Interpreting tree-to-tree queries
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Automata and logics for words and trees over an infinite alphabet
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
The design space of type checkers for XML transformation languages
ICDT'05 Proceedings of the 10th international conference on Database Theory
Expressive power of pebble automata
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
When model-checking freeze LTL over counter machines becomes decidable
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Hi-index | 0.00 |
XML query and schema languages have some obvious connections to Formal Language Theory. For example, Document Type Definitions (DTDs) can be viewed as tree grammars and use regular expressions, XML Schemas resemble tree automata. Likewise, there are immediate links to Logic, e.g., through the classical characterization of regular tree languages by monadic second-order logic. It is therefore not surprising that concepts from Logic and Formal Language Theory played an important role in the development of the theoretical foundations of XML query and schema languages. For example, they helped to analyze the expressiveness of languages, to understand the restrictions posed by the W3C standards, and to develop algorithms for various purposes, including efficient evaluation and static analysis. However, methods from Logic and Formal Languages have not merely been applied to XML theory, the fertilization took place both ways. XML theory posed a lot of new challenges for Logic and Formal Language Theory and triggered various new research lines, e.g., the study of deterministic regular expressions and the development of automata for trees with data values. The aim of the talk at FoIKS 2012 is to present some of the fundamental connections between XML query and schema languages and Logic and Formal Language Theory, to report on recent developments in the area, and to highlight some current directions of research. This accompanying paper is a kind of annotated bibliography for that talk.