Structural recursion as a query language on lists and ordered trees

DOI10.1007/S00224-008-9110-5MaRDI QIDQ2272218zbMATH OpenOpenAlexFDO

Authors Lawrence V. Saxton, D. Van Gucht, Stijn Vansummeren, Edward L. Robertson

Publication date 6 August 2009

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-008-9110-5

zbMATH Keywords

complex objectsdatabaseprimitive recursionstructural recursionXML

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15)

Recommendations

• Structural recursion for querying ordered graphs
• Highly expressive query languages for unordered data trees
• Recursive queries and context-free graph grammars
• Tree-language based querying of hierarchically structured and semi-structured data
• Compositional semantics of the recursive queries in languages similar to SQL
• scientific article; zbMATH DE number 4106311
• Structures for structural recursion
• On compiling queries in recursive first-order databases
• Enumeration of monadic second-order queries on trees
• Trees and linked lists with variable ordering relations (RTR structures)

Cites work

• A new recursion-theoretic characterization of the polytime functions
• Algebraic and calculus query languages for recursively typed complex objects
• An algebra for pomsets.
• Bounded fixpoints for complex objects
• Computable queries for relational data bases
• Hereditarily-finite sets, data bases and polynomial-time computability
• scientific article; zbMATH DE number 47306 (Why is no real title available?)
• scientific article; zbMATH DE number 1223626 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 3305097 (Why is no real title available?)
• Light linear logic
• Principles of programming with complex objects and collection types
• Query languages for bags and aggregate functions
• Semantics of linear/modal lambda calculus
• Sequences, datalog, and transducers
• Simplifications of the recursion scheme
• Static prediction of heap space usage for first-order functional programs
• The expressiveness of a family of finite set languages

Cited in

(8)

• Relational programming laws in the tree, list, bag, set hierarchy
• Highly expressive query languages for unordered data trees
• scientific article; zbMATH DE number 1696861 (Why is no real title available?)
• Extended structural recursion and XSLT
• scientific article; zbMATH DE number 3898276 (Why is no real title available?)
• Structural recursion for querying ordered graphs
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Advances in Databases and Information Systems

Describes a project that uses

Uses Software

• XQuery
• XPath
• UnQL

This page was built for publication: Structural recursion as a query language on lists and ordered trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2272218)