On deciding well-definedness for query languages on trees
From MaRDI portal
Publication:3546341
DOI10.1145/1255443.1255447zbMath1312.68084MaRDI QIDQ3546341
Publication date: 21 December 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1255443.1255447
68P15: Database theory
Related Items
Conjunctive query containment over trees, Well-definedness and semantic type-checking for the nested relational calculus
Uses Software