Abstract
An embedded control program can be viewed as a small main-memory database system tailored to suit the needs of a particular application. For performance reasons, the program will usually de- fine concrete low level data structures to encode the database, which in turn must be understood by anyone who needs to develop or modify the program. This is in contrast with the data independence that can be achieved by using a database system. However, because of space and performance requirements, the use of current database technology is not likely to be feasible in this setting. To explore one obstacle to this, we have developed a query optimizer that compiles queries on a conceptual schema to native Java or C code that navigates low level data structures. Of crucial significance is that an arbitrary collection of such structures, perhaps already devised for an earlier version of the control program, can be given as a part of the input to the optimizer. We present an overview of the underlying algorithms that are used to accomplish this. The algorithms are based on a novel resource bounded plan generation mechanism in which integrity constraints abstracting the definition of stored views are applied to source queries to extend the search space of possible query plans. We also report on some preliminary experimental results that suggest generated code navigates concrete data structures with an efficiency comparable to code written directly by expert programmers.
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
Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, 1995.
Yigal Arens and Craig A. Knoblock. Sims: Retrieving and integrating information from multiple sources. In SIGMOD, pages 562–563, 1993.
Michael Beck, Harald Bohme, Mirko Dziadzka, Ulrich Kunitz, Robert Magnus, and Harold Bohme. Linux Kernel Internals. Addison-Wesley, 1997.
Remy Card, Eric Dumas, and Franck Mevel. The Linux Kernel Book. John Wiley and Sons, 1998.
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, and Carlo Zaniolo. The ldl system prototype. Transactions on Data and Knowledge Engineering, 2(1), 1990.
Alin Deutsch, Lucian Popa, and Val Tannen. Physical data independence, constraints, and optimization with universal plans. In 25th International Conference on Very Large Data Bases, VLDB'99, pages 459–470, 1999.
Daniela Florescu, Alon Levy, Ioana Manolescu, and Dan Suciu. Query optimization in the presence of limited access patterns. In SIGMOD Conference, 1999.
Michael R. Genesereth, Arthur M. Keller, and Oliver M. Duschka. Infomaster: An information integration system. In SIGMOD Conference, pages 539–542, 1997.
Parke Godfrey, John Grant, Jarek Gryz, and Jack Minker. Integrity constraints: Semantics and applications. In Jan Chomicki and Gunter Saake, editors, Logics for Databases and Information Systems, chapter 9. Kluwer, 1998.
Laura M. Haas, Donald Kossmann, Edward L. Wimmers, and Jun Yang. Optimizing queries across diverse data sources. In International Conference on Very Large Data Bases, pages 276–285, 1997.
Vitaliy L. Khizder, David Toman, and Grant Weddell. On Decidability and Complexity of Description Logics with Uniqueness Constraints. In International Conference on Database Theory, pages 54–67, 2000.
Vitaliy L. Khizder, David Toman, and Grant Weddell. Reasoning about Duplicate Elimination with Description Logic. In Computational Logic 2000 (DOOD,'00), pages 1017–1032, 2000.
Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, and Divesh Srivastava. Answering queries using views. In ACM Symposium on Principles of Database Systems, pages 95–104, 1995.
Alon Y. Levy, Anand Rajaraman, and Joann J. Ordille. Querying heterogeneous information sources using source descriptions. In International Conference on Very Large Data Bases, pages 251–262, 1996.
Yannis Papakonstantinou, Ashish Gupta, and Laura M. Haas. Capabilities-based query rewriting in mediator systems. Distributed and Parallel Databases, 6(1):73–110, 1998.
Lucian Popa, Alin Deutsch, Arnaud Sahuguet, and Val Tannen. A chase too far? In ACM SIGMOD International Conference on Management of Data, pages 273–284, 2000.
Anand Rajaraman, Yehoshua Sagiv, and Jeffrey D. Ullman. Answering queries using templates with binding patterns. In ACM Symposium on Principles of Database Systems, pages 105–112, 1995.
Raghu Ramakrishnan, Divesh Srivastava, and S. Sudarshan. CORAL-control, relations and logic. In International Conference on Very Large Data Bases, pages 238–250, 1992.
Konstantinos F. Sagonas, Terrance Swift, and David Scott Warren. XSB as an efficient deductive database engine. In ACM SIGMOD International Conference on Management of Data, pages 442–453, 1994.
Jeffrey D. Ullman. Information integration using logical views. In International Conference on Database Theory, pages 19–40, 1997.
Moshe Y. Vardi. Fundamentals of Dependency Theory, pages 171–224. Computer Science Press, 1987.
David H. D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, Menlo Park, CA, October 1983.
Grant Weddell. Main memory database management for embedded control applications, 1998. CITO Research Project, Government of Ontario.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Toman, D., Weddell, G. (1999). Query Processing in Embedded Control Programs. In: Jonker, W. (eds) Databases in Telecommunications II. DBTel 2001. Lecture Notes in Computer Science, vol 2209. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45432-2_6
Download citation
DOI: https://doi.org/10.1007/3-540-45432-2_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42623-3
Online ISBN: 978-3-540-45432-8
eBook Packages: Springer Book Archive