Programming Embedded Computing Systems using Static Embedded SQL
Lubomir Stanchev · Opus: Research & Creativity (Indiana University – Purdue University Fort Wayne) · 2011
In this paper we show how parts of the software of an embedded system can be written in a declarative programming language, such as SQL. To facilitate this process, we propose the following techniques: (1) We limit the input query language to queries for which we can guarantee efficient execution, (2) All data operations are pre-compiled in order to avoid performing expensive query optimization during runtime, (3) Only the data that is required for efficient execution of the predefined operations is stored on the embedded device, and (4) All search structures are implemented using a novel physical design structure that reduces the need for storing redundant data. We experimentally validate our approach by implementing five popular UNIX commands of the MINIX operating system using static embedded SQL.