Abstract
Partial deduction is an optimisation technique developed by the logic programming community. We propose the use of Partial deduction in the domain of wireless sensor network programming where programs are written for small computational platforms and energy is typically scarce. We show how, together with a declarative programming language which has been shown to be suitable for several demanding sensor network applications, it can address key issues such as rewriting a query using views and reducing redundancy of rewritings as long as some computation and abstraction can be performed at compile-time, which obviously leads to the improvement of energy efficiency at run-time. We argue that energy efficiency can be achieved with: (1) minimised sensor network programming workload by forcing the folding of goals into the view partially; (2) reduced redundant computation with fewer computation steps at network nodes by forcing the unfolding of simple goals; (3) reduced inter-node message transmission by more specific addressing of messages to nodes; and (4) reduced memory requirements by specialising network-wide programs to smaller programs for specific nodes. A partial deduction system is developed and an extended example is provided to demonstrate the potential performance improvement of the technique.
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
Culler, D.E., Estrin, D., Srivastava, M.B.: Guest editors’ introduction: Overview of sensor networks. IEEE Computer 37, 41–49 (2004)
Chu, D.C., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I.: The design and implementation of a declarative sensor network system. In: The 5th ACM Conference on Embedded Networked Sensor Systems (SenSys 2007), Sydney, Australia, pp. 175–188 (November 2007)
Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: The design of an acquisitional query processor for sensor networks. In: SIGMOD Conference, pp. 491–502 (2003)
Yao, Y., Gehrke, J.: The Cougar approach to in-network query processing in sensor networks. ACM SIGMOD Record 31, 9–18 (2002)
Gehrke, J., Madden, S.: Query processing in sensor networks. Pervasive Computer 3, 46–55 (2004)
Considine, J., Li, F., Kollios, G., Byers, J.W.: Approximate aggregation techniques for sensor databases. In: Proceedings of the 20th International Conference on Data Engineering, ICDE 2004, pp. 449–460. IEEE Computer Society, Los Alamitos (2004)
Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)
Leuschel, M.: Logic program specialisation. In: Partial Evaluation, pp. 155–188 (1998)
Compton, M.: Finding equivalent rewritings with exact views. In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, pp. 1243–1246. IEEE, Los Alamitos (2009)
Li, L., Taylor, K.: A framework for semantic sensor network services. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 347–361. Springer, Heidelberg (2008)
Sterling, L., Shapiro, E.: The art of Prolog: advanced programming techniques. MIT Press, Cambridge (1986)
Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. J. Log. Program. 11, 217–242 (1991)
Lakhotia, A., Sterling, L.: How to control unfolding when specializing interpreters. New Generation Comput. 8, 61–70 (1990)
Deutsch, A., Ludäscher, B., Nash, A.: Rewriting queries using views with access patterns under integrity constraints. Theor. Comput. Sci. 371, 200–226 (2007)
Hellerstein, J.M., Hong, W., Madden, S., Stanek, K.: Beyond average: Toward sophisticated sensing with queries. In: Zhao, F., Guibas, L.J. (eds.) IPSN 2003. LNCS, vol. 2634, pp. 63–79. Springer, Heidelberg (2003)
Madden, S., Franklin, M.J., Hellerstein, J.M., Hong, W.: TinyDB: An acquisitional query processing system for sensor networks. Transactions on Database Systems (TODS) 30, 122–173 (2005)
Yao, Y., Gehrke, J.: Query processing in sensor networks. In: Proceedings the 1st Biennial Conference Innovative Data Systems Research (CIDR). ACM Press, New York (2003)
Tavakoli, A., Chu, D., Hellerstein, J., Levis, P., Shenker, S.: A declarative sensornet architecture. In: International Workshop on Wireless Sensor Network Architecture (WWSNA 2007), Cambridge, Massachusetts (April 2007)
Galpin, I., Brenninkmeijer, C.Y.A., Jabeen, F., Fernandes, A.A.A., Paton, N.W.: An architecture for query optimization in sensor networks. In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, pp. 1439–1441. IEEE, Los Alamitos (April 2008)
Delin, K., Jackson, S.: The sensor web: a new instrument concept. In: Proceedings of the SPIE International of Optical Engineering, vol. 4284, pp. 1–9 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, L., Taylor, k. (2010). Generating an Efficient Sensor Network Program by Partial Deduction. In: Zhang, BT., Orgun, M.A. (eds) PRICAI 2010: Trends in Artificial Intelligence. PRICAI 2010. Lecture Notes in Computer Science(), vol 6230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15246-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-15246-7_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15245-0
Online ISBN: 978-3-642-15246-7
eBook Packages: Computer ScienceComputer Science (R0)