Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Dong, Guozhu"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the complexity of finding emerging patterns
Lusheng Wang
,
Hao Zhao
,
Guozhu Dong
,
Jianping Li
Theoretical Computer Science
335
(1), 2005, pp. 15-27
On the decidability of the termination problem of active database systems
James Bailey
,
Guozhu Dong
,
Kotagiri Ramamohanarao
Theoretical Computer Science
311
(1-3), 2004, pp. 389-437
Incremental recomputation in local languages
Guozhu Dong
,
Leonid Libkin
,
Limsoon Wong
Information and Computation
181
(2), 2003, pp. 88-98
Local properties of query languages
Guozhu Dong
,
Leonid Libkin
,
Limsoon Wong
Theoretical Computer Science
239
(2), 2000, pp. 277-308
Separating auxiliary arity hierarchy of first-order incremental evaluation systems using
(3k+1)
-ary input relations
Guozhu Dong
,
Louxin Zhang
International Journal of Foundations of Computer Science
11
(4), 2000, pp. 573-578
Relational expressive power of constraint query languages
Michael Benedikt
,
Guozhu Dong
,
Leonid Libkin
,
Limsoon Wong
Journal of the ACM
45
(1), 1998, pp. 1-34
Arity bounds in first-order incremental evaluation and definition of polynomial time database queries
Guozhu Dong
,
Jianwen Su
Journal of Computer and System Sciences
57
(3), 1998, pp. 289-308
Maintaining transitive closure in first order after node-set and edge-set deletions
Guozhu Dong
,
Chaoyi Pang
Information Processing Letters
62
(4), 1997, pp. 193-199
Conjuctive query containment with respect to views and constraints
Guozhu Dong
,
Jianwen Su
Information Processing Letters
57
(2), 1996, pp. 95-102
Incremental and decremental evaluation of transitive closure by first-order queries
Guozhu Dong
,
Jianwen Su
Information and Computation
120
(1), 1995, pp. 101-106
On the index of positive programmed formal languages
Guozhu Dong
Information Processing Letters
54
, 1995, pp. 105-110
Localizable constraints for object histories
Guozhu Dong
,
Seymour Ginsburg
Theoretical Computer Science
90
, 1991, pp. 391-432
On the decomposition of datalog program mappings
Guozhu Dong
,
Seymour Ginsburg
Theoretical Computer Science
76
, 1990, pp. 143-177