TQL: A Query Language for Semistructured Data Based on the Ambient Logic

TQL: A Query Language for Semistructured Data Based on the Ambient Logic (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Luca Cardelli , Giorgio Ghelli

Venue:	Mathematical Structures in Computer Science
Citations:	22 - 1 self

BibTeX

@INPROCEEDINGS{Cardelli03tql:a,
    author = {Luca Cardelli and Giorgio Ghelli},
    title = {TQL: A Query Language for Semistructured Data Based on the Ambient Logic},
    booktitle = {Mathematical Structures in Computer Science},
    year = {2003},
    pages = {2004}
}

Bookmark

OpenURL

Abstract

this paper we present TQL, a query language for semistructured data that is based on the ambient logic

Citations

1267	Foundations of Databases - Abiteboul, Hull, et al. - 1995
725	Mobile ambients - Gordon, Cardelli - 1998
631	The LOREL query language for semistructured data - Abiteboul, Quass, et al. - 1997
470	Data on the Web: From Relations to Semi structured Data and XML - Abiteboul, Buneman, et al. - 1999
465	Object Exchange Across Heterogeneous Information Sources - PAPAKONSTANTINOU - 1995
368	A query language and optimization technique for unstructured data - Buneman, Davidson, et al. - 1996
301	XML-QL: A query language for XML - Deutsch, Fernandez, et al. - 1999
237	H.: Local Reasoning about Programs that Alter Data Structures - O’Hearn, Reynolds, et al. - 2001
196	Your Mediators Need Data Conversion - Cluet, Delobel, et al. - 1998
187	Quilt: An XML query language for heterogeneous data sources - Chamberlin, Robie, et al. - 2000
187	Catching the boat with strudel: Experiences with a web-site management system - Fernandez, Florescu, et al. - 1998
172	The logic of bunched implications - O’Hearn, Pym - 1999
167	From Semistructured Data to XML: Migrating the Lore Data Model and Query Language - Goldman, McHugh, et al. - 1999
157	Regular expression types for XML - Hosoya, Vouillon, et al. - 2000
148	Anytime, Anywhere, Modal Logics for Mobile Ambients - Cardelli, Gordon - 2000
117	editors. Constraint Databases - Kuper, Libkin, et al. - 2000
97	On XML integrity constraints in the presence of DTDs - Fan, Libkin
69	Keys for xml - BUNEMAN, DAVIDSON, et al.
58	Safety and Translation of Relational Calculus Queries - Gelder, Topor - 1990
57	Reasoning about keys for xml - Buneman, Davidson, et al. - 2001
56	A Spatial Logic for Querying Graphs - Cardelli, Gardner, et al. - 2002
47	XDuce: A typed XML processing language (preliminary report - Hosoya, Pierce - 2001
46	Deciding validity in a spatial logic for trees - Calcagno, Cardelli, et al. - 2005
42	On verifying consistency of xml specifications - Arenas, Fan, et al. - 2002
32	Semistructured computation - Cardelli
32	The decidability of model-checking mobile ambients - Charatonik, Talbot - 2001
31	M.: Description logics for information integration - Calvanese, Giuseppe, et al.
30	Manipulating Trees with Hidden Labels - Cardelli, Gardner, et al. - 2003
30	A query language and processor for a web-site management system - Fernandez, Florescu, et al. - 1997
25	S.: Constraints for semistructured data and XML - Buneman, Fan, et al. - 2001
25	Principles of Database Systems, 2 nd edition - Ullman - 1982
24	Tutorial: Constraint programming and database languages - Kanellakis - 1995
20	A unified constraint model for xml - Fan, Kuper, et al. - 2001
8	Rijke. Path constraints from a modal logic point of view (extended abstract - Alechina, Demri, et al. - 2001
8	TQL Algebra and its Implementation (Extended Abstract - Conforti, Ferrara, et al. - 2002
7	TQL as an XML query language. available from http://www.di.unipi.it/ ghelli/papers.html - Ghelli - 2001
6	Types for correctness of queries over semistructured data - Colazzo, Ghelli, et al. - 2002
5	Fixpoint calculus for querying semistructured data - Bidoit, Ykhlef - 1999
5	Validity and Model Checking for Logics of Finite Multisets - Cohen
5	XML query languages: Experiences and exemplars. Available from http://www-db.research.belllabs.com/user/simeon/xquery.ps - Fernandez, Simeon, et al. - 1999
3	XQuery 1.0: An XML query language. Available from http://www.w3c.org/TR/xquery - Boag, Chamberlin, et al. - 2002
2	A Spatial Logic for Concurrency (Part I). Information and Computation,accepted for publication - Caires, Cardelli
1	Modal) logics for semistructed data - Alechina - 1999
1	TQL algebra and its implementation (full paper - Conforti, Ferrara, et al. - 2003
1	XML Query use cases. http://www.w3.org/TR/xmlquery-use-cases - W3C