Abstract
This paper explores the fundamental aspects of queries and computation on the Web. We revisit several well-known declarative query languages: CALC 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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mendelzon, A., Milo, T.: Formal models of web queries. Information Systems 23, 615–637 (1998)
Abiteboul, S., Vianu, V.: Queries and computation on the web. Theoretical Computer Science 239, 231–255 (2000)
Vianu, V.: A web odyssey: from codd to XML. In: Proceedings of ACM Symposium on Principles of Database Systems, pp. 1–15 (2001)
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
Topor, R.: Domain independent formulas and databases. Theoretical Computer Science 52, 281–307 (1987)
Buneman, P., Davidson, S., Hillebrand, G., Suciu, D.: A query language and optimization techniques for unstructured data. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 505–516 (1996)
Mihaila, G., Mendelzon, A., Milo, T.: Querying the world wide web. Journal of Digital Libraries 1, 68–88 (1997)
Abiteboul, S., Quass, D., McHugh, J., Widom, J., Wiener, J.: The lorel query language for semi-structured data. Journal of Digital Libraries 1 (1997)
Deutsch, A., Fernandez, M., Florescuall, D., Levy, A., Suciu, D.: A query language for XML. In: Proceedings of WWW8, pp. 11–16 (1999)
Chamberlin, D., Robie, J., Florescu, D.: In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol. 1997, pp. 53–62. Springer, Heidelberg (2000)
Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web. Morgan Kaufmann, San Francisco (2000)
Liu, H.C., Yu, J.: Safe database queries with external functions. In: Proceedings of International Database Engineering and Applications Symposium, Montreal, Canada, pp. 260–269 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, HC., Liang, W. (2004). Safe Web Queries. In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds) Advanced Web Technologies and Applications. APWeb 2004. Lecture Notes in Computer Science, vol 3007. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24655-8_74
Download citation
DOI: https://doi.org/10.1007/978-3-540-24655-8_74
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21371-0
Online ISBN: 978-3-540-24655-8
eBook Packages: Springer Book Archive