Luca Cardelli, Giorgio Ghelli  Home/Search
Context Related
| tql.di.unipi.it/papers/esop.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tql.di.unipi.it/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
The Complexity of Model Checking Mobile Ambients - Charatonik, Zilio, Gordon.. (2001) (Correct)
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
The Query Language TQL - Demo Presentation Giovanni (Correct)
Similar documents (at the sentence level):
18.8%: TQL: A Query Language for Semistructured Data Based on the.. - Cardelli, Ghelli (2003) (Correct)
15.0%: A Query Language for Semistructured Data Based on the Ambient.. - Cardelli, Ghelli (2000) (Correct)
Active bibliography (related documents): More All
0.6: TQL Algebra and its Implementation (Extended Abstract) - Conforti, Ferrara, Ghelli (2002) (Correct)
0.3: Constraint Databases: A Survey - Revesz (1998) (Correct)
0.3: Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (Correct)
Similar documents based on text: More All
0.5: Querying Trees with Pointers - Cardelli, Gardner, Ghelli (2003) (Correct)
0.4: A Spatial Logic for Querying Graphs - Cardelli, Gardner, Ghelli (2001) (Correct)
0.3: The Decidability of Model Checking Mobile Ambients - Charatonik, Talbot (2001) (Correct)
Related documents from co-citation: More All
30: A spatial logic for concurrency - Caires, Cardelli - 2001
24: anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
16: Logical properties of name restriction (context) - Cardelli, Gordon - 2000
BibTeX entry: (Update)
L. Cardelli and G. Ghelli. A query language based on the ambient logic. In Proc. European Symp. on Programming, 2001. Invited paper. http://citeseer.ist.psu.edu/cardelli01query.html More
@article{ cardelli01query,
author = "Luca Cardelli and Giorgio Ghelli",
title = "A Query Language Based on the Ambient Logic",
journal = "Lecture Notes in Computer Science",
volume = "2028",
pages = "1+",
year = "2001",
url = "citeseer.ist.psu.edu/cardelli01query.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
501 The Lorel query language for semistructured data - Abiteboul, Quass et al. - 1997
410 Mobile ambients - Cardelli, Gordon - 1998
331 A query language and optimization techniques for unstructure.. - Buneman, Davidson et al.
316 Object exchange across heterogeneous information sources - Papakonstantinou, Molina et al. - 1996
208 Data on the WEB: From Relations to Semistructured Data and X.. (context) - Abiteboul, Buneman et al. - 1999
161 A query language for XML - Deutsch, Florescu et al. - 1999
154 Your mediators need data conversion - Cluet, Delobel et al. - 1998
105 Quilt: An XML query language for heterogeneous data sources - Chamberlin, Robie et al. - 2000
94 From semistructured data to XML: Migrating the lore data mod.. - Goldman, McHugh et al. - 1999
85 XDuce: A typed XML processing language - Pierce, Hosoya - 2000
82 anywhere: Modal logics for mobile ambients (context) - Cardelli, Gordon - 2000
64 Constraint Databases (context) - Kuper, Libkin et al. - 2000
34 Available from httpwww (context) - Available, www - 2001
34 XML query languages: Experiences and exemplars - Fernandez, Sim'eon et al. - 1999
34 Available from httpwww (context) - Available, www - 2000
22 A query language and processor for a web-site management sys.. - Fernandez, Florescu et al. - 1997
10 Expressive and efficient pattern languages for treestructure.. - Neven, Schwentick - 2000
9 Catching the boat with Strudel: experiences with a web-site .. - Fernandez, Florescu et al. - 1998
6 Semistructured computation (context) - Cardelli - 1999
3 TQL as an XML query language (context) - Ghelli - 2001
3 Tutorial: Constraint programming and database languages (context) - Kanellakis - 1995
1 Realizzazione di un linguaggio di interrogazione per XML (context) - Pantaleo - 2000
1 Available from httpwww (context) - Ghelli, TQL et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://tql.di.unipi.it/papers.html): More
Types for the Ambient Calculus - Cardelli, Ghelli, Gordon (2001) (Correct)
View Operations on Objects with Roles for a Statically.. - Albano, Antognoni.. (1999) (Correct)
TQL Algebra and its Implementation (Extended Abstract) - Conforti, Ferrara, Ghelli (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC