SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Information and Software Technology

Volumn 44, Issue 4, 2002, Pages 207-216

Institutions: Integrating objects, XML and databases

(1) Alagi, Suad a

a UNIVERSITY OF SOUTHERN MAINE (United States)

Author keywords

Data models; Institutions; Integrity constraints; Object oriented; Transformations; XML

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; OBJECT ORIENTED PROGRAMMING; XML;

INTEGRITY CONSTRAINTS;

DATABASE SYSTEMS;

EID: 0037204583 PISSN: 09505849 EISSN: None Source Type: Journal
DOI: 10.1016/S0950-5849(02)00010-1 Document Type: Conference Paper

Times cited : (8)

References (45)

1
- 84943622221
- A model theory for generic schema management
- Proceedings of DBPL'01 (Databases and Programming Languages), Springer, in press
- (2002) Lecture Notes in Computer Science , pp. 107-118
- Alagić, S.¹ Bernstein, P.A.²

2
- 0034716051
- Semantics of temporal classes
- (2000) Information and Computation , vol.60 , pp. 60-102
- Alagić, S.¹

3
- 0001298897
- Type checking OQL queries in the ODMG type systems
- (1999) ACM Transactions on Database Systems , vol.24 , Issue.3 , pp. 319-360
- Alagić, S.¹

4
- 0002175660
- Temporal object-oriented programming
- (1999) Object-Oriented Systems , vol.6 , pp. 1-42
- Alagić, S.¹

5
- 0008757697
- (2001) Special Issue on Object-oriented Systems of the Computer Journal , vol.43 , Issue.6 , pp. 491-511

6
- 84957673672
- Orthogonal to the Java imperative
- Proceedings of ECOOP'98, Springer
- (1998) Lecture Notes in Computer Science , vol.1445 , pp. 212-233
- Alagić, S.¹ Solorzano, J.² Gitchell, D.³

7
- 0031169953
- Order-sorted model theory for temporal executable specifications
- (1997) Theoretical Computer Science , vol.179 , pp. 273-299
- Alagić, S.¹ Alagić, M.²

8
- 84893456064
- Constrained matching is type safe
- Proceedings of the Sixth International Workshop on Database Programming Languages, Springer
- (1998) Lecture Notes in Computer Science , vol.1369 , pp. 78-96
- Alagić, S.¹

9
- 84959010977
- A temporal constraint system for object-oriented databases
- Proceedings of the Workshop on Constraints and Databases, Springer
- (1997) Lecture Notes in Computer Science , vol.1191 , pp. 208-218
- Alagić, S.¹

10
- 21344488385
- Expressibility of typed logic paradigms for object-oriented databases
- Proceedings of BNCOD-12, Springer
- (1994) Lecture Notes in Computer Science , vol.826 , pp. 73-89
- Alagić, S.¹ Sunderraman, S.²

11
- 0034823789
- XML with data values: Typechecking revisited
- ACM
- (2001) Proceedings of the ACM PODS
- Alon, N.¹ Milo, T.² Neven, F.³ Suciu, D.⁴ Vianu, V.⁵

12
- 0023023948
- A comparative analysis of methodologies for database schema integration
- (1986) ACM Computing Surveys , vol.18 , Issue.4 , pp. 323-364
- Batini, C.¹ Lenzerini, M.² Navathe, S.B.³

13
- 0002219090
- A vision for management of complex models
- (2000) ACM SIGMOD Record , vol.29 , Issue.4 , pp. 55-63
- Bernstein, P.A.¹ Halevy, A.² Pottinger, R.A.³

14
- 84937431230
- ER 2000, Springer, Berlin
- (2000) Data Warehouse Scenarios for Model Management , pp. 1-15
- Bernstein, P.A.¹ Rahm, E.²

15
- 35048844905
- Reasoning about keys for XML
- Proceedings of DBPL'01 (Databases and Programming Languages), Springer, in press
- (2002) Lecture Notes in Computer Science , pp. 135-148
- Buneman, P.¹ Davidson, S.² Fan, W.³ Hara, C.⁴ Tan, W.-C.⁵

16
- 0040748335
- Constraints for semistructured data and XML
- (2001) ACM SIGMOD Record , vol.30 , Issue.1 , pp. 1-8
- Buneman, P.¹ Fan, W.² Simeon, J.³ Weinstein, S.⁴

17
- 84947930077
- Theoretical aspects of schema merging
- (1992) EDBT'92 , pp. 152-167
- Buneman, P.¹ Davidson, S.² Kosky, A.³

18
- 0008800282
- (2001) DOM documentation

19
- 0034825864
- On XML integrity constraints in the presence of DTDs
- ACM
- (2001) Proceedings of ACM PODS Conference
- Fan, W.¹ Libkin, L.²

20
- 0026444654
- Institutions: Abstract model theory for specification and programming
- (1992) Journal of the ACM , vol.39 , Issue.1 , pp. 92-146
- Goguen, J.¹ Burstall, R.²

21
- 0002789583
- Types as theories
- G.M. Reed, A.W. Roscoe, R.F. Wachter (Eds.), Clarendon Press, Oxford
- (1991) Topology and Category Theory in Computer Science , pp. 357-390
- Goguen, J.¹

22
- 0002712736
- Unifying functional, object-oriented and relational programming with logical semantics
- B. Shriver, P. Wegner (Eds.), MIT Press, Cambridge, MA
- (1987) Research Directions in Object-Oriented Programming , pp. 417-477
- Goguen, J.¹ Meseguer, J.²

23
- 84947916005
- Pushouts of order-sorted algebraic specifications
- M. Wirsing, M. Nivat (Eds.), Algebraic Methodology and Software Technology (AMAST 96), Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1101 , pp. 132-147
- Haxthausen, A.E.¹ Nickl, F.²

24
- 1142306953
- Department of Computer and Information Science, University of Pennsylvania
- (2000) Regular Expression Types for XML
- Hosoya, H.¹ Vouillon, J.² Pierce, B.³

25
- 0022767053
- Relative information capacity of simple relational database schemata
- (1986) SIAM Journal of Computing , vol.15 , Issue.3 , pp. 856-886
- Hull, R.¹

26
- 0030679824
- Managing semantic heterogeneity in databases: A theoretical perspective
- ACM
- (1997) Proceedings of PODS 1997 , pp. 51-61
- Hull, R.¹

27
- 84943645653
- TAX: A tree algebra for XML
- Proceedings of DBPL'01 (Databases and Programming Languages), Springer, in press
- (2002) Lecture Notes in Computer Science , pp. 149-165
- Jagadish, H.V.¹ Lakshamanan, L.V.S.²

28
- 0008781222
- (2001) JDOM documentation

29
- 0008757854
- (2001) JAXB documentation

30
- 85032876319
- Methods and tools for equivalent data model mapping construction
- Proceedings of EDBT, Springer
- (1990) Lecture Notes in Computer Science , vol.416 , pp. 92-119
- Kalinichenko, L.A.¹

31
- 0029333530
- Logical foundation of object-oriented and frame-based languages
- (1993) Journal of the ACM , vol.42 , pp. 741-843
- Kifer, M.¹ Lausen, G.² Wu, J.³

32
- 0028548263
- A behavioral notion of subtyping
- (1994) ACM Transactions on Programming Languages and Systems , vol.16 , pp. 1811-1841
- Liskov, B.¹ Wing, J.M.²

33
- 0003969139
- Springer, Berlin
- (1998) Categories for a Working Mathematician
- Mac Lane, S.¹

34
- 84944328057
- Generic schema matching with Cupid
- (2001) Proceedings of VLDB 01 , pp. 49-58
- Madhavan, J.¹ Bernstein, P.A.² Rahm, E.³

35
- 0027621743
- Logical semantics of object-oriented databases
- ACM Press
- (1993) Proceedings of the ACM SIGMOD Conference , pp. 89-98
- Meseguer, J.¹ Qian, X.²

36
- 33244454955
- Typechecking for XML transformers
- (2000) Proceedings of the ACM PODS ACM , pp. 35-46
- Milo, T.¹ Suciu, D.² Vianu, V.³

37
- 0002400602
- Schema equivalence in heterogeneous systems: Bridging theory and practice
- (1994) Information Systems , vol.19 , Issue.1 , pp. 3-31
- Miller, R.J.¹ Ioannidis, Y.E.² Ramakrishnan, R.³

38
- 0024739089
- Automatic verification of database transaction safety
- (1989) ACM Transactions on Database Systems , vol.14 , pp. 322-368
- Sheard, T.¹ Stemple, D.²

39
- 0002600501
- Model independent assertions for integration of heterogeneous schemas
- (1992) VLDB Journal , vol.1 , pp. 81-126
- Spaccapietra, S.¹ Parent, C.² Dupont, Y.³

40
- 0028404663
- View integration: A step forward in solving structural conflicts
- (1994) IEEE TKDE , vol.6 , Issue.2 , pp. 258-274
- Spaccapietra, S.¹ Parent, C.²

41
- 0000915776
- Dynamic database logic: The first-order case
- Springer
- (1993) Modeling Database Dynamics, Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Workshops in Computing , pp. 103-120
- Spruit, P.¹ Wieringa, R.² Meyer, J.-J.³

42
- 85013612547
- Roles and dynamic subclasses: A modal logic approach
- Proceedings of ECOOP'94, Springer
- (1994) Lecture Notes in Computer Science , vol.821 , pp. 33-59
- Wieringa, R.¹ De Jonge, W.² Spruit, P.³

43
- 3242789833
- (2001) W3C: XML Schema

44
- 0008786477
- (2001) W3C: The XML Query Algebra

45
- 0004129089
- (2001) W3C: XQuery: A Query Language for XML

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