메뉴 건너뛰기




Volumn 2224, Issue , 2001, Pages 383-396

Translation of a high-level temporal model into lower level models: Impact of modelling at different description levels

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 69949172708     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45581-7_29     Document Type: Conference Paper
Times cited : (4)

References (18)
  • 2
    • 0014797273 scopus 로고
    • A relational model for large shared databanks
    • Codd, E.F., A relational model for large shared databanks. Communication of the ACM, 1970. 13(6).
    • (1970) Communication of the ACM , vol.13 , Issue.6
    • Codd, E.F.1
  • 3
    • 0002554758 scopus 로고
    • Further normalization of the data base relational model
    • R. Rustin, Editor, Printice-Hall
    • Codd, E.F., Further normalization of the data base relational model, in Data Base System, R. Rustin, Editor. 1972, Printice-Hall.
    • (1972) Data Base System
    • Codd, E.F.1
  • 4
    • 84956852970 scopus 로고    scopus 로고
    • Accessing Data Bases through Interface Views using a Unified Graph-Oriented Entity-Relationship Model
    • Berlin: Society for Design and Process Science
    • Kraft, P. and J.O. Sørensen. Accessing Data Bases through Interface Views using a Unified Graph-Oriented Entity-Relationship Model. in Integrated Design & Process Technology (IDPT). 1998. Berlin: Society for Design and Process Science.
    • (1998) Integrated Design & Process Technology (IDPT)
    • Kraft, P.1    Sørensen, J.O.2
  • 6
    • 84976766949 scopus 로고
    • The Entity-Relationship Model-Toward a Unified View of Data
    • Chen, P.P., The Entity-Relationship Model-Toward a Unified View of Data. ACM, Transaction on Database Systems, 1976. 1(1).
    • (1976) ACM, Transaction on Database Systems , vol.1 , Issue.1
    • Chen, P.P.1
  • 9
    • 0004092884 scopus 로고    scopus 로고
    • Fundamentals of Database Systems
    • Third Edition, Addison-Wesley
    • Elmasri, R. and S.B. Navathe, Fundamentals of Database Systems, Third Edition. World Student Series. 2000: Addison-Wesley.
    • (2000) World Student Series
    • Elmasri, R.1    Navathe, S.B.2
  • 10
    • 0004539466 scopus 로고
    • Temporal Extension to the Relational Model and SQL
    • A.U. Tansel, et al., Editors, The Benjamin/Cummings Publishing Company, Inc
    • Navathe, S.B. and R. Ahmed, Temporal Extension to the Relational Model and SQL, in Temporal Databases. Theory, Design, and Implementation, A.U. Tansel, et al., Editors. 1993, The Benjamin/Cummings Publishing Company, Inc. p. 92-109.
    • (1993) Temporal Databases. Theory, Design, and Implementation , pp. 92-109
    • Navathe, S.B.1    Ahmed, R.2
  • 11
    • 0042407531 scopus 로고
    • A Temporal Model and Query Language for EER Databases
    • A.U. Tansel, et al., Editors, The Benjamin/Cummings Publishing Company, Inc
    • Elmasri, R., G.T.J. Wuu, and V. Kouramajian, A Temporal Model and Query Language for EER Databases, in Temporal Databases. Theory, Design, and Implementation, A.U. Tansel, et al., Editors. 1993, The Benjamin/Cummings Publishing Company, Inc. p. 212-229.
    • (1993) Temporal Databases. Theory, Design, and Implementation , pp. 212-229
    • Elmasri, R.1    Wuu, G.2    Kouramajian, V.3
  • 12
    • 0003983623 scopus 로고    scopus 로고
    • Developing Time-Oriented Database Applications in SQL
    • ed. J. Gray, San Francisco: Morgan Kaufmann Publishers
    • Snodgrass, R.T., Developing Time-Oriented Database Applications in SQL. The Morgan Kaufmann Series in Data MAnagement Systems, ed. J. Gray. 2000, San Francisco: Morgan Kaufmann Publishers. 504.
    • (2000) The Morgan Kaufmann Series in Data Management Systems , pp. 504
    • Snodgrass, R.T.1
  • 13
    • 0010023594 scopus 로고
    • On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models
    • A.U. Tansel, et al., Editors, The Benjamin/Cummings Publishing Company, Inc
    • Clifford, J., A. Croker, and A. Tuzhhilin, On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models, in Temporal Databases. Theory, Design, and Implementation, A.U. Tansel, et al., Editors. 1993, The Benjamin/Cummings Publishing Company, Inc. p. 497-533.
    • (1993) Temporal Databases. Theory, Design, and Implementation , pp. 497-533
    • Clifford, J.1    Croker, A.2    Tuzhhilin, A.3
  • 16
    • 84945708698 scopus 로고
    • An Axiomatic Basis for Computer Programming
    • Hoare, C.A.R., An Axiomatic Basis for Computer Programming. Communication of the ACM, 1969. 12(10): p. 576-583.
    • (1969) Communication of the ACM , vol.12 , Issue.10 , pp. 576-583
    • Hoare, C.1
  • 17
    • 0004176640 scopus 로고
    • Systematic Software Development Using VDM
    • C.A.R. Hoare, Hemel Hempstead: Prentice Hall
    • Jones, C.B., Systematic Software Development Using VDM. International Series in Computer Science, ed. C.A.R. Hoare. 1986, Hemel Hempstead: Prentice Hall.
    • (1986) International Series in Computer Science
    • Jones, C.B.1


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