TQL: a query language for semistructured data based on the ambient logic

DOI10.1017/S0960129504004141MaRDI QIDQ4819113zbMATH OpenOpenAlexWikidataFDO

Authors Luca Cardelli, G. Ghelli

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

Mathematics Subject Classification ID

Data structures (68P05) Database theory (68P15) Logic in artificial intelligence (68T27)

Recommendations

• Advances in Databases and Information Systems
• scientific article; zbMATH DE number 1406217
• Towards a semantic query language
• A query language for logic architectures
• Database Support for Data Mining Applications
• RQL: a query language for rule discovery in databases
• scientific article; zbMATH DE number 1629811

Cited in

(15)

• scientific article; zbMATH DE number 1406217 (Why is no real title available?)
• Operational and abstract semantics of the query language G-Log
• Anti-patterns for rule-based languages
• On the Expressiveness of the Ambient Logic
• Expressiveness and complexity of graph logic
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Axiomatizations for downward XPath on data trees
• Schemas for unordered XML on a DIME
• An algebraic glimpse at bunched implications and separation logic
• scientific article; zbMATH DE number 1696696 (Why is no real title available?)
• scientific article; zbMATH DE number 1692931 (Why is no real title available?)
• scientific article; zbMATH DE number 7559156 (Why is no real title available?)
• Co-algebraic models for quantitative spatial logics
• Specification and verification for semi-structured data
• Tree automata with global constraints

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: TQL: a query language for semistructured data based on the ambient logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819113)