Skip navigation
Skip navigation

Safe Web Queries

Liu, Hong-Cheu; Liang, Weifa


This paper explores the fundamental aspects of queries and computation on the Web. We revisit several well-known declarative query languages: C ALCcv, 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...[Show more]

CollectionsANU Research Publications
Date published: 2004
Type: Journal article
Source: Lecture Notes in Computer Science (LNCS)


There are no files associated with this item.

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator