The formal framework of the Hyper View system
Faulstich, Lukas C. ;  Universität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik

Main titleThe formal framework of the Hyper View system
AuthorFaulstich, Lukas C.
InstitutionUniversität <Berlin, Freie Universität> / Fachbereich Mathematik und Informatik
No. of Pages22 S.
Series Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 99,03
Classification (DDC)004 Data processing and Computer science
AbstractIn this report, we introduce the graph rewriting formalism on which the HyperView System
is based. We first present a data model for clustered graphs and our notion of graph schemata
and graph layers. Then we formalize our concept of nondeleting typed graph rewriting rules
with application conditions on attributes based on the Algebraic Single Push Out Approach to
graph transformation and present the construction of the derived graph resulting from applying
a rule.
The main contribution of this report is the formalization of an efficient strategy for materializing
HyperViews based on demand-driven rule activation. We introduce the notion of an
oracle against which queries in form of graph patterns can be posed. We show how to combine
the rule set of a HyperView with an oracle to form a more powerful oracle that materializes this
HyperView as a response to queries against it.
Finally we treat the problem of avoiding the introduction of redundancies in view graphs
by reusing already materialized graph elements.
If your browser can't open the file, please download the file first and then open it
FU DepartmentDepartment of Mathematics and Computer Science
Other affiliation(s)Institut für Informatik
Year of publication1999
Type of documentWorking paper
Terms of use/Rights Nutzungsbedingungen
Created at2009-04-01 : 09:00:55
Last changed2015-03-06 : 10:37:36
Static URLhttp://edocs.fu-berlin.de/docs/receive/FUDOCS_document_000000001462