A Formalism for Visual Query Interface Design

摘要: The massive volumes and the huge variety of large knowledge bases make information exploration analysis difficult. An important activity is data filtering selection, in which both querying visualization play roles. Interfaces for environments normally include both, integrating them as tightly possible. But many features environments, such visual representation queries, query results, interactive selection from visualizations, have only been studied separately. intrinsic connections between not described formally. lack formal descriptions inhibits development techniques that produce new representations natural integration specification with result visualization. This thesis describes a formalism basic components their relationships environments. key aspect it unifies within single framework, provides foundation designing analysing interfaces. Various innovative designs can be derived formalism. Simply comparing existing ones enough, more to discover why one better or worse than another. To do this necessary understand users’ cognitive activities, know how these activities are enhanced inhibited by different presentations so novel interfaces created improved based on user testing. presents experimental methodology evaluating representations, uses stimulus onset asynchrony separate aspects comprehension. was used evaluate Karnaugh maps, showing there two qualitatively approaches comprehension: deductive inductive. map scales extremely well complexity, experiment shows its good scaling properties occur because strongly facilitates inductive