Type systems for programming languages
Handbook of theoretical computer science (vol. B)
Finding Regular Simple Paths in Graph Databases
SIAM Journal on Computing
A query language and optimization techniques for unstructured data
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Foundations of programming languages
Foundations of programming languages
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handbook of formal languages, vol. 3: beyond words
Handbook of formal languages, vol. 3: beyond words
Expressiveness of structured document query languages based on attribute grammars
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Extracting schema from semistructured data
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
GraphLog: a visual formalism for real life recursion
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Query rewriting for semistructured data
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
XML-based information mediation with MIX
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Representative Objects: Concise Representations of Semistructured, Hierarchial Data
ICDE '97 Proceedings of the Thirteenth International Conference on Data Engineering
Optimizing Regular Path Expressions Using Graph Schemas
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Adding Structure to Unstructured Data
ICDT '97 Proceedings of the 6th International Conference on Database Theory
WebOQL: Restructuring Documents, Databases, and Webs
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Using Schema Matching to Simplify Heterogeneous Data Translation
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
W3QS: A Query System for the World-Wide Web
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Object Fusion in Mediator Systems
VLDB '96 Proceedings of the 22th 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
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressive and efficient pattern languages for tree-structured data (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Regular expression pattern matching for XML
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
On XML integrity constraints in the presence of DTDs
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
ACM SIGMOD Record
Proceedings of the 4th ACM international workshop on Data warehousing and OLAP
Validating streaming XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Schema extraction from XML collections
Proceedings of the 2nd ACM/IEEE-CS joint conference on Digital libraries
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Automata theory for XML researchers
ACM SIGMOD Record
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Containment for XPath Fragments under DTD Constraints
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Incremental Validation of XML Documents
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
Two-Way Finite State Transducers with Nested Pebbles
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Time to Leave the Trees: From Syntactic to Conceptual Querying of XML
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
Deferred Incremental Refresh of XML Materialized Views
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
The Essence of XML (Preliminary Version)
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
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
Structured Document Transformations Based on XSL
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
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)
The inference problem: a survey
ACM SIGKDD Explorations Newsletter
Typing and querying XML documents: some complexity bounds
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
Typechecking for XML transformers
Journal of Computer and System Sciences - Special issue on PODS 2000
XML with data values: typechecking revisited
Journal of Computer and System Sciences - Special issu on PODS 2001
Capturing both types and constraints in data integration
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Regular expression pattern matching for XML
Journal of Functional Programming
Static Analysis of XML Transformations in Java
IEEE Transactions on Software Engineering
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Finite state machines for strings over infinite alphabets
ACM Transactions on Computational Logic (TOCL)
A programmable editor for developing structured documents based on bidirectional transformations
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
DTDs versus XML schema: a practical study
Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
Supervised learning for the legacy document conversion
Proceedings of the 2004 ACM symposium on Document engineering
Incremental validation of XML documents
ACM Transactions on Database Systems (TODS)
Regular expression types for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Storing and querying XML data using denormalized relational databases
The VLDB Journal — The International Journal on Very Large Data Bases
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
The complexity of XPath query evaluation and XML typing
Journal of the ACM (JACM)
Expressiveness of XSDs: from practice to theory, there and back again
WWW '05 Proceedings of the 14th international conference on World Wide Web
Attribute grammars for unranked trees as a query language for structured documents
Journal of Computer and System Sciences
Graph transformation to infer schemata from XML documents
Proceedings of the 2005 ACM symposium on Applied computing
On the complexity of typechecking top-down XML transformations
Theoretical Computer Science - Database theory
Representing and querying XML with incomplete information
ACM Transactions on Database Systems (TODS)
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
On the minimization of XML Schemas and tree automata for unranked trees
Journal of Computer and System Sciences
Visibly pushdown automata for streaming XML
Proceedings of the 16th international conference on World Wide Web
Reasoning about XML update constraints
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A transducer-based XML query processor
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
On testing satisfiability of tree pattern queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Information preserving XML schema embedding
ACM Transactions on Database Systems (TODS)
OntoMiner: automated metadata and instance mining from news websites
International Journal of Web and Grid Services
Tree model guided candidate generation for mining frequent subtrees from XML documents
ACM Transactions on Knowledge Discovery from Data (TKDD)
Typechecking top-down XML transformations: Fixed input or output schemas
Information and Computation
Expressiveness and complexity of XML publishing transducers
ACM Transactions on Database Systems (TODS)
Type inference and type checking for queries on execution traces
Proceedings of the VLDB Endowment
Validation of streaming XML documents with abstract state machines
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Shifting Predicates to Inner Sub-expressions for XQuery Optimization
Advanced Internet Based Systems and Applications
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The complexity of query containment in expressive fragments of XPath 2.0
Journal of the ACM (JACM)
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
A probabilistic learning method for XML annotation of documents
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The view update problem for XML
Proceedings of the 2010 EDBT/ICDT Workshops
Tree pattern mining with tree automata constraints
Information Systems
A formalism for navigating and editing XML document structure
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
Xml publishing: bridging theory and practice
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Succinctness of pattern-based schema languages for XML
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Visibly pushdown transducers for approximate validation of streaming XML
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Tree automata over infinite alphabets
Pillars of computer science
Schema design for XML repositories: complexity and tractability
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Simplifying XML schema: single-type approximations of regular tree languages
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XML schema computations: schema compatibility testing and subschema extraction
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Minimal tree language extensions: a keystone of XML type compatibility and evolution
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Xeena for schema: creating XML documents with a coordinated grammar tree
International Journal of Computational Science and Engineering
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences
Succinctness of pattern-based schema languages for XML
Journal of Computer and System Sciences
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
SIAM Journal on Computing
A framework on ontology integration
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Journal of Computer and System Sciences
Optimizing schema languages for XML: numerical constraints and interleaving
ICDT'07 Proceedings of the 11th international conference on Database Theory
Patterns and types for querying XML documents
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Minimizing tree automata for unranked trees
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
An effective XML filtering method for high-performance publish/subscribe system
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Type inference and type checking for queries over execution traces
The VLDB Journal — The International Journal on Very Large Data Bases
Which XML schemas admit 1-pass preorder typing?
ICDT'05 Proceedings of the 10th international conference on Database Theory
Efficient incremental validation of XML documents after composite updates
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
Developing and analyzing XSDs through BonXai
Proceedings of the VLDB Endowment
A methodology for binary encoding of citation metadata
International Journal of Metadata, Semantics and Ontologies
Proceedings of the 16th International Conference on Database Theory
Web Semantics: Science, Services and Agents on the World Wide Web
Extracting differences between regular tree grammars
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Simplifying XML Schema: Single-type approximations of regular tree languages
Journal of Computer and System Sciences
Validating XML documents in the streaming model with external memory
ACM Transactions on Database Systems (TODS) - Invited papers issue
Conservative type extensions for XML data
Transactions on Large-Scale Data- and Knowledge-centered systems IX
Hi-index | 0.00 |
We study the inference of Data Type Definitions (DTDs) for views of XML data, using an abstraction that focuses on document content structure. The views are defined by a query language that produces a list of documents selected from one or more input sources. The selection conditions involve vertical and horizontal navigation, thus querying explicitly the order present in input documents. We point several strong limitations in the descriptive ability of current DTDs and the need for extending them with (i) a subtyping mechanism and (ii) a more powerful specification mechanism than regular languages, such as context-free languages. With these extensions, we show that one can always infer tight DTDs, that precisely characterize a selection view on sources satisfying given DTDs. We also show important special cases where one can infer a tight DTD without requiring extension (ii). Finally we consider related problems such as verifying conformance of a view definition with a predefined DTD. Extensions to more powerful views that construct complex documents are also briefly discussed.