Safe web queries (extended abstract)

Hong-Cheu Liu; Weifa Liang

doi:10.1007/978-3-540-24655-8_74

Safe web queries (extended abstract)

Hong-Cheu Liu
, Weifa Liang

Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

Abstract

This paper explores the fundamental aspects of queries and computation on the Web. We revisit several well-known declarative query languages: C ALC ^cv, Datalog^cv, and Datalog^cv with negation and characterize them with respect to (eventual) computability. We also investigate the issue of safety in query languages in the context of the Web, and develop an algorithm for determining safe Web queries that ensure eventual computability. Finally, we show how to identify the fragments in each language implementable by the Web machine. © Springer-Verlag Berlin Heidelberg 2004.

Original language	English
Pages (from-to)	677-686
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3007
DOIs	https://doi.org/10.1007/978-3-540-24655-8_74
Publication status	Published - 2004
Externally published	Yes

Bibliographical note

Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].

Access Output

10.1007/978-3-540-24655-8_74

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@article{ea5830d1a13a468dbe9c474c2f71d341,

title = "Safe web queries (extended abstract)",

abstract = "This paper explores the fundamental aspects of queries and computation on the Web. We revisit several well-known declarative query languages: C ALC cv, Datalogcv, and Datalogcv with negation and characterize them with respect to (eventual) computability. We also investigate the issue of safety in query languages in the context of the Web, and develop an algorithm for determining safe Web queries that ensure eventual computability. Finally, we show how to identify the fragments in each language implementable by the Web machine. {\textcopyright} Springer-Verlag Berlin Heidelberg 2004.",

author = "Hong-Cheu Liu and Weifa Liang",

note = "Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].",

year = "2004",

doi = "10.1007/978-3-540-24655-8\_74",

language = "English",

volume = "3007",

pages = "677--686",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Safe web queries (extended abstract)

AU - Liu, Hong-Cheu

AU - Liang, Weifa

N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].

PY - 2004

Y1 - 2004

N2 - This paper explores the fundamental aspects of queries and computation on the Web. We revisit several well-known declarative query languages: C ALC cv, Datalogcv, and Datalogcv with negation and characterize them with respect to (eventual) computability. We also investigate the issue of safety in query languages in the context of the Web, and develop an algorithm for determining safe Web queries that ensure eventual computability. Finally, we show how to identify the fragments in each language implementable by the Web machine. © Springer-Verlag Berlin Heidelberg 2004.

AB - This paper explores the fundamental aspects of queries and computation on the Web. We revisit several well-known declarative query languages: C ALC cv, Datalogcv, and Datalogcv with negation and characterize them with respect to (eventual) computability. We also investigate the issue of safety in query languages in the context of the Web, and develop an algorithm for determining safe Web queries that ensure eventual computability. Finally, we show how to identify the fragments in each language implementable by the Web machine. © Springer-Verlag Berlin Heidelberg 2004.

UR - https://www.scopus.com/pages/publications/35048830844

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-35048830844&origin=recordpage

U2 - 10.1007/978-3-540-24655-8_74

DO - 10.1007/978-3-540-24655-8_74

M3 - RGC 21 - Publication in refereed journal

SN - 0302-9743

VL - 3007

SP - 677

EP - 686

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -

Safe web queries (extended abstract)

Abstract

Bibliographical note

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this