메뉴 건너뛰기
The VLDB Journal
Volumn 4, Issue 3, 1995, Pages 493-517
Thémis: A database programming language handling integrity constraints
Author keywords

Database programming languages; integrity constraints; program analysis
Indexed keywords

EID: 0003551715     PISSN: 10668888     EISSN: 0949877X     Source Type: Journal    
DOI: 10.1007/BF01231645     Document Type: Article
Times cited : (21)
References (24)
  • 1
    • 84936512791 scopus 로고    scopus 로고
    • Atkinson, M. and Buneman, P. Types and persistence in database programming languages. ACM Computing Surveys 0(0):00-00, 1987.
  • 2
    • 84936512790 scopus 로고    scopus 로고
    • Benzaken, V. and Doucet, A. Thémis: A database programming language with integrity constraints. Proceedings of the Fourth International Workshop on Database Programming Languages, Workshop in Computing, New York, 1993.
  • 4
    • 84936512789 scopus 로고    scopus 로고
    • Benzaken, V., Lécluse, C., and Richard, P. Enforcing integrity constraints in data-base programming languages. Proceedings of the Fifth International Workshop on Persistent Object Systems, Workshop in Computing, Pisa, Italy, 1992.
  • 6
    • 84936512788 scopus 로고    scopus 로고
    • Bry, F., Decker, H., and Manthey, R. A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. Proceedings of the EDBT International Conference, LNCS 303, Venice, Italy, 1988.
  • 7
    • 84936512784 scopus 로고    scopus 로고
    • Bry, F. and Manthey, R. Checking consistency of database constraints: A logical basis. Proceedings of the VLDB International Conference, Kyoto, Japan, 1986.
  • 8
    • 84936512785 scopus 로고    scopus 로고
    • Cardelli, L. A semantics of multiple inheritance. In: Semantics of Data Types, LNCS 173, Springer-Verlag, 1984, pp. 51–67.
  • 10
    • 84936512782 scopus 로고    scopus 로고
    • Cardelli, L. Structural subtyping and the notion of power type. ACM POPL International Conference, San Diego, CA, 1988.
  • 15
    • 84936512786 scopus 로고    scopus 로고
    • Cousot, P. and Cousot, R. Static determination of dynamic properties of programs. Proceedings of the Second International Symposium on Programming, Location?, 1976.
  • 16
    • 84936512721 scopus 로고    scopus 로고
    • Gardarin, G. and Melkanoff, M. Proving the consistency of database transactions. VLDB International Conference, Rio, Brazil, 1979.
  • 17
    • 84936512719 scopus 로고    scopus 로고
    • Hsu, A. and Imielinski, T. Integrity checking for multiple updates. Proceedings of the ACM SIGMOD International Conference, Austin, TX, 1985.
  • 18
    • 84936512720 scopus 로고    scopus 로고
    • Hull, R., Morrison, R., and Stemple, D., eds. International Workshop on Database Programming Languages. Salishan Lodge, OR, 1989.
  • 19
    • 84936512717 scopus 로고    scopus 로고
    • Kowalski, R., Sadri, F., and Soper, P. Integrity checking in deductive databases. Proceedings of the VLDB International Conference, Brighton, UK, 1987.
  • 20
    • 84936512718 scopus 로고    scopus 로고
    • Martin, H. Contrôle de la cohérence dans les bases objects: Une approche par le comportement. Ph.D. thesis, Université Joseph-Fourier—Grenoble I, 1991.
  • 21
    • 84936512715 scopus 로고    scopus 로고
    • Nicolas, J.M. Logic for improving integrity checking in relational databases. Technical report, ONERA-CERT, 1979.
  • 23
    • 84936512716 scopus 로고    scopus 로고
    • Stonebraker, M. Implementation of integrity constraints and views by query modification. ACM SIGMOD International Conference, San Jose, CA, 1975.

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