SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 275, Issue 1-2, 2002, Pages 521-560

Operational and abstract semantics of the query language G-Log

(4) Cortesi, Agostino a Dovier, Agostino b Quintarelli, Elisa c Tanca, Letizia c

a CA' FOSCARI UNIVERSITY OF VENICE (Italy)

b UNIVERSITY OF VERONA (Italy)

c POLITECNICO DI MILANO (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA STORAGE EQUIPMENT; DATA STRUCTURES; HIERARCHICAL SYSTEMS; SEMANTICS; WEBSITES;

HIERARCHICAL ORGANIZATIONS;

QUERY LANGUAGES;

EID: 0037187420 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00295-X Document Type: Article

Times cited : (16)

References (33)

1
- 84976815157
- Object identity as a query language primitive
- Sigmod Record, June
- (1990) Proc. 1989 SIGMOD Internat. Conf. on the Management of Data , vol.19
- Abiteboul, A.¹ Kanellakis, P.²

2
- 0003506569
- Center for the Study of Language and Information, Stanford
- (1988) Non-well-founded Sets. Lecture Notes , vol.14
- Aczel, P.¹

3
- 0031649136
- WebOQL: Restructuring documents, databases, and webs
- IEEE Computer Society Press, Silver Spring, MD
- (1998) Proc. 14th Internat. Conf. on Data Engineering , pp. 24-33
- Arocena, G.¹ Mendelzon, A.²

4
- 0030156981
- A query language and optimization techniques for unstructured data
- H.V. Jagadish, I.S. Mumick (Eds.), Montreal, Canada, June 1996, ACM Press, SIGMOD Record
- (1996) Proc. 1996 ACM SIGMOD Internat. Conf. on Management of Data , vol.25 , Issue.2 , pp. 505-516
- Buneman, P.¹ Davidson, S.B.² Hillebrand, G.G.³ Suciu, D.⁴

5
- 0007448974
- XML-GL: A graphical language for querying and restructuring XML documents
- Toronto, Canada, May
- (1999) Proc. 8th Internat. World Wide Web Conference WWW8
- Ceri, S.¹ Comai, S.² Damiani, E.³ Fraternali, P.⁴ Paraboschi, S.⁵ Tanca, L.⁶

6
- 84976766949
- The entity-relationship model: Toward a unified view of data
- (1976) ACM Trans. DB Systems , vol.1 , Issue.1 , pp. 9-36
- Chen, P.P.¹

7
- 0004166445
- Ph.D. Thesis, Politecnico di Milano
- (1999) Graphical query languages for semi-structured information
- Comai, S.¹

8
- 84948965041
- A Schema-based approach to modeling and querying WWW data
- Roskilde, Denmark, May 13-15
- (1998) Proc. Internat. Conf. on Flexible Query Answering Systems, FQAS'98
- Comai, S.¹ Damiani, E.² Posenato, R.³ Tanca, L.⁴

9
- 0025405902
- Graphlog: A visual formalism for real life recursion
- Nashville, Tennessee, April 2-4
- (1990) Proc. 9th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems
- Consens, M.P.¹ Mendelzon, A.O.²

10
- 85050550846
- Abstract interpretation: A unified framework for static analysis of programs by construction of approximation of fixpoints
- (1977) Proc. 4th ACM POPL , pp. 238-252
- Cousot, P.¹ Cousot, R.²

11
- 84871508140
- Semantic approches to structuring and querying web sites
- (1997) Proc. 7th IFIP Work. Conf. on Database Semantics , Issue.DS-97
- Damiani, E.¹ Tanca, L.²

12
- 0006471298
- Blind queries to XML data
- June
- (2000) Proc. SEBD 2000 , pp. 79-93
- Damiani, E.¹ Tanca, L.²

13
- 0004129078
- XML-QL: A query language for XML
- December
- (1998) Proc. QL'98 - The Query Languages Workshop
- Deutsch, A.¹ Fernandez, M.² Florescu, D.³ Levy, A.⁴ Suciu, D.⁵

14
- 0006408904
- Model-checking based data retrieval
- Marino, Rome, September 8-10
- (2001) Proc. of DBPL '01, 8th Int. Workshop on Databases and Programming Languages
- Dovier, A.¹ Quintarelli, E.²

15
- 0001944095
- A query language for a web-site management system
- (1997) SIGMOD Record , vol.26 , Issue.3 , pp. 4-11
- Fernandez, M.¹ Florescu, D.² Levy, A.³ Suciu, D.⁴

16
- 0001052191
- A unifying view on abstract domain design
- (1996) ACM Comput. Surveys , vol.28 , Issue.2 , pp. 333-336
- Filè, G.¹ Giacobazzi, R.² Ranzato, F.³

17
- 0003603813
- W. H. Freeman and Company New York
- (1979) Computers and Intractability - A Guide to the Theory of NP-Completeness
- Garey, M.R.¹ Johnson, D.S.²

18
- 84994092452
- Dataguides: Enabling querying formulation and optimization in semi-structured databases
- (1997) VLDB'97, Proc. 23rd Internat. Conf. on Very Large Data Bases , pp. 436-445
- Goldman, R.¹ Widom, J.²

19
- 0028483733
- A graph-oriented object database model
- (1994) IEEE Trans. Knowledge Data Engng , vol.6 , pp. 572-586
- Gyssens, M.¹ Paredaens, J.² Den Bussche, J.V.³ Van Gucht, D.⁴

20
- 0006471474
- Graph Transformation and Visual Modeling Techniques
- (2000) Bull. EATCS , vol.71 , pp. 186-202
- Heckel, R.¹ Engels, G.²

21
- 0025432462
- CCS expressions, finite state processes, and three problems of equivalence
- (1990) Inform. Comput. , vol.86 , Issue.1 , pp. 43-68
- Kanellakis, P.C.¹ Smolka, S.A.²

22
- 0042614607
- Research Report, 97-21, DIMACS
- (1997) Bounded hyperset theory and web-like data bases
- Lisitsa, A.¹ Sazanov, V.²

23
- 0346789280
- Lore: A database management system for semistructured data
- (1997) SIGMOD Record , vol.23 , Issue.3 , pp. 54-66
- McHugh, J.¹ Abiteboul, S.² Goldman, R.³ Quass, D.⁴ Widom, J.⁵

24
- 0030416458
- Querying the world wide web
- Miami Beach, Florida, USA, December
- (1996) Proc. 4th Conf. on Parallel and Distributed Information Systems
- Mendelzon, A.¹ Mihaila, G.² Milo, T.³

25
- 84988613226
- An algebraic definition of simulation between programs
- London
- (1971) Second Internat. Joint Conf. on Artificial Intelligence , pp. 481-489
- Milner, R.¹

26
- 0003276135
- A calculus of communicating systems
- Springer, Berlin
- (1980) Lecture Notes in Computer Science , vol.92
- Milner, R.¹

27
- 0003037229
- Operational and algebraic semantics of concurrent processes
- J. van Leeuwen (Ed.), Elsevier Science, Amsterdam (Chapter 19)
- (1990) Handbook of Theoretical Computer Science
- Milner, R.¹

28
- 84867774815
- Querying XML specified WWW sites: Links and recursion in XML-GL
- London, July
- (2000) Proc. 6th Internat. Conf. on Rules and Objects in Databases , pp. 1167-1181
- Oliboni, B.¹ Tanca, L.²

29
- 0029326231
- G-Log: A declarative graphical query language
- (1995) IEEE Trans. Knowledge and Data Engng. , vol.7 , pp. 436-453
- Paredaens, J.¹ Peelman, P.² Tanca, L.³

30
- 84945924340
- Concurrency and automata on infinite sequences
- Theoretical Computer Science. Springer Verlag
- (1980) Lecture Notes in Computer Science , vol.104
- Park, D.¹

31
- 0003756240
- Ph.D. Thesis, Antwerpen University
- (1993) G-Log: A deductive language for a graph-based data model
- Peelman, P.¹

32
- 0023566630
- Three partition refinements algorithms
- (1987) SIAM J. Comput. , vol.16 , Issue.6 , pp. 973-989
- Paige, R.¹ Tarjan, R.E.²

33
- 0004235635
- Ph.D. Dissertation, Universiteit van Amsterdam, Instituut voor Logica en Grondslagenonderzoek van Exacte Wetenschappen
- (1978) Modal correspondence theory , pp. 1-148
- Van Benthem, J.¹

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