swMATH20018MaRDI QIDQ31841FDOQ31841
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=765224
Cited In (17)
- Frontiers of tractability for typechecking simple XML transformations
- 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
- Structural recursion as a query language on lists and ordered trees
- Quilt
- GraphLog
- Lorel
- A class of bounded functions, a database language and an extended lambda calculus
- Title not available (Why is that?)
- Well-definedness and semantic type-checking for the nested relational calculus
- GRoundTram
This page was built for software: UnQL
