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