UnQL
From MaRDI portal
Software:31841
No author found.
Related Items (10)
Well-definedness and semantic type-checking for the nested relational calculus ⋮ 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 ⋮ Unnamed Item ⋮ Typechecking top-down XML transformations: Fixed input or output schemas ⋮ Adding regular expressions to graph reachability and pattern queries ⋮ Structural recursion as a query language on lists and ordered trees ⋮ Advanced structural joins using element distribution ⋮ The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
This page was built for software: UnQL
