Cited in
(17)- Structural recursion as a query language on lists and ordered trees
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- A class of bounded functions, a database language and an extended lambda calculus
- Frontiers of tractability for typechecking simple XML transformations
- Regular languages with variables on graphs
- Well-definedness and semantic type-checking for the nested relational calculus
- Advanced structural joins using element distribution
- Cassandra
- CDuce
- XDuce
- Quilt
- GraphLog
- Lorel
- Adding regular expressions to graph reachability and pattern queries
- Typechecking top-down XML transformations: Fixed input or output schemas
- scientific article; zbMATH DE number 7437711 (Why is no real title available?)
- GRoundTram
This page was built for software: UnQL
