SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 275, Issue 1-2, 2002, Pages 633-674

Query automata over finite trees

(2) Neven, Frank a Schwentick, Thomas b

a HASSELT UNIVERSITY (Belgium)

b PHILIPPS UNIVERSITY MARBURG (Germany)

Author keywords

Formal languages; Logic; Query languages; Tree languages; XML

Indexed keywords

COMPUTATIONAL METHODS; FORMAL LANGUAGES; INFORMATION RETRIEVAL SYSTEMS; MATHEMATICAL MODELS; QUERY LANGUAGES; TREES (MATHEMATICS); XML;

QUERY AUTOMATA (QA);

FINITE AUTOMATA;

EID: 0037187376 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00301-2 Document Type: Article

Times cited : (96)

References (48)

1
- 0004172932
- Morgan Kaufmann, Los Altos, CA
- (1999) Data on the Web: From Relations to Semistructured Data and XML
- Abiteboul, S.¹ Buneman, P.² Suciu, D.³

2
- 0006407233
- A logical view of structured files
- (1998) VLDB J. , vol.7 , Issue.2 , pp. 96-114
- Abiteboul, S.¹ Cluet, S.² Milo, T.³

3
- 0003928313
- Addison-Wesley, Reading, MA
- (1995) Foundations of Databases
- Abiteboul, S.¹ Hull, R.² Vianu, V.³

4
- 0006501562
- A general theory of translation
- (1969) Math. Systems Theory , vol.3 , pp. 193-221
- Aho, A.V.¹ Hopcroft, J.E.² Ullman, J.D.³

5
- 0002001652
- Integrating contents and structure in text retrieval
- (1996) ACM SIGMOD Rec. , vol.25 , Issue.1 , pp. 67-79
- Baeza-Yates, R.¹ Navarro, G.²

6
- 0005540823
- Addison-Wesley, Reading, MA
- (1999) Modern Information Retrieval
- Baeza-Yates, R.¹ Ribeiro-Neto, B.²

7
- 84947209313
- Schemas for integration and translation of structured and semi-structured data
- P.B.C. Beeri (Ed.), Database Theory - ICDT99, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1540 , pp. 296-313
- Beeri, C.¹ Milo, T.²

8
- 85062232414
- Automata on a 2-dimensional tape
- IEEE
- (1967) Conference Record of 1967 Eighth Ann. Symp. on Switching and Automata Theory , pp. 155-160
- Blum, M.¹ Hewitt, C.²

9
- 0004019312
- unpublished manuscript
- (1998) Regular tree languages over non-ranked alphabets (draft1)
- Brüggemann-Klein, A.¹ Murata, M.² Wood, D.³

10
- 84855618631
- Caterpillars: A context specification technique
- (2000) Markup Languages , vol.2 , Issue.1 , pp. 81-106
- Brüggemann-Klein, A.¹ Wood, D.²

11
- 70350098746
- Weak second-order arithmetic and finite automata
- (1960) Z. Math. Logik Grundl. Math. , vol.6 , pp. 66-92
- Büchi, J.R.¹

12
- 0022739258
- Domino-tiling games
- (1986) J. Comput. System Sci. , vol.32 , Issue.3 , pp. 374-392
- Chlebus, B.S.¹

13
- 0004113366
- Extensible stylesheet language (XSL)
- Clark, J.¹ Deach, S.²

14
- 0004060205
- (1997) Tree automata techniques and applications
- Comon, H.¹ Dauchet, M.² Gilleron, R.³ Jacquemard, F.⁴ Lugiez, D.⁵ Tison, S.⁶ Tommasi, M.⁷

15
- 0000809609
- Graph rewriting: An algebraic and logic approach
- J. van Leeuwen (Ed.), Chap. 5, Elsevier, Amsterdam
- (1990) Handbook of Theoretical Computer Science , vol.B
- Courcelle, B.¹

16
- 0002717059
- XML-QL: A query language for XML
- Toronto
- (1999) Proc. WWW8 Conf.
- Deutsch, A.¹ Fernandez, M.² Florescu, D.³ Levy, A.⁴ Suciu, D.⁵

17
- 0000185443
- Tree acceptors and some of their applications
- (1970) J. Comput. System Sci. , vol.4 , pp. 406-451
- Doner, J.¹

18
- 0004231561
- Springer, Berlin
- (1995) Finite Model Theory
- Ebbinghaus, H.-D.¹ Flum, J.²

19
- 0006408908
- Two-way automata and checking automata
- (1979) Math. Centre Tracts , vol.108 , pp. 1-69
- Engelfriet, J.¹

20
- 84886574830
- MSO definable string transductions and two-way finite state transducers
- (2001) ACM Trans. on Computational Logic , vol.2 , pp. 216-254
- Engelfriet, J.¹ Hoogeboom, H.J.²

21
- 0003002778
- Tree languages
- G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin, Chap. 1
- (1997) Handbook of Formal Languages , vol.3
- Gécseg, F.¹ Steinby, M.²

22
- 0030571423
- Complexity results for two-way and multi-pebble automata and their logics
- (1996) Theoret. Comput. Sci. , vol.169 , Issue.2 , pp. 161-184
- Globerman, N.¹ Harel, D.²

23
- 0002380682
- Mind your grammar: A new approach to modelling text
- (1987) Proc. 13th Conf. on VLDB 1987 , pp. 339-346
- Gonnet, G.H.¹ Tompa, F.W.²

