Cardinality constraints in disjunctive deductive databases

Authors:
Dietmar Seipel;Ulrich Geske
Affiliations:
University of Würzburg, Department of Computer Science, Würzburg, Germany;Fraunhofer First Berlin, Berlin, Germany
Venue:
Proceedings of the 2nd international conference on Semantics in databases
Year:
2001

Citing 15
Cited 0

Attribute grammars: definitions, systems and bibliography

Attribute grammars: definitions, systems and bibliography
On two-way tree automata

Information Processing Letters
Finite-memory automata

Theoretical Computer Science
Tree languages

Handbook of formal languages, vol. 3
Languages, automata, and logic

Handbook of formal languages, vol. 3
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 automata

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Algebras for querying text regions: expressive power and optimization

Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Trips on trees

Acta Cybernetica
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
A comparison of tree transductions defined by monadic second order logic and by attribute grammars

Journal of Computer and System Sciences
Extended path expressions of XML

PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tree-Walking Pebble Automata

Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa
Locating Matches of Tree Patterns in Forests

Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper surveys work of the authors on pattern languages for tree-structured data with XML as the main application in mind. The main focus is on formalisms from formal language theory and logic. In particular, it considers attribute grammars, query automata, tree-walking automata, extensions of first-order logic, and monadic second-order logic. It investigates expressiveness as well as the complexity of query evaluation and some optimization problems. Finally, formalisms that allow comparison of attribute values are considered.