Deductive database support for data visualization

Authors:
Dimitra Vista
Affiliations:
University of Toronto
Venue:
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Year:
1993

Citing 12
Cited 0

On visual formalisms

Communications of the ACM
A logical language for data and knowledge bases

A logical language for data and knowledge bases
Expressing structural hypertext queries in graphlog

HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
The magic of duplicates and aggregates

Proceedings of the sixteenth international conference on Very large databases
Visualizing and querying software structures

ICSE '92 Proceedings of the 14th international conference on Software engineering
Low-complexity aggregation in GraphLog and Datalog

ICDT Selected papers of the 4th international conference on Database theory
A “curriculum-cycle” environment for teaching programming

SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
A conceptual framework for software development

CSC '93 Proceedings of the 1993 ACM conference on Computer science
Hy+: a Hygraph-based query and visualization system

SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
GraphLog: a visual formalism for real life recursion

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
CORAL - Control, Relations and Logic

VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Supporting Network Management through Declaratively Specified Data Visualizations

Proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

We argue that we can use deductive databases to support data visualization. In particular we show how we have used the deductive languages LDL and CORAL for the implementation of the visual query language GraphLog. We discuss in detail the translation function from GraphLog to each of LDL and CORAL, especially when aggregate functions are present. We also present an example of using GraphLog and its environment Hy+ in order to support software design understanding and software design verification.