24
- 0028731470
- A grammar-based approach towards unifying hierarchical data models
- (1994) SIAM J. Comput. , vol.23 , Issue.6 , pp. 1093-1137
- Gyssens, M.¹ Paredaens, J.² Van Gucht, D.³

25
- 0006408909
- An approach to a unified theory of automata
- (1967) The Bell Systems Tech. J. , vol.46 , pp. 1793-1829
- Hopcroft, J.E.¹ Ullman, J.D.²

26
- 0003620778
- Addison-Wesley, Reading, MA
- (1979) Introduction to Automata Theory, Languages, and Computation
- Hopcroft, J.E.¹ Ullman, J.D.²

27
- 0001482813
- A structured text database system
- R. Furuta (Ed.), The Cambridge Series on Electronic Publishing, Cambridge University Press, Cambridge
- (1990) Proc. Internat. Conf. on Electronic Publishing, Document Manipulation & Typography , pp. 139-151
- Kilpeläinen, P.¹ Lindén, G.² Mannila, H.³ Nikunen, E.⁴

28
- 0027757370
- Retrieval from hierarchical texts by partial patterns
- ACM Press, New York
- (1993) Proc. Sixteenth Internat. Conf. on Research and Development in Information Retrieval , pp. 214-222
- Kilpeläinen, P.¹ Mannila, H.²

29
- 0000889116
- Query primitives for tree-structured data
- M. Crochemore, D. Gusfield (Eds.), Springer, Berlin
- (1994) Proc. Fifth Symp. on Combinatorial Pattern Matching , pp. 213-225
- Kilpeläinen, P.¹ Mannila, H.²

30
- 0017484690
- Application of model theoretic games to discrete linear orders and finite automata
- (1977) Inform. and Control , vol.33 , Issue.4 , pp. 281-303
- Ladner, R.E.¹

31
- 84959043080
- Structured document transformations based on XSL
- R. Connor, A. Mendelzon (Eds.), Research Issues in Structured and Semistructured Database Programming (DBPL'99), Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1949 , pp. 79-96
- Maneth, S.¹ Neven, F.²

32
- 0028769253
- On two-way tree automata
- (1994) Inform. Process. Lett. , vol.50 , pp. 117-121
- Moriya, E.¹

33
- 4243704558
- unpublished manuscript
- (1995) Forest-regular languages and tree-regular languages
- Murata, M.¹

34
- 84976515010
- Data model for document transformation and assembly
- E.V. Munson, C.K. Nicholas, D. Wood (Eds.), Principles of Digital Document Processing (PODDP 1998), Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1481 , pp. 140-152
- Murata, M.¹

35
- 84887122289
- Locating matches of tree patterns in forests
- V. Arvind, R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, Springer, Berlin
- (1998) Lecture Notes in Computer Science , pp. 134-145
- Neumann, A.¹ Seidl, H.²

36
- 0004104575
- Doctor's Thesis, Limburgs Universitair Centrum (LUC)
- (1999) Design and analysis of query languages for structured documents - A formal and logical approach
- Neven, F.¹

37
- 84959047610
- Extensions of attribute grammars for structured document queries
- R. Connor, A. Mendelzon (Eds.), Research Issues in Structured and Semistructured Database Programming (DBPL'99), Springer, Berlin
- (2000) Lecture Notes in Computer Science , vol.1949 , pp. 97-114
- Neven, F.¹

38
- 0031630373
- Expressiveness of structured document query languages based on attribute grammars
- ACM Press, New York, full version will appear in the J. ACM
- (1998) Proc. Seventeenth ACM Symp. on Principles of Database Systems , pp. 11-17
- Neven, F.¹ Van den Bussche, J.²

39
- 0001520186
- Définition et etude des bilangages réguliers
- (1968) Inform. and Control , vol.13 , Issue.6 , pp. 565-593
- Pair, C.¹ Quere, A.²

40
- 0003788769
- Springer, Berlin
- (1997) Handbook of Formal Languages , vol.3
- Rozenberg, G.¹ Salomaa, A.²

41
- 0002530015
- Numeration systems, linear recurrences, and regular sets (extended abstract)
- W. Kuich (Ed.), Automata, Languages and Programming, 19th Internat. Coll. ICALP92, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.623 , pp. 89-100
- Shallit, J.¹

42
- 0000065573
- The reduction of two-way automata to one-way automata
- (1959) IBM J. Res. Development , vol.3 , pp. 198-200
- Shepherdson, J.C.¹

43
- 0016425480
- Generalizations of regular sets and their application to a study of context-free languages
- (1975) Inform. and Control , vol.27 , Issue.1 , pp. 1-36
- Takahashi, M.¹

44
- 0002614970
- Generalized finite automata theory with an application to a decision problem of second-order logic
- (1968) Math. Systems Theory , vol.2 , Issue.1 , pp. 57-81
- Thatcher, J.W.¹ Wright, J.B.²

45
- 3142673201
- Ehrenfeucht games, the composition method, and the monadic theory of ordinal words
- Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1261 , pp. 118-143
- Thomas, W.¹

46
- 0001568609
- Languages, automata, and logic
- G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin, Chap. 7
- (1997) Handbook of Formal Languages , vol.3
- Thomas, W.¹

47
- 0024861693
- Automata theory for database theoreticians
- ACM Press, New York
- (1989) Proc. Eighth ACM Symp. on Principles of Database Systems , pp. 83-92
- Vardi, M.Y.¹

48
- 33749573349
- Extensible Markup Language (XML)

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.