A query language based on the ambient logic

54Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

The ambient logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computation. The structural part of the ambient logic is, essentially, a logic of labeled trees, hence it turns out to be a good foundation for query languages for semistructured data, much in the same way as first order logic is a fitting foundation for relational query languages. We define here a query language for semistructured data that is based on the ambient logic, and we outline an execution model for this language. The language turns out to be quite expressive. Its strong foundations and the equivalences that hold in the ambient logic are helpful in the definition of the language semantics and execution model.

References Powered by Scopus

Mobile ambients

666Citations
N/AReaders
Get full text

The Lorel query language for semistructured data

642Citations
N/AReaders
Get full text

A Query Language and Optimization Techniques for Unstructured Data

343Citations
N/AReaders
Get full text

Cited by Powered by Scopus

XDuce: A Statically Typed XML Processing Language

238Citations
N/AReaders
Get full text

A spatial logic for concurrency (part I)

138Citations
N/AReaders
Get full text

Counting in trees for free

70Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Cardelli, L., & Ghelli, G. (2001). A query language based on the ambient logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2028, pp. 1–22). Springer Verlag. https://doi.org/10.1007/3-540-45309-1_1

Readers' Seniority

Tooltip

Researcher 5

50%

PhD / Post grad / Masters / Doc 3

30%

Professor / Associate Prof. 2

20%

Readers' Discipline

Tooltip

Computer Science 8

80%

Agricultural and Biological Sciences 1

10%

Engineering 1

10%

Save time finding and organizing research with Mendeley

Sign up for free