Index Selection for Embedded Control Applications using Description Logics

We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries and updates, are predefined and can be classified as either critical or non-critical. In this paper, we focus on the critical part of the transaction workload for ECPs. More precisely, our problem input consists of a set of critical transaction types and a database schema. The goal is to find a minimum number of extended indices that enable every critical operation to be performed efficiently. The proposed solution is novel in that it entails the use of a description logic (DL) reasoner to find cases in which extended indices can be combined or simplified.

• Type: Conference
• Year: 2003
• Where: DLOG
• Authors: Lubomir Stanchev, Grant E. Weddell
• Keywords: Automated Reasoning, Critical Transaction Types, DLOG 2003, Transaction Types, Transaction Workload