Mariano Consens, Alberto O. Mendelzon, Dimitra Vista  Home/Search
Context Related
| toronto.edu/pub/repo...4deductive.ps.Z toronto.edu/pub/repo...4deductive.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: toronto.edu (more) From: toronto.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
.... LDL [NT89] Coral [Ram92] and a previously developed GraphLog interpreter implemented in Prolog [Fuk91] The reader is referred to [CMV93] for a description of the use of deductive database technology in the Hy system. 5 Hygraph Layout The result of the query described in...
...structure during software development to facilitate program understanding. Hy has been applied to software structures in [10] [11], and for debugging distributed applications in [8] In this section, we give additional examples using the same database of Section 2, that...
Cited by: More
Tabling for Logic-based Artificial Intelligence - Swift (1999) (Correct)
Efficient Evaluation of Visual Queries Using Deductive Databases - Vista, Wood (1995) (Correct)
Tabled Logic Programs: Principles, Practice and.. - Ramakrishnan.. (1996) (Correct)
Similar documents (at the sentence level):
34.1%: Deductive Database Support for Data Visualization - Mariano Consens (1993) (Correct)
5.9%: Architecture and Applications of the Hy+ Visualization .. - Consens, Eigler.. (1994) (Correct)
Active bibliography (related documents): More All
0.4: Filtering Run-Time Artifacts Using Software Landscapes - Tateishi (1994) (Correct)
0.3: Creating and Filtering Structural Data Visualizations using.. - Consens (1994) (Correct)
0.3: Layout-independent Fisheye Views of Nested Graphs - Noik (1993) (Correct)
Similar documents based on text: More All
0.4: GraphLog: a Visual Formalism for Real Life Recursion - Consens (1990) (Correct)
0.3: Applying Database Visualization to the World Wide Web - Masum Hasan (1996) (Correct)
0.3: Reverse Engineering by Visualizing and Querying - Alberto Mendelzon (1995) (Correct)
Related documents from co-citation: More All
3: Supporting network management through declaratively specified data visualization.. - Consens, Hasan - 1993
3: Graphlog: A Visual Formalism for Real Life Recursion - CONSENS, MENDELZON - 1990
3: Implementation of the CORAL deductive database system - Ramakrishnan, Srivastava et al. - 1993
BibTeX entry: (Update)
Mariano Consens, Alberto Mendelzon, and Dimitra Vista. Deductive database support for data visualization. Technical Report CSRI-285, University of Toronto, 1993. (This report, pages 51-66). http://citeseer.ist.psu.edu/article/consens93deductive.html More
@inproceedings{ consens94deductive,
author = "Mariano P. Consens and Alberto O. Mendelzon and Dimitra Vista",
title = "Deductive Database Support for Data Visualization",
booktitle = "Extending Database Technology",
pages = "45-58",
year = "1994",
url = "citeseer.ist.psu.edu/article/consens93deductive.html" }
Citations (may not include all citations):202 Communication of ACM (context) - Harel, Formalisms - 1988
113 Relations and Logic (context) - Ramakrishnan, Srivastava et al. - 1992
102 GraphLog: A Visual Formalism for Real Life Recursion - Consens, Mendelzon - 1990
54 Low Complexity Aggregation in GraphLog and Datalog - Consens, Mendelzon - 1992
52 Expressing Structural Hypertext Queries in GraphLog (context) - Consens, Mendelzon - 1989
51 Visualizing and Querying Software Structures (context) - Consens, Mendelzon et al. - 1992
29 A Hygraph-based Query and Visualization System (context) - Consens, Mendelzon - 1993
21 A Logic Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1988
20 Duplicates and Aggregates in Deductive Databases (context) - Mumick, Pirahesh et al. - 1990
18 Supporting Network Management through Declaratively Specifie.. - Consens, Hasan - 1993
13 Debugging Distributed Programs by Visualizing and Querying E.. - Consens, Hasan et al. - 1993
7 A Conceptual Framework for Software Development (context) - Mancoridis, Holt et al. - 1993
5 Curriculum-Cycle (context) - Mancoridis, Holt et al. - 1993
3 Unix Filters to Draw and Manipulate GXF Graphs (context) - Noik - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.toronto.edu.html): More
All of us are smarter than any of us: more on the robustness of .. - Wai-Kau Lo (1996) (Correct)
A Historical Application Profiler for Use by Parallel Schedulers - Gibbons (1997) (Correct)
Coordinated Allocation of Memory and Processors in.. - Parsons, Sevcik (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC