Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. P. Consens. Graphlog: “Real Life” Recursive Queries Using Graphs. Master's thesis, Department of Computer Science, University of Toronto, 1989.
M. P. Consens. Visual Manipulation of Database Visualizations. PhD Thesis Research Proposal, 1992.
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.
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 db.toronto.edu, in pub/papers.
M. P. Consens and A. O. Mendelzon. Expressing Structural Hypertext Queries in GraphLog. In Proceedings of 2nd ACM Hypertext Conference, pages 269–292, 1989.
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.
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.
M. P. Consens and A. O. Mendelzon. Low Complexity Aggregation in GraphLog and Datalog. Theoretical Computer Science, 116(1):379–394, 1993.
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.
D. Harel. On Visual Formalisms. Communication of ACM, 31(5):514–530, 1988.
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.
S. A. Naqvi and S. Tsur. A Logic Language for Data and Knowledge Bases. Computer Science Press, 1988.
R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, Relations and Logic. In Proceedings of International Conference on Very Large Databases, 1992.
D. Vista and P. Wood. Efficient Visual Queries for Deductive Databases. In Proceedings of the Workshop on Programming with Logic Databases, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Consens, M.P., Mendelzon, A.O., Vista, D. (1994). Deductive database support for data visualization. In: Jarke, M., Bubenko, J., Jeffery, K. (eds) Advances in Database Technology — EDBT '94. EDBT 1994. Lecture Notes in Computer Science, vol 779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57818-8_40
Download citation
DOI: https://doi.org/10.1007/3-540-57818-8_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57818-5
Online ISBN: 978-3-540-48342-7
eBook Packages: Springer Book Archive