TY - JOUR
T1 - Safe web queries (extended abstract)
AU - Liu, Hong Cheu
AU - Liang, Weifa
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.
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.
UR - http://www.scopus.com/inward/record.url?scp=35048830844&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-24655-8_74
DO - 10.1007/978-3-540-24655-8_74
M3 - Article
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 -