TQL: a query language for semistructured data based on the ambient logic
From MaRDI portal
Publication:4819113
DOI10.1017/S0960129504004141zbMath1085.68035OpenAlexW2125252697WikidataQ56982105 ScholiaQ56982105MaRDI QIDQ4819113
Publication date: 24 September 2004
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129504004141
Related Items
Expressiveness and complexity of graph logic ⋮ Axiomatizations for downward XPath on data trees ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Schemas for unordered XML on a DIME ⋮ Anti-patterns for rule-based languages ⋮ TREE AUTOMATA WITH GLOBAL CONSTRAINTS ⋮ Unnamed Item ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Co-Algebraic Models for Quantitative Spatial Logics
Uses Software