Deductive database support for data visualization

  • Mariano P. Consens
  • Alberto O. Mendelzon
  • Dimitra Vista
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 779)


We describe how deductive database technology can 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, considering aggregation as well. We also present an example of using GraphLog and its environment Hy+ in order to support software design understanding.


Data Visualization Horn Clause Aggregate Function Deductive Database Distinguished Edge 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. P. Consens. Graphlog: “Real Life” Recursive Queries Using Graphs. Master's thesis, Department of Computer Science, University of Toronto, 1989.Google Scholar
  2. 2.
    M. P. Consens. Visual Manipulation of Database Visualizations. PhD Thesis Research Proposal, 1992.Google Scholar
  3. 3.
    M. P. Consens and M. Hasan. Supporting Network Management through Declaratively Specified Data Visualizations. In Proceedings of the IFIP/IEEE 3rd International Symposium on Integrated Network Management, III, pages 725–738. Elsevier North Holland, 1993.Google Scholar
  4. 4.
    M. P. Consens, M. Hasan, and A. O. Mendelzon. Debugging Distributed Programs by Visualizing and Querying Event Traces. In Declarative Database Visualization: Recent Papers from the Hy + /GraphLog Project, University of Toronto Technical Report CSRI-285, pages 11–34, 1993. Available by ftp to, in pub/papers.Google Scholar
  5. 5.
    M. P. Consens and A. O. Mendelzon. Expressing Structural Hypertext Queries in GraphLog. In Proceedings of 2nd ACM Hypertext Conference, pages 269–292, 1989.Google Scholar
  6. 6.
    M. P. Consens and A. O. Mendelzon. GraphLog: A Visual Formalism for Real Life Recursion. In Proceedings of 9th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 404–416, 1990.Google Scholar
  7. 7.
    M. P. Consens and A. O. Mendelzon. Hy+: A Hygraph-based Query and Visualization System. In Proceedings of the A CM SIGMOD Conference on Management of Data, pages 511–516, 1993. Video Presentation Summary.Google Scholar
  8. 8.
    M. P. Consens and A. O. Mendelzon. Low Complexity Aggregation in GraphLog and Datalog. Theoretical Computer Science, 116(1):379–394, 1993.Google Scholar
  9. 9.
    M. P. Consens, A. O. Mendelzon, and A. Ryman. Visualizing and Querying Software Structures. In 14th. Intl. Conference on Software Engineering, pages 138–156, 1992.Google Scholar
  10. 10.
    D. Harel. On Visual Formalisms. Communication of ACM, 31(5):514–530, 1988.Google Scholar
  11. 11.
    S. Mancoridis, R. C. Holt, and D. A. Penny. A Conceptual Framework for Software Development. In Proceedings of the Twenty-First ACM Computer Science Conference, 1993.Google Scholar
  12. 12.
    S. A. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1988.Google Scholar
  13. 13.
    R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, Relations and Logic. In Proceedings of International Conference on Very Large Databases, 1992.Google Scholar
  14. 14.
    D. Vista and P. Wood. Efficient Visual Queries for Deductive Databases. In Proceedings of the Workshop on Programming with Logic Databases, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Mariano P. Consens
    • 1
  • Alberto O. Mendelzon
    • 1
  • Dimitra Vista
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